Class RangeStage::SemReason
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 codeql.rangeanalysis.RangeAnalysisDirect supertypes
Known direct subtypes
Predicates
| toString | Gets a textual representation of this reason. |