Uses of Class
org.multijava.mjc.JLocalVariableExpression

Packages that use JLocalVariableExpression

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

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

void	JmlAbstractVisitor.visitLocalVariableExpression(JLocalVariableExpression self) Visits the given local variable expression.
void	JmlVisitorNI.visitLocalVariableExpression(JLocalVariableExpression self) visits a local variable expression
void	JmlAccumSubclassingInfo.visitLocalVariableExpression(JLocalVariableExpression self)
void	JmlExpressionChecker.visitLocalVariableExpression(JLocalVariableExpression self) Checks visibility (and purity) of the given expression, self.

Uses of JLocalVariableExpression in org.jmlspecs.jmldoc.jmldoc_142

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

void	SpecWriter.visitLocalVariableExpression(JLocalVariableExpression self) visits a local variable expression

Uses of JLocalVariableExpression in org.jmlspecs.jmlrac

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

void	TransExpression.visitLocalVariableExpression(JLocalVariableExpression self) Translates a Java local variable expression.
private String	TransExpression.transLocalVariable(JLocalVariableExpression self)
void	TransExpression2.visitLocalVariableExpression(JLocalVariableExpression self) Translates a Java local variable expression.
void	TransPostcondition.QVarChecker.visitLocalVariableExpression(JLocalVariableExpression self)
void	TransPostExpression2.QVarChecker.visitLocalVariableExpression(JLocalVariableExpression self)

Uses of JLocalVariableExpression in org.jmlspecs.jmlrac.qexpr

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

void	AbstractExpressionVisitor.visitLocalVariableExpression(JLocalVariableExpression self) Visits the given local variable expression, self.
void	QInterval.CheckRecursion.visitLocalVariableExpression(JLocalVariableExpression self)

Uses of JLocalVariableExpression in org.multijava.mjc

Subclasses of JLocalVariableExpression in org.multijava.mjc

class	JOuterLocalVariableExpression This class is an AST node and represents a reference to a variable of a surrounding lexical context from within an inner class.
(package private) class	JThisExpression.JThisExpression$2

Methods in org.multijava.mjc that return JLocalVariableExpression

private JLocalVariableExpression

CSourceClass.generatedLocalVarHelper(CMethod constructor, CSourceField field, JLocalVariable var, TokenReference ref)

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

abstract void	MjcVisitor.visitLocalVariableExpression(JLocalVariableExpression self) visits a local variable expression
void	MjcPrettyPrinter.visitLocalVariableExpression(JLocalVariableExpression self) prints a local variable expression