| Class | Description |
|---|---|
| CalledMethodsAnnotatedTypeFactory |
The annotated type factory for the Called Methods Checker.
|
| CalledMethodsChecker |
The Called Methods Checker tracks the methods that have definitely been called on an object.
|
| CalledMethodsTransfer |
A transfer function that accumulates the names of methods called.
|
| CalledMethodsVisitor |
This visitor implements the custom error message finalizer.invocation.invalid.
|