Class CondReason

A reason for an inferred bound pointing to a condition.

Import path


                                import semmle.code.java.dataflow.RangeAnalysis

getCond	Gets the condition that is the reason for the bound.
toString	Gets a textual representation of this reason.