An offset equation is 2 sets of Java expression strings, one set of added terms and one set of subtracted terms, and a single integer constant.
Abstraction for Upper Bound annotations.
Implements the introduction rules for the Upper Bound Checker.
A type-checker for preventing arrays from being accessed with values that are too high.
Contains the transfer functions for the upper bound type system, a part of the Index Checker.
Warns about array accesses that could be too high.