Member predicate LocalVariable::isSelf
Holds if this variable is the first parameter of a method. It is not necessarily called “self”
predicate isSelf()
Holds if this variable is the first parameter of a method. It is not necessarily called “self”
predicate isSelf()