Package org.checkerframework.checker.mustcall

Interface Summary

Interface	Description
CreatesMustCallForElementSupplier	This interface should be implemented by all type factories that can provide an ExecutableElement for CreatesMustCallFor and CreatesMustCallFor.List.

Class Summary

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.