Package org.checkerframework.checker.index.upperbound
package org.checkerframework.checker.index.upperbound

ClassDescriptionAn 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.The lessthanlengthof qualifier (@LTLengthOf).Represents an integer value that is known at compile time.The top type qualifier.Implements the introduction rules for the Upper Bound Checker.A typechecker 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.