Uses of Interface
org.multijava.mjc.CFieldAccessor

Packages that use CFieldAccessor

org.jmlspecs.checker	Contains the source code for a parser and typechecker for JML annotations and java code.
org.multijava.mjc	Implements mjc, a MultiJava compiler.

Uses of CFieldAccessor in org.jmlspecs.checker

Classes in org.jmlspecs.checker that implement CFieldAccessor

class	JmlSigBinaryField A class to represent JML field declaratons read from bytecode files.
class	JmlSourceField A class for representing an exported field of a class.

Fields in org.jmlspecs.checker declared as CFieldAccessor

protected CFieldAccessor

JmlAdmissibilityVisitor.modelField In the case of a represents clause, this field saves a reference to the model field, in order to enable it to appear in the represents expression and to ignore subclass separation for this field.

Methods in org.jmlspecs.checker that return CFieldAccessor

CFieldAccessor	JmlStoreRefExpression.getField() Returns CFieldAccessor of this store ref expression if it denotes denotes a class field.
CFieldAccessor	JmlContext.lookupField(String ident) searches for a field with the given identifier
CFieldAccessor	JmlContext.lookupField(String ident, CExpressionContextType context) searches for a field with the given identifier
CFieldAccessor	JmlContext.lookupOuterField(String ident) Searches for a field of the given name in the context surrounding the current lexical contour.
CFieldAccessor	JmlContext.lookupOuterField(String ident, CExpressionContextType context) Searches for a field of the given name in the context surrounding the current lexical contour.
CFieldAccessor	JmlExpressionContext.lookupField(String ident) searches for a field with the given identifier
CFieldAccessor	JmlExpressionContext.lookupOuterField(String ident) Searches for a field of the given name in the context surrounding the current lexical contour.
CFieldAccessor	JmlClassContext.lookupOuterField(String ident, CExpressionContextType context) Searches for a field of the given name in the context surrounding the current lexical contour.
CFieldAccessor	JmlClassContext.lookupField(String ident, CExpressionContextType context) lookupField
CFieldAccessor	JmlCompilationUnitContext.lookupField(String ident, CExpressionContextType context) searches for a field with the given identifier
CFieldAccessor	JmlCompilationUnitContext.lookupOuterField(String ident, CExpressionContextType context) Searches for a field of the given name in the context surrounding the current lexical contour.

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

protected static boolean

JmlAdmissibilityVisitor.checkAdmissibility(JExpression expr, JmlExpressionContext ectx, CFieldAccessor modelField) Admissibility checks a JExpression.

Uses of CFieldAccessor in org.multijava.mjc

Classes in org.multijava.mjc that implement CFieldAccessor

class	CBinaryField This class represents loaded (compiled) class fields.
class	CField This class represents an exported member of a class (fields)
class	CFieldAccessorMethod This class is the abstract base class for the field getter and setter methods.
class	CFieldGetterMethod This class represents a getter method for a field that an inner or enclosing class has privileged access to.
class	CFieldSetterMethod This class represents a setter method for a field that an inner or enclosing class has privileged access to.
class	CSourceField This class represents an exported member of a class (fields)

Fields in org.multijava.mjc declared as CFieldAccessor

private CFieldAccessor

JClassFieldExpression.field

Methods in org.multijava.mjc that return CFieldAccessor

abstract CFieldAccessor	CContextType.lookupField(String ident) searches for a field with the given identifier
abstract CFieldAccessor	CContextType.lookupField(String ident, CExpressionContextType context) searches for a field with the given identifier
abstract CFieldAccessor	CContextType.lookupOuterField(String ident) Searches for a field of the given name in the context surrounding the current lexical contour.
abstract CFieldAccessor	CContextType.lookupOuterField(String ident, CExpressionContextType context) Searches for a field of the given name in the context surrounding the current lexical contour.
CFieldAccessor	CClass.lookupField(String name, CExpressionContextType context) Searches a field in current class and parent hierarchy as needed Creates an appropriate getter or setter method (or both) if necessary for privileged access to the field.
CFieldAccessor	CContext.lookupField(String ident) searches for a field with the given identifier
CFieldAccessor	CContext.lookupField(String ident, CExpressionContextType context) searches for a field with the given identifier
CFieldAccessor	CContext.lookupOuterField(String ident) Searches for a field of the given name in the context surrounding the current lexical contour.
CFieldAccessor	CContext.lookupOuterField(String ident, CExpressionContextType context) Searches for a field of the given name in the context surrounding the current lexical contour.
CFieldAccessor	CClassContext.lookupOuterField(String ident, CExpressionContextType context) Searches for a field of the given name in the context surrounding the current lexical contour.
CFieldAccessor	CClassContext.lookupField(String ident, CExpressionContextType context) lookupField
abstract CFieldAccessor	CClassContextType.lookupOuterField(String ident, CExpressionContextType context) Searches for a field of the given name in the context surrounding the current lexical contour.
abstract CFieldAccessor	CClassContextType.lookupField(String ident, CExpressionContextType context) lookupField
CFieldAccessor	JClassFieldExpression.getField() Returns the CField represented by this expression.
abstract CFieldAccessor	CCompilationUnitContextType.lookupField(String ident, CExpressionContextType context) searches for a field with the given identifier
abstract CFieldAccessor	CCompilationUnitContextType.lookupOuterField(String ident, CExpressionContextType context) Searches for a field of the given name in the context surrounding the current lexical contour.
CFieldAccessor	CExtMethodContext.lookupField(String ident, CExpressionContextType context) Searches for a field with the given name in this context.
CFieldAccessor	CExtMethodContext.lookupOuterField(String ident, CExpressionContextType context) Searches for a field of the given name in the context surrounding the current lexical contour.
CFieldAccessor	CBadClass.lookupField(String name, CExpressionContextType context) lookupField search for a field look in parent hierarchy as needed
CFieldAccessor	CCompilationUnitContext.lookupField(String ident, CExpressionContextType context) searches for a field with the given identifier
CFieldAccessor	CCompilationUnitContext.lookupOuterField(String ident, CExpressionContextType context) Searches for a field of the given name in the context surrounding the current lexical contour.
CFieldAccessor	CExpressionContext.lookupField(String ident) searches for a field with the given identifier
CFieldAccessor	CExpressionContext.lookupOuterField(String ident) Searches for a field of the given name in the context surrounding the current lexical contour.

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

void	JClassFieldExpression.setField(CFieldAccessor field)
boolean	CContextNullity.isFANonNull(CFieldAccessor expr)