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