Class Bounds::SemSsaBound
Import path
import semmle.code.java.dataflow.RangeAnalysisDirect supertypes
Predicates
Inherited predicates
| getExpr | Gets an expression that equals this bound. | from Bound |
| getExpr | Gets an expression that equals this bound plus | from SsaBound |
| getLocation | Gets the location of this bound. | from SsaBound |
| getSsa | Gets the SSA variable that equals this bound. | from SsaBound |
| toString | Gets a textual representation of this bound. | from SsaBound |