CodeQL library for Java
codeql/java-all 0.3.2 (changelog, source)
Search

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.