Uses of Class
org.multijava.mjc.JInitializerDeclaration

Packages that use JInitializerDeclaration

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 JInitializerDeclaration in org.jmlspecs.checker

Subclasses of JInitializerDeclaration in org.jmlspecs.checker

(package private) static class

JmlNode.DummyInitializerDeclaration A class for dummy initializer declarations.

Methods in org.jmlspecs.checker that return JInitializerDeclaration

protected JInitializerDeclaration	JInterfaceDeclarationWrapper.constructStaticInitializers() Builds and returns static initializers.
protected JInitializerDeclaration	JInterfaceDeclarationWrapper.constructInitializers(boolean isStatic) Collects all initializers and builds a single method.

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

void	JmlAbstractVisitor.visitInitializerDeclaration(JInitializerDeclaration self) Visits the given initializer declaration.
void	JmlVisitorNI.visitInitializerDeclaration(JInitializerDeclaration self) visits an initializer declaration

Uses of JInitializerDeclaration in org.jmlspecs.jmldoc.jmldoc_142

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

void	SpecWriter.visitInitializerDeclaration(JInitializerDeclaration self) visits an initializer declaration

Uses of JInitializerDeclaration in org.multijava.mjc

Fields in org.multijava.mjc declared as JInitializerDeclaration

protected JInitializerDeclaration	JTypeDeclaration.statInit
protected JInitializerDeclaration	JTypeDeclaration.instanceInit

Methods in org.multijava.mjc that return JInitializerDeclaration

protected JInitializerDeclaration	JClassDeclaration.constructInitializers(boolean isStatic) Collects all initializers and builds a single method.
protected JInitializerDeclaration	JInterfaceDeclaration.constructStaticInitializers() check static initializers

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

abstract void	MjcVisitor.visitInitializerDeclaration(JInitializerDeclaration self) visits an initializer declaration
void	MjcPrettyPrinter.visitInitializerDeclaration(JInitializerDeclaration self) prints an initializer declaration