Package org.checkerframework.checker.index.samelen

Class Summary

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