Predicate isGetterProperty
Holds if there exists a getter for a property called name anywhere in the program.
Import path
import Expressions.ExprHasNoEffectpredicate isGetterProperty(string name)Holds if there exists a getter for a property called name anywhere in the program.
import Expressions.ExprHasNoEffectpredicate isGetterProperty(string name)