Module Bound
Provides classes for representing abstract bounds for use in, for example, range analysis.
Import path
import semmle.code.java.dataflow.BoundImports
| Bound<Location::Location, Bound::BoundDefs> | Provides classes for representing abstract bounds for use in, for example, range analysis. This is a generic implementation of bounds that relies on language specific modules to provide language-specific definitions of expressions, SSA variables, etc. |
Aliases
| BoundImpl | Provides classes for representing abstract bounds for use in, for example, range analysis. This is a generic implementation of bounds that relies on language specific modules to provide language-specific definitions of expressions, SSA variables, etc. |