qtil
advanced-security/qtil-java 0.0.3
Search

Member predicate Callable::reads

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

predicate reads(Field f)