Uses of Class
org.multijava.mjc.JVariableDefinition

Packages that use JVariableDefinition

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

Subclasses of JVariableDefinition in org.jmlspecs.checker

class

JmlVariableDefinition A wrapper of the class JVariableDefinition to store JML-specific information.

Fields in org.jmlspecs.checker declared as JVariableDefinition

private JVariableDefinition[]	JmlForAllVarDecl.quantifiedVarDecls
private JVariableDefinition[]	JmlLetVarDecl.specVariableDeclarators
private JVariableDefinition[]	JmlSpecQuantifiedExpression.quantifiedVarDecls

Methods in org.jmlspecs.checker that return JVariableDefinition

JVariableDefinition	JmlFieldDeclaration.variable()
JVariableDefinition[]	JmlForAllVarDecl.quantifiedVarDecls()
JVariableDefinition[]	JmlLetVarDecl.specVariableDeclarators()
JVariableDefinition[]	JmlSpecQuantifiedExpression.quantifiedVarDecls()
JVariableDefinition[]	JmlParser.jVariableDefinitions(long mods, CType type)
JVariableDefinition[]	JmlParser.jmlSpecVariableDeclarators(long mods, CType type)
JVariableDefinition	JmlParser.jmlSpecVariableDeclarator(long mods, CType type)
JVariableDefinition	JmlParser.jVariableDeclarator(long mods, CType type)
private JVariableDefinition[]	TestJmlParser.quantifiedVarDeclsFrom(JmlCompilationUnit unit)

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

void	JmlAbstractVisitor.visitVariableDefinition(JVariableDefinition self) Visits the given variable declaration statement.
static JmlFieldDeclaration	JmlFieldDeclaration.makeInstance(TokenReference where, JVariableDefinition var, JavadocComment javadoc, JavaStyleComment[] comment, JmlVarAssertion[] varAssertions, JmlDataGroupAccumulator dataGroups)
void	JmlVisitorNI.visitVariableDefinition(JVariableDefinition self) visits a variable declaration statement
void	JmlAccumSubclassingInfo.visitVariableDefinition(JVariableDefinition self)
void	JmlExpressionChecker.visitVariableDefinition(JVariableDefinition self) Checks visibility (and purity) of the given expression, self.

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

JFieldDeclarationWrapper(TokenReference where, JVariableDefinition variable, JavadocComment javadoc, JavaStyleComment[] comments)
Constructs a node in the parsing tree.

JmlForAllVarDecl(TokenReference where, JVariableDefinition[] quantifiedVarDecls)

JmlLetVarDecl(TokenReference where, JVariableDefinition[] specVariableDeclarators)

JmlSpecQuantifiedExpression(TokenReference where, int oper, JVariableDefinition[] quantifiedVarDecls, JmlPredicate predicate, JmlSpecExpression specExpression)

Uses of JVariableDefinition in org.jmlspecs.jmldoc.jmldoc_142

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

void	SpecWriter.visitVariableDefinition(JVariableDefinition self) visits a variable declaration statement

Uses of JVariableDefinition in org.jmlspecs.jmlrac

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

private void	RacPrettyPrinter.printVariableDefinition(JVariableDefinition self, boolean typeAndMod) Prints the given variable definition, self.
private void	RacPrettyPrinter.visitVarDecls(JVariableDefinition[] varDefs) Prints a Java variable delcaration.

Uses of JVariableDefinition in org.jmlspecs.jmlrac.qexpr

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

protected abstract RacNode	StaticAnalysis.generateLoop(JVariableDefinition varDef, JExpression qexpr, String cond, RacNode result) Returns a loop code evaluating the body of the quantified predicate.
protected RacNode	StaticAnalysis.SetBased.generateLoop(JVariableDefinition varDef, JExpression qexpr, String cond, RacNode result) Returns Java source code for evaluating quantified expressions using the QSet-based translation.
protected RacNode	StaticAnalysis.IntervalBased.generateLoop(JVariableDefinition varDef, JExpression pred, String cond, RacNode result) Returns a loop code for evaluating quantified expressions using the interval-based analysis.
protected RacNode	StaticAnalysis.EnumerationBased.generateLoop(JVariableDefinition varDef, JExpression qexpr, String cond, RacNode result) Returns Java source code for evaluating quantified expressions using the QSet-based translation.

Uses of JVariableDefinition in org.multijava.mjc

Fields in org.multijava.mjc declared as JVariableDefinition

protected JVariableDefinition	JFieldDeclaration.variable
private JVariableDefinition[]	JVariableDeclarationStatement.vars

Methods in org.multijava.mjc that return JVariableDefinition

JVariableDefinition	JFieldDeclaration.variable()
abstract JVariableDefinition	JFieldDeclarationType.variable()
JVariableDefinition[]	JVariableDeclarationStatement.getVars() Returns an array of variable definition declared by this statement
JVariableDefinition[]	MjcParser.jVariableDefinitions(long mods, CType type)
JVariableDefinition	MjcParser.jVariableDeclarator(long mods, CType type) Declaration of a variable.

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

abstract void	MjcVisitor.visitVariableDefinition(JVariableDefinition self) visits a variable declaration statement
private void	MjcPrettyPrinter.printVariableDefinition(JVariableDefinition self, boolean typeAndMod) Prints the given variable definition, self.
void	MjcPrettyPrinter.visitVariableDefinition(JVariableDefinition self) prints a variable declaration statement

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

JFieldDeclaration(TokenReference where, JVariableDefinition variable, JavadocComment javadoc, JavaStyleComment[] comments)
Construct a node in the parsing tree This method is directly called by the parser

JVariableDeclarationStatement(TokenReference where, JVariableDefinition[] vars, JavaStyleComment[] comments)
Construct a node in the parsing tree.

JVariableDeclarationStatement(TokenReference where, JVariableDefinition var, JavaStyleComment[] comments)
Construct a node in the parsing tree.