Uses of Interface
org.multijava.mjc.JMethodDeclarationType

Packages that use JMethodDeclarationType

org.jmlspecs.checker	Contains the source code for a parser and typechecker for JML annotations and java code.
org.jmlspecs.jmldoc.jmldoc_142
org.jmlspecs.jmlrac	Generates Java classes from JML specifications that check assertions at runtime.
org.jmlspecs.jmlspec	A tool that can generate or compare specification skeletons from Java source or class files.
org.jmlspecs.jmlunit	Generates JUnit test classes from JML specifications.
org.jmlspecs.racwrap
org.multijava.mjc	Implements mjc, a MultiJava compiler.

Uses of JMethodDeclarationType in org.jmlspecs.checker

Classes in org.jmlspecs.checker that implement JMethodDeclarationType

class	JConstructorDeclarationWrapper A class representing a constructor declaration in the syntax tree.
class	JMethodDeclarationWrapper A class representing a method declaration in the syntax tree.
class	JmlConstructorDeclaration JmlConstructorDeclaration.java
class	JmlMethodDeclaration JmlMethodDeclaration.java
(package private) static class	JmlNode.DummyInitializerDeclaration A class for dummy initializer declarations.

Uses of JMethodDeclarationType in org.jmlspecs.jmldoc.jmldoc_142

Methods in org.jmlspecs.jmldoc.jmldoc_142 with parameters of type JMethodDeclarationType

void	SpecWriter.visitMethodDeclaration(JMethodDeclarationType self) visits a method declaration

Uses of JMethodDeclarationType in org.jmlspecs.jmlrac

Classes in org.jmlspecs.jmlrac that implement JMethodDeclarationType

static class

RacParser.RacMethodDeclaration A RAC node class for representing method declarations.

Methods in org.jmlspecs.jmlrac that return JMethodDeclarationType

abstract JMethodDeclarationType	AssertionMethod.generate(RacNode stmt) Generates and returns an assertion checking method.
JMethodDeclarationType	InvariantLikeMethod.generate(RacNode stmt) Generate and return a type-level assertion check method such as invariants and history constraints.
JMethodDeclarationType	WrapperMethod.generate() Returns a wrapper method.
JMethodDeclarationType	ConstructorWrapper.generate() Returns a constructor wrapper for the given constructor declaration.
JMethodDeclarationType	PostconditionMethod.generate(RacNode stmt) Generate and return a postcondition checking method.
JMethodDeclarationType	ExceptionalPostconditionMethod.generate(RacNode stmt) Returns an exceptional postcondition checking method.
JMethodDeclarationType	LocalConstraintMethod.generate(RacNode stmt) Generates a constrain check method by using the given block of code, stmt, as the main body.
JMethodDeclarationType	MotherConstraintMethod.generate(RacNode stmt) Returns a constraint check method with the given body, stmt.
JMethodDeclarationType	PreconditionMethod.generate(RacNode stmt)
JMethodDeclarationType	PreconditionMethod.generate(RacNode stmt, List preExprs) Generates and returns a precondition checking method.

Uses of JMethodDeclarationType in org.jmlspecs.jmlspec

Methods in org.jmlspecs.jmlspec with parameters of type JMethodDeclarationType

String	JspComparator.compareMethods(JMethodDeclarationType[] methods, JMethodDeclarationType[] jmethods, String filename, String jfilename, long modsToignore)
String	JspComparator.compareMethods(JMethodDeclarationType[] methods, Member[] jmethods, String filename, String jfilename, long modsToignore, Class cc)
boolean	JspComparator.checkInheritance(JMethodDeclarationType m, Class cc)
boolean	JspComparator.checkDefaultConstructor(JMethodDeclarationType method, JMethodDeclarationType[] methods, JMethodDeclarationType[] jmethods) Returns true if method is the one constructor in methods, has no arguments, and jmethods contains no constructors.
boolean	JspComparator.matches(JMethodDeclarationType method, JMethodDeclarationType jmethod)
boolean	JspComparator.matches(JMethodDeclarationType method, Member jmethod)
String	JspComparator.signature(JMethodDeclarationType m)
String	JspComparator.compareMethod(JMethodDeclarationType method, JMethodDeclarationType jmethod, String filename, String jfilename, long modsToIgnore)
String	JspComparator.compareMethod(JMethodDeclarationType method, Member jmethod, String filename, String jfilename, long modsToIgnore)

Uses of JMethodDeclarationType in org.jmlspecs.jmlunit

Methods in org.jmlspecs.jmlunit with parameters of type JMethodDeclarationType

private boolean

TestClassGenerator.isTestable(JMethodDeclarationType mdecl) Return true if the given method declaration can be tested.

Constructors in org.jmlspecs.jmlunit with parameters of type JMethodDeclarationType

TestClassGenerator.MethodInfo(JMethodDeclarationType mdecl)
Initialize this object from the given JMethodDeclarationType

Uses of JMethodDeclarationType in org.jmlspecs.racwrap

Methods in org.jmlspecs.racwrap with parameters of type JMethodDeclarationType

void	FactoryPrinter.printConstructor(JmlTypeDeclaration clazz, JMethodDeclarationType method) This prints out the factory method that corresponds to a constructor in the original object.

Uses of JMethodDeclarationType in org.multijava.mjc

Subinterfaces of JMethodDeclarationType in org.multijava.mjc

interface

JConstructorDeclarationType This type represents a constructor in the AST.

Classes in org.multijava.mjc that implement JMethodDeclarationType

class	JConstructorDeclaration This class represents a constructor in the AST
class	JInitializerDeclaration This class represents an initializer (either static or instance) in the AST.
class	JMethodDeclaration This class represents a java method in the syntax tree.
(package private) class	JMethodDeclaration.JMethodDeclaration$1
class	MJTopLevelAbstractMethodDeclaration
class	MJTopLevelMethodDeclaration

Methods in org.multijava.mjc that return JMethodDeclarationType

protected static JMethodDeclarationType	JTypeDeclaration.checkForDups(JMethodDeclarationType[] methods) Returns the first method in the given array of methods that duplicates the signature of an earlier method or null if no duplicates exist.
protected static JMethodDeclarationType	JTypeDeclaration.checkForSameSignature(JMethodDeclarationType[] methods)
protected JMethodDeclarationType[]	JTypeDeclaration.methodsToBeWrapped() Returns an array of the methods to be considered for refactoring into dispatchers during the translateMJ pass.
protected JMethodDeclarationType[]	MJGenericFunctionDecl.methodsToBeWrapped() Returns an array of the methods to be considered for refactoring into dispatchers during the translateMJ pass.

Methods in org.multijava.mjc with parameters of type JMethodDeclarationType

protected static JMethodDeclarationType	JTypeDeclaration.checkForDups(JMethodDeclarationType[] methods) Returns the first method in the given array of methods that duplicates the signature of an earlier method or null if no duplicates exist.
protected static JMethodDeclarationType	JTypeDeclaration.checkForSameSignature(JMethodDeclarationType[] methods)
protected JTypeDeclaration.WrapResult	JTypeDeclaration.dispatcherWrapMethods(CContextType context, JMethodDeclarationType[] methodDecls) Builds a collection of methods for code generation.
void	CParseClassContext.addMethodDeclaration(JMethodDeclarationType decl)

Constructors in org.multijava.mjc with parameters of type JMethodDeclarationType

JTypeDeclaration.MethodRecord(JMethodDeclarationType methodDecl)