CodeQL library for Java/Kotlin

codeql/java-all 0.9.2-dev (changelog, source)

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.RangeAnalysis

Direct supertypes

TSemReason

Known direct subtypes

Predicates

Gets a textual representation of this reason.