Module BoundSpecific

Provides Java-specific definitions for bounds.

Import path

import semmle.code.java.dataflow.internal.rangeanalysis.BoundSpecific

Holds if e is a bound expression and it is not an SSA variable read.

ConstantIntegerExpr	An expression that always has the same integer value.
Expr	A common super-class that represents all kinds of expressions.
IntegralType	An integral type, which may be either a primitive or a boxed type. This includes the types `char` and `Character`.
Location	A location maps language elements to positions in source files.