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

Class CondReason

A reason for an inferred bound pointing to a condition.

Import path

import semmle.code.java.dataflow.RangeAnalysis

Direct supertypes

Indirect supertypes

Predicates

getCond

Gets the condition that is the reason for the bound.

toString

Gets a textual representation of this reason.