Module TypeFlowBounds

Import path

import semmle.code.java.dataflow.TypeFlow

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.
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.
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.