Class Reason
A reason for an inferred bound. This can either be CondReason if the bound
is due to a specific condition, or NoReason if the bound is inferred
without going through a bounding condition.
Import path
import semmle.code.java.dataflow.RangeAnalysis
Direct supertypes
Known direct subtypes
Predicates
| toString |
Gets a textual representation of this reason. |