Package org.checkerframework.checker.index.upperbound
package org.checkerframework.checker.index.upperbound
-
ClassesClassDescriptionAn 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 less-than-length-of 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 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.