Package org.checkerframework.checker.mustcall

package org.checkerframework.checker.mustcall

Related Packages

Package	Description
org.checkerframework.checker.mustcall.qual

Class	Description
CreatesMustCallForElementSupplier	This interface should be implemented by all type factories that can provide an ExecutableElement for CreatesMustCallFor and CreatesMustCallFor.List.
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.