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