Package org.checkerframework.checker.index
package org.checkerframework.checker.index
-
ClassesClassDescriptionA class for functionality common to multiple type-checkers that are used by the Index Checker.This class provides methods shared by the Index Checker's internal checkers in their transfer functions.A type checker for preventing out-of-bounds accesses on fixed-length sequences, such as arrays and strings.Given a Tree or other construct, this class has methods to query whether it is a particular method call.This struct contains all of the information that the refinement functions need.A collection of utility functions used by several Index Checker subcheckers.Dependent type helper for array offset expressions.Holds information from
HasSubsequenceannotations.