JavaScript: Avoid unhelpful magic.

Max Schaefer · Max Schaefer · commit e7df9b8b01dc · 2018-12-10T10:40:37.000Z
diff --git a/javascript/ql/src/Expressions/DOMProperties.qll b/javascript/ql/src/Expressions/DOMProperties.qll
@@ -12,6 +12,7 @@ predicate isDOMRootType(ExternalType et) {
 }
 
 /** Holds if `p` is declared as a property of a DOM class or interface. */
+pragma[nomagic]
 predicate isDOMProperty(string p) {
   exists (ExternalMemberDecl emd | emd.getName() = p |
     isDOMRootType(emd.getDeclaringType().getASupertype*())

Original file line number	Diff line number	Diff line change
`@@ -12,6 +12,7 @@ predicate isDOMRootType(ExternalType et) {`
`12`	`12`	`}`
`13`	`13`
`14`	`14`	/** Holds if `p` is declared as a property of a DOM class or interface. */
	`15`	`+pragma[nomagic]`
`15`	`16`	`predicate isDOMProperty(string p) {`
`16`	`17`	`exists (ExternalMemberDecl emd \| emd.getName() = p \|`
`17`	`18`	`isDOMRootType(emd.getDeclaringType().getASupertype*())`