Uses of Package
org.checkerframework.checker.calledmethods.qual
-
Packages that use org.checkerframework.checker.calledmethods.qual Package Description org.checkerframework.checker.calledmethods.qual -
Classes in org.checkerframework.checker.calledmethods.qual used by org.checkerframework.checker.calledmethods.qual Class Description EnsuresCalledMethodsIf Indicates that the method, if it terminates with the given result, invokes the given methods on the given expressions.RequiresCalledMethods Indicates a method precondition: when the method is invoked, the specified expressions must have had the specified methods called on them.