Member predicate Class::hasSideEffects
Holds if this expression may have a side effect (as determined purely from its syntax).
predicate hasSideEffects()
Holds if this expression may have a side effect (as determined purely from its syntax).
predicate hasSideEffects()