Predicate TypeFlowBounds::fieldTypeFlow
Holds if the runtime type of f
is bounded by t
and if this bound is
likely to be better than the static type of f
. The flag exact
indicates
whether t
is an exact bound or merely an upper bound.
Import path
import semmle.code.java.dataflow.TypeFlow
predicate fieldTypeFlow(Field f, RefType t, boolean exact)