Uses of Class
org.multijava.mjc.JArrayInitializer

Packages that use JArrayInitializer

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.jmlrac.qexpr	Translates JML quantified expressions into Java source code to evaluate them at runtime.
org.multijava.mjc	Implements mjc, a MultiJava compiler.

Uses of JArrayInitializer in org.jmlspecs.checker

Methods in org.jmlspecs.checker that return JArrayInitializer

JArrayInitializer	JmlParser.jmlSpecArrayInitializer()
JArrayInitializer	JmlParser.jArrayInitializer()

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

void	JmlAbstractVisitor.visitArrayInitializer(JArrayInitializer self) Visits the given array initializer.
void	JmlVisitorNI.visitArrayInitializer(JArrayInitializer self) visits an array initializer expression
void	JmlAccumSubclassingInfo.visitArrayInitializer(JArrayInitializer self)
void	JmlExpressionChecker.visitArrayInitializer(JArrayInitializer self) Checks visibility (and purity) of the given expression, self.

Constructors in org.jmlspecs.checker with parameters of type JArrayInitializer

JmlArrayDimsAndInits(TokenReference where, CUniverse array_univ, JExpression[] dims, JArrayInitializer init, long mods)
Constructs an array dimension and initializer node in the AST

Uses of JArrayInitializer in org.jmlspecs.jmldoc.jmldoc_142

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

void	SpecWriter.visitArrayInitializer(JArrayInitializer self) visits an array initializer expression

Uses of JArrayInitializer in org.jmlspecs.jmlrac

Methods in org.jmlspecs.jmlrac with parameters of type JArrayInitializer

void	TransExpression.visitArrayInitializer(JArrayInitializer self)
void	TransExpression2.visitArrayInitializer(JArrayInitializer self)

Uses of JArrayInitializer in org.jmlspecs.jmlrac.qexpr

Methods in org.jmlspecs.jmlrac.qexpr with parameters of type JArrayInitializer

void	AbstractExpressionVisitor.visitArrayInitializer(JArrayInitializer self) Visits the given array initializer, self.

Uses of JArrayInitializer in org.multijava.mjc

Fields in org.multijava.mjc declared as JArrayInitializer

protected JArrayInitializer

JArrayDimsAndInits.init

Methods in org.multijava.mjc that return JArrayInitializer

JArrayInitializer	JArrayDimsAndInits.init()
JArrayInitializer	MjcParser.jArrayInitializer()

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

abstract void	MjcVisitor.visitArrayInitializer(JArrayInitializer self) visits an array initializer expression
void	MjcPrettyPrinter.visitArrayInitializer(JArrayInitializer self) prints an array initializer expression

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

JArrayDimsAndInits(TokenReference where, CUniverse array_univ, JExpression[] dims, JArrayInitializer init)
Constructs an array dimension and initializer node in the AST