JS: Quantify of ValueProperty instead of Property

asger-semmle · asger-semmle · commit 1c2d874c553f · 2019-07-16T16:27:11.000+01:00
diff --git a/javascript/ql/src/semmle/javascript/Classes.qll b/javascript/ql/src/semmle/javascript/Classes.qll
@@ -224,7 +224,7 @@ class ClassExpr extends @classexpr, ClassDefinition, Expr {
     (
       exists(VarDef vd | this = vd.getSource() | result = vd.getTarget().(VarRef).getName())
       or
-      exists(Property p |
+      exists(ValueProperty p |
         this = p.getInit() and
         result = p.getName()
       )

Original file line number	Diff line number	Diff line change
`@@ -224,7 +224,7 @@ class ClassExpr extends @classexpr, ClassDefinition, Expr {`
`224`	`224`	`(`
`225`	`225`	`exists(VarDef vd \| this = vd.getSource() \| result = vd.getTarget().(VarRef).getName())`
`226`	`226`	`or`
`227`		`- exists(Property p \|`
	`227`	`+ exists(ValueProperty p \|`
`228`	`228`	`this = p.getInit() and`
`229`	`229`	`result = p.getName()`
`230`	`230`	`)`