Package org.checkerframework.checker.mustcall
package org.checkerframework.checker.mustcall
-
ClassDescriptionThis interface should be implemented by all type factories that can provide an
ExecutableElement
forCreatesMustCallFor
andCreatesMustCallFor.List
.Utility methods to convert targets of@CreatesMustCallFor
annotations toJavaExpression
s.The annotated type factory for the Must Call Checker.This typechecker ensures that@
MustCall
annotations are consistent with one another.This copy of the Must Call Checker is identical, except that it does not load the stub files that treat unconnected sockets as@MustCall({})
.Transfer function for the must-call type system.Primitive types always have no must-call obligations.The visitor for the Must Call Checker.