Uses of Interface
org.multijava.mjc.JClassDeclarationType

Packages that use JClassDeclarationType

org.jmlspecs.checker	Contains the source code for a parser and typechecker for JML annotations and java code.
org.jmlspecs.jmldoc.jmldoc_142
org.multijava.mjc	Implements mjc, a MultiJava compiler.

Uses of JClassDeclarationType in org.jmlspecs.checker

Classes in org.jmlspecs.checker that implement JClassDeclarationType

class	JClassDeclarationWrapper A wrapper class to JClassDeclaration to implement JML-specific typechecking.
class	JmlClassDeclaration This type represents a java class declaration in the syntax tree.

Methods in org.jmlspecs.checker that return JClassDeclarationType

JClassDeclarationType

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

Uses of JClassDeclarationType in org.jmlspecs.jmldoc.jmldoc_142

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

void	SpecWriter.visitClassDeclaration(JClassDeclarationType self) visits a class declaration

Uses of JClassDeclarationType in org.multijava.mjc

Classes in org.multijava.mjc that implement JClassDeclarationType

class	JClassDeclaration This class represents a java class in the syntax tree
class	MJGenericFunctionDecl This class represents a group of method declarations, all sharing the same name, that together form the top of one or more overloaded external generic function lattices.

Fields in org.multijava.mjc declared as JClassDeclarationType

protected JClassDeclarationType

JNewAnonymousClassExpression.decl

Methods in org.multijava.mjc that return JClassDeclarationType

JClassDeclarationType	JNewAnonymousClassExpression.decl()
JClassDeclarationType	MjcParser.jClassDefinition(long mods, antlr.Token startToken)

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

JNewAnonymousClassExpression(TokenReference where, CClassType objectType, JExpression explicitThis, JExpression[] params, JClassDeclarationType decl)
Construct a node in the parsing tree.