Uses of Class
org.multijava.mjc.JClassDeclaration

Packages that use JClassDeclaration

org.jmlspecs.checker	Contains the source code for a parser and typechecker for JML annotations and java code.
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 JClassDeclaration in org.jmlspecs.checker

Subclasses of JClassDeclaration in org.jmlspecs.checker

class

JClassDeclarationWrapper A wrapper class to JClassDeclaration to implement JML-specific typechecking.

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

void	JmlAbstractVisitor.visitClassDeclaration(JClassDeclaration self) Visits the given class declaration.
void	JmlVisitorNI.visitClassDeclaration(JClassDeclaration self) visits a class declaration

Uses of JClassDeclaration in org.jmlspecs.jmlspec

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

void	JspPrettyPrinter.visitClassDeclaration(JClassDeclaration self)
protected void	JspPrettyPrinter.printClassModifiers(JClassDeclaration self, long modifiers)

Uses of JClassDeclaration in org.multijava.mjc

Subclasses of JClassDeclaration in org.multijava.mjc

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.

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

abstract void	MjcVisitor.visitClassDeclaration(JClassDeclaration self) visits a class declaration
void	MjcPrettyPrinter.visitClassDeclaration(JClassDeclaration self) prints a class declaration
protected void	MjcPrettyPrinter.printClassModifiers(JClassDeclaration self, long modifiers)