qtil
advanced-security/qtil-java 0.0.3
Search

Member predicate Callable::accesses

Holds if field f may be either read or written within the body of this callable.

predicate accesses(Field f)