| Interface | Description |
|---|---|
| CreatesMustCallForElementSupplier |
This interface should be implemented by all type factories that can provide an
ExecutableElement for CreatesMustCallFor and CreatesMustCallFor.List. |
| Class | Description |
|---|---|
| CreatesMustCallForToJavaExpression |
Utility methods to convert targets of
@CreatesMustCallFor annotations to JavaExpressions. |
| MustCallAnnotatedTypeFactory |
The annotated type factory for the Must Call Checker.
|
| MustCallChecker |
This typechecker ensures that
@MustCall annotations are consistent with one
another. |
| MustCallNoCreatesMustCallForChecker |
This copy of the Must Call Checker is identical, except that it does not load the stub files that
treat unconnected sockets as
@MustCall({}). |
| MustCallTransfer |
Transfer function for the must-call type system.
|
| MustCallTypeAnnotator |
Primitive types always have no must-call obligations.
|
| MustCallVisitor |
The visitor for the Must Call Checker.
|