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