Member predicate GetterPropertyAccess::isImpure
Holds if this expression is impure, that is, its evaluation could have side effects.
predicate isImpure()
Holds if this expression is impure, that is, its evaluation could have side effects.
predicate isImpure()