Package org.checkerframework.checker.index.samelen

package org.checkerframework.checker.index.samelen

Related Packages

Package	Description
org.checkerframework.checker.index

Classes

Class	Description
SameLenAnnotatedTypeFactory	The SameLen Checker is used to determine whether there are multiple fixed-length sequences (such as arrays or strings) in a program that share the same length.
SameLenChecker	An internal checker that collects information about arrays that have the same length.
SameLenTransfer	The transfer function for the SameLen checker.
SameLenVisitor