| Interface | Description |
|---|---|
| CreatesObligationElementSupplier |
This interface should be implemented by all type factories that can provide the ExecutableElement
needed to call
AnnotationUtils.getElementValueArray(javax.lang.model.element.AnnotationMirror, java.lang.CharSequence, java.lang.Class<T>, boolean) when CreatesObligationElementSupplier.getCreatesObligationExpressions(MethodInvocationNode, GenericAnnotatedTypeFactory,
CreatesObligationElementSupplier) is called. |
| Class | Description |
|---|---|
| MustCallAnnotatedTypeFactory |
The annotated type factory for the Must Call Checker.
|
| MustCallChecker |
This typechecker ensures that
@MustCall annotations are consistent with one
another. |
| MustCallNoCreatesObligationChecker |
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.
|