Predicate isDomProperty
Holds if p
is declared as a property of a DOM class or interface.
Import path
import Expressions.DOMProperties
predicate isDomProperty(string p)
Holds if p
is declared as a property of a DOM class or interface.
import Expressions.DOMProperties
predicate isDomProperty(string p)