Uses of Class
org.multijava.mjc.JClassFieldExpression

Packages that use JClassFieldExpression

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

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

void	JmlAbstractVisitor.visitFieldExpression(JClassFieldExpression self) Visits the given field expression.
protected static boolean	JmlRepresentsDecl.isInheritedOrOuter(JClassFieldExpression field) Returns true if the given field expression refers to a field declared in this class, inherited from a superclasse or interface, or defined in an outer class or interface.
void	JmlVisitorNI.visitFieldExpression(JClassFieldExpression self) visits a field expression
void	JmlAccumSubclassingInfo.visitFieldExpression(JClassFieldExpression self)
void	JmlClassicalAdmissibilityVisitor.visitFieldExpression(JClassFieldExpression self) Visits the given class field expression, self.
void	JmlOwnershipAdmissibilityVisitor.visitFieldExpression(JClassFieldExpression self) Visits the given class field expression, self.
boolean	JmlAssignableFieldSet.contains(JClassFieldExpression fieldExpr, JmlDataGroupMemberMap dgMap)
void	JmlExpressionChecker.visitFieldExpression(JClassFieldExpression self) Checks the given class field expression for visibility and purity violations.

Uses of JClassFieldExpression in org.jmlspecs.jmldoc.jmldoc_142

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

void	SpecWriter.visitFieldExpression(JClassFieldExpression self) visits a field expression

Uses of JClassFieldExpression in org.jmlspecs.jmlrac

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

void	RacPrettyPrinter.visitFieldExpression(JClassFieldExpression self) prints a field expression, if it's not a model field then invoke the method in super class
private RacNode	TransMethodBody.ghostFieldSetter(JClassFieldExpression fieldExpr, String argVar) Returns Java source code that makes a dynamic call to the setter method of the given ghost field, fieldExpr, to set the ghost value to the value of the given variable, argVar.
static RacNode	TransMethodBody.getGhostFieldSetter(JClassFieldExpression fieldExpr, String argVar, VarGenerator varGen) Returns Java source code that makes a dynamic call to the setter method of the given ghost field, fieldExpr, to set the ghost value to the value of the given variable, argVar.
private static RacNode	TransMethodBody.transPrefix(VarGenerator varGen, JClassFieldExpression fieldExpr) Translates the prefix expression of the given field reference expression, fieldExpr.
private static boolean	TransMethodBody.isStatic(JClassFieldExpression expr) Returns true if the given field expression is a reference to a static field.
void	TransExpression.visitFieldExpression(JClassFieldExpression self) Translates a Java field expression.
protected boolean	TransExpression.isNonExecutableFieldReference(JClassFieldExpression expr) Returns true if the referenced field (by the argument expression) is not executable.
private void	TransExpression.translateNonExecutableFieldExpression(JClassFieldExpression expr) Translates the given field expression that is determined to be non-executable.
private RacNode	TransExpression.transFieldReference(JClassFieldExpression self, String resultVar, String accPrefix) Translates a class field expression that references a model, ghost, spec_public, or spec_protected field.
static boolean	TransExpression.canMakeStaticCall(JClassFieldExpression expr, String receiver) Returns true if a static (non-dynamic) call can be made to the given field expression, expr.
private static boolean	TransExpression.isStatic(JClassFieldExpression expr) Returns true if the given field expression refers to a static field.
void	TransExpression2.visitFieldExpression(JClassFieldExpression self) Translates a Java field expression.
protected boolean	TransExpression2.isNonExecutableFieldReference(JClassFieldExpression expr) Returns true if the referenced field (by the argument expression) is not executable.
private String	TransExpression2.transFieldReference(JClassFieldExpression self, String accPrefix) Translates a class field expression that references a model, ghost, spec_public, or spec_protected field.
static boolean	TransExpression2.canMakeStaticCall(JClassFieldExpression expr, String receiver) Returns true if a static (non-dynamic) call can be made to the given field expression, expr.
private static boolean	TransExpression2.isStatic(JClassFieldExpression expr) Returns true if the given field expression refers to a static field.

Uses of JClassFieldExpression in org.jmlspecs.jmlrac.qexpr

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

void	AbstractExpressionVisitor.visitFieldExpression(JClassFieldExpression self) Visits the given class field expression, self.

Uses of JClassFieldExpression in org.multijava.mjc

Methods in org.multijava.mjc that return JClassFieldExpression

protected JClassFieldExpression	JNameExpression.createClassField(TokenReference ref, JExpression prefix, String ident) Since class field may be overloaded in sub compiler, this method allow you to specifie the type of class field without needed to touch the huge method above !
protected JClassFieldExpression	JNameExpression.createClassField(TokenReference ref, String ident) Since class field may be overloaded in sub compiler, this method allow you to specifie the type of class field without needed to touch the huge method above !

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

abstract void	MjcVisitor.visitFieldExpression(JClassFieldExpression self) visits a field expression
void	MjcPrettyPrinter.visitFieldExpression(JClassFieldExpression self) prints a field expression