Package org.checkerframework.checker.index.lowerbound

Class Summary

Class	Description
LowerBoundAnnotatedTypeFactory	Implements the introduction rules for the Lower Bound Checker.
LowerBoundChecker	A type-checker for preventing fixed-length sequences such as arrays or strings from being accessed with values that are too low.
LowerBoundTransfer	Implements dataflow refinement rules based on tests: <, >, ==, and their derivatives.
LowerBoundVisitor	Implements the actual checks to make sure that array accesses aren't too low.