JavaScript: Avoid unhelpful magic.

This commit is contained in:
Max Schaefer
2018-12-09 14:57:33 +00:00
parent 697fd96ed7
commit e7df9b8b01

View File

@@ -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*())