Uses of Class
org.multijava.mjc.MJTopLevelMethodDeclaration

Packages that use MJTopLevelMethodDeclaration

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.jmlspec	A tool that can generate or compare specification skeletons from Java source or class files.
org.multijava.mjc	Implements mjc, a MultiJava compiler.

Uses of MJTopLevelMethodDeclaration in org.jmlspecs.checker

Methods in org.jmlspecs.checker that return MJTopLevelMethodDeclaration

MJTopLevelMethodDeclaration

JmlParser.mjTopLevelMethodDeclaration(long mods, antlr.Token startToken)

Methods in org.jmlspecs.checker with parameters of type MJTopLevelMethodDeclaration

void	JmlAbstractVisitor.visitTopLevelMethodDeclaration(MJTopLevelMethodDeclaration self) Visits the given external method declaration.
void	JmlVisitorNI.visitTopLevelMethodDeclaration(MJTopLevelMethodDeclaration self) visits an external method declaration
void	JmlAccumSubclassingInfo.visitTopLevelMethodDeclaration(MJTopLevelMethodDeclaration self)

Uses of MJTopLevelMethodDeclaration in org.jmlspecs.jmldoc.jmldoc_142

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

void	SpecWriter.visitTopLevelMethodDeclaration(MJTopLevelMethodDeclaration self) visits an external method declaration

Uses of MJTopLevelMethodDeclaration in org.jmlspecs.jmlspec

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

void	JspPrettyPrinter.visitTopLevelMethodDeclaration(MJTopLevelMethodDeclaration self) prints an external method declaration

Uses of MJTopLevelMethodDeclaration in org.multijava.mjc

Subclasses of MJTopLevelMethodDeclaration in org.multijava.mjc

class

MJTopLevelAbstractMethodDeclaration

Fields in org.multijava.mjc declared as MJTopLevelMethodDeclaration

(package private) MJTopLevelMethodDeclaration[]

MJGenericFunctionDecl.externalMethods Stores the external methods declared within this anchor declaration.

Methods in org.multijava.mjc that return MJTopLevelMethodDeclaration

MJTopLevelMethodDeclaration[]	MJGenericFunctionDecl.externalMethods() Return the top-level methods in this GF
MJTopLevelMethodDeclaration	MjcParser.mjTopLevelMethodDeclaration(long mods, antlr.Token startToken)

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

abstract void	MjcVisitor.visitTopLevelMethodDeclaration(MJTopLevelMethodDeclaration self) visits an external method declaration
void	CParseCompilationUnitContext.addMJTopLevelMethodDeclaration(Main compiler, MJTopLevelMethodDeclaration decl)
void	MjcPrettyPrinter.visitTopLevelMethodDeclaration(MJTopLevelMethodDeclaration self) prints an external method declaration

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

MJGenericFunctionDecl(TokenReference where, long modifiers, String ident, MJTopLevelMethodDeclaration[] methods)
Constructs a generic function anchor declaration in the parsing tree.