Uses of Class
org.multijava.mjc.JArrayDimsAndInits

Packages that use JArrayDimsAndInits

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

Subclasses of JArrayDimsAndInits in org.jmlspecs.checker

class

JmlArrayDimsAndInits JmlArrayDimsAndInits.java

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

void	JmlAbstractVisitor.visitArrayDimsAndInit(JArrayDimsAndInits self) Visits the given array dimension and initialization expression.
void	JmlVisitorNI.visitArrayDimsAndInit(JArrayDimsAndInits self) visits an array dimension and initialization expression
void	JmlAccumSubclassingInfo.visitArrayDimsAndInit(JArrayDimsAndInits self)
void	JmlOwnershipAdmissibilityVisitor.visitArrayDimsAndInit(JArrayDimsAndInits self) Visits the given array dimension and initializer, self.
void	JmlExpressionChecker.visitArrayDimsAndInit(JArrayDimsAndInits self) Checks visibility (and purity) of the given expression, self.

Uses of JArrayDimsAndInits in org.jmlspecs.jmldoc.jmldoc_142

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

void	SpecWriter.visitArrayDimsAndInit(JArrayDimsAndInits self) visits an array dimension and initialization expression

Uses of JArrayDimsAndInits in org.jmlspecs.jmlrac

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

void	TransExpression.visitArrayDimsAndInit(JArrayDimsAndInits self)
void	TransExpression2.visitArrayDimsAndInit(JArrayDimsAndInits self)

Uses of JArrayDimsAndInits in org.jmlspecs.jmlrac.qexpr

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

void	AbstractExpressionVisitor.visitArrayDimsAndInit(JArrayDimsAndInits self) Visits the given array dimension and initializer, self.

Uses of JArrayDimsAndInits in org.multijava.mjc

Fields in org.multijava.mjc declared as JArrayDimsAndInits

protected JArrayDimsAndInits

JNewArrayExpression.dims

Methods in org.multijava.mjc that return JArrayDimsAndInits

JArrayDimsAndInits

JNewArrayExpression.dims()

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

abstract void	MjcVisitor.visitArrayDimsAndInit(JArrayDimsAndInits self) visits an array dimension and initialization expression
void	MjcPrettyPrinter.visitArrayDimsAndInit(JArrayDimsAndInits self) prints an array dimension and initialization expression

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

JNewArrayExpression(TokenReference where, CType arrayType, JArrayDimsAndInits dims)
Constructs a node in the parsing tree.