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.
|