Class Bound
A bound that may be inferred for an expression plus/minus an integer delta.
Import path
import semmle.code.cpp.rangeanalysis.new.RangeAnalysis
Known direct subtypes
Predicates
getAnExpr |
Gets an expression that equals this bound. |
getAnExpr |
Gets an expression that equals this bound plus |
getLocation |
Gets a representative locaiton for this bound |
toString |
Gets a string representation of this bound. |