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
)