Uses of Class
org.jmlspecs.jml4.rac.RacMethodDeclaration

Packages that use RacMethodDeclaration

org.jmlspecs.jml4.rac

Uses of RacMethodDeclaration in org.jmlspecs.jml4.rac

Methods in org.jmlspecs.jml4.rac that return RacMethodDeclaration

abstract RacMethodDeclaration	MethodHeaderTranslator.createInternalMethod(AbstractMethodDeclaration meth) Creates an internal method for the given method.
abstract RacMethodDeclaration	MethodHeaderTranslator.createInternalMethod(MethodBinding meth) Creates an internal method for the given method.
RacMethodDeclaration	InterfaceDeclarationTranslator.createSurrogateConstructor() Creates the constructor of the surrogate class for the interface under translation.
RacMethodDeclaration	PreconditionMethod.generate(java.lang.StringBuffer stmt, java.util.Set<ASTNode> terms, RacResult result) Overridden here to throw an exception, as this method is not supported by this class.
RacMethodDeclaration	InvariantLikeMethod.generate(java.lang.StringBuffer stmt, java.util.Set<ASTNode> terms, RacResult result) Generates an type-level assertion check method.
RacMethodDeclaration	ConstraintMethod.generate(java.lang.StringBuffer stmt, java.util.Set<ASTNode> terms, RacResult result, boolean inherit, boolean isTopLevelInstance, java.lang.String methodPrefix) Overridden method to generate a type-level constraint check method.
static RacMethodDeclaration	RacTranslator.makeMethod(java.lang.StringBuffer body, CompilationResult result) Creates a method declaration with given body using the given compilation result.
static RacMethodDeclaration	RacTranslator.makeMethod(java.lang.String body, CompilationResult result) Creates a method declaration with given body using the given compilation result.
static RacMethodDeclaration	RacTranslator.makeMethod(java.lang.String body, int modifiers, CompilationResult result) Creates a method declaration with given body and modifiers using the given compilation result.