Uses of Class
org.multijava.mjc.JNameExpression

Packages that use JNameExpression

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

Fields in org.jmlspecs.checker declared as JNameExpression

private JNameExpression	JmlMonitorsForVarAssertion.fieldName
private JNameExpression	JmlReadableIfVarAssertion.fieldName
private JNameExpression	JmlWritableIfVarAssertion.fieldName

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

void	JmlAbstractVisitor.visitNameExpression(JNameExpression self) Visits the given name expression.
void	JmlVisitorNI.visitNameExpression(JNameExpression self) visits a name expression
void	JmlAccumSubclassingInfo.visitNameExpression(JNameExpression self)
void	JmlExpressionChecker.visitNameExpression(JNameExpression self) Checks visibility (and purity) of the given expression, self.

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

JmlMonitorsForVarAssertion(TokenReference where, long modifiers, JNameExpression fieldName, JmlSpecExpression[] specExpressionList)

JmlReadableIfVarAssertion(TokenReference where, long modifiers, JNameExpression fieldName, JmlPredicate predicate)

JmlWritableIfVarAssertion(TokenReference where, long modifiers, JNameExpression fieldName, JmlPredicate predicate)

Uses of JNameExpression in org.jmlspecs.jmldoc.jmldoc_142

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

void	SpecWriter.visitNameExpression(JNameExpression self) visits a name expression

Uses of JNameExpression in org.jmlspecs.jmlrac

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

void	TransExpression.visitNameExpression(JNameExpression self) Translates a Java name expression.
void	TransExpression2.visitNameExpression(JNameExpression self) Translates a Java name expression.

Uses of JNameExpression in org.jmlspecs.jmlrac.qexpr

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

void	AbstractExpressionVisitor.visitNameExpression(JNameExpression self) Visits the given local variable expression, self.

Uses of JNameExpression in org.multijava.mjc

Fields in org.multijava.mjc declared as JNameExpression

private JNameExpression	JMethodCallExpression.sourceName the name of this field reference as originally appeared in the source file.
private JNameExpression	JTypeNameExpression.sourceName The name of this type as originally appeared in the source file.
private JNameExpression	JClassFieldExpression.sourceName the name of this field reference as originally appeared in the source file.

Methods in org.multijava.mjc that return JNameExpression

JNameExpression	JMethodCallExpression.sourceName() Returns the name of this field reference as originally appeared in the source file.
JNameExpression	JTypeNameExpression.sourceName() Returns the name of this type as originally appeared in the source file.
JNameExpression	JClassFieldExpression.sourceName() Returns the name of this field reference as originally appeared in the source file.
static JNameExpression	CUniverseRuntimeHelper.getNameExpression(String ident) Creates a JNameExpression form a String.
static JNameExpression	CUniverseRuntimeHelper.getHashTable()
static JNameExpression	CUniverseRuntimeHelper.getPolicy()

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

abstract void	MjcVisitor.visitNameExpression(JNameExpression self) visits a name expression
void	MjcPrettyPrinter.visitNameExpression(JNameExpression self) prints a name expression

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

JTypeNameExpression(TokenReference where, String qualifiedName, CUniverse univ, JNameExpression sourceName)
Constructs a node in the parsing tree.

JTypeNameExpression(TokenReference where, CClassType type, JNameExpression sourceName)
Constructs a node in the parsing tree.

JClassFieldExpression(TokenReference where, JExpression prefix, String ident, JNameExpression sourceName)
Construct a node in the parsing tree.

JClassFieldExpression(TokenReference where, String ident, JNameExpression sourceName)
Construct a node in the parsing tree.