Uses of Class
org.multijava.mjc.CField

Packages that use CField

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.multijava.mjc	Implements mjc, a MultiJava compiler.

Uses of CField in org.jmlspecs.checker

Subclasses of CField in org.jmlspecs.checker

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 CField

private static CField

JmlSourceClass.modelField

Methods in org.jmlspecs.checker that return CField

protected CField	JmlSourceClass.lookupFieldHelper(String name, CExpressionContextType context) Searches a field in current class and parent hierarchy as needed
protected CField	JmlSourceClass.getDeclaredField(String ident) Returns the signature of the field with the given name declared in this class, or null if this class does not declare a field with the given name.
CField	JmlMemberDeclaration.getField()
CField	JmlBinaryMember.getField()
CField	JmlBinaryField.getField()

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

JmlSourceField	JmlSourceClass.lookupRefinedField(CField specField) Searches for the field refined by a given field, looking in the refinement hierarchy as needed.
JmlTypeDeclaration	JmlTypeDeclaration.findTypeWithRepresentsFor(CField field) Finds the applicable representsclause for a given model field by searching through the superclass and interface hierachies starting from the given type declaration.
boolean	JmlAssignableFieldSet.add(CField field)
boolean	JmlAssignableFieldSet.contains(CField field)
boolean	JmlAssignableFieldSet.contains(CField field, JmlDataGroupMemberMap dgMap)
void	JmlDataGroupMemberMap.addMember(JmlSourceField group, CField member) Add member to the member set of group if group is already in this map.

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

JmlAssignableFieldSet(CField field)

JmlBinaryField(TokenReference where, CField member)
Constructs a class export from file.

Uses of CField in org.jmlspecs.jmldoc.jmldoc_142

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

String

JmldocFieldSubWriter.getLink(CClass container, CField fd, String label)

Uses of CField in org.jmlspecs.jmlrac

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

protected JmlTypeDeclaration	TransType.findTypeWithRepresentsFor(JmlTypeDeclaration tdecl, CField field) Finds the applicable representsclause for a given model field by searching through the superclass and interface hierachies starting from the given type declaration.
protected boolean	TransType.isAccessorGenerated(CField field) Returns true if an accessor (or a delegation method) is already generated for a model or spec_public field, field.
protected void	TransType.setAccessorGenerated(CField field) Indicates that an accessor (or a delegation method) has been generated for a model or spec_public field, field.
private JmlMethodDeclaration	TransClass.defaultModelFieldAccessor(CField field) Returns a default accessor method for a model field.
private JmlMethodDeclaration	TransClass.modelFieldDelegationMethod(CField field, JmlTypeDeclaration tdecl) Returns a model field delegation method for model field, field, whose represents clause is found in type tdecl.
protected JmlMethodDeclaration	TransClass.specPublicAccessor(CField field) Returns a default access method for a spec_public field.
private JmlMethodDeclaration	TransInterface.defaultModelFieldAccessor(CField field) Returns a default accessor method for a model field, field.

Uses of CField in org.multijava.mjc

Subclasses of CField in org.multijava.mjc

class	CBinaryField This class represents loaded (compiled) class fields.
class	CSourceField This class represents an exported member of a class (fields)

Fields in org.multijava.mjc declared as CField

protected CField

CFieldAccessorMethod.target The target field of this wrapper.

Methods in org.multijava.mjc that return CField

CField	CMember.getField()
abstract CField	JMemberDeclarationType.getField()
protected CField	CClass.getDeclaredField(String ident) Returns the signature of the field with the given name declared in this class, or null if this class does not declare a field with the given name.
protected CField	CClass.lookupFieldHelper(String name, CExpressionContextType context) Searches a field in current class and parent hierarchy as needed
CField	CClass.lookupSuperField(String name, CExpressionContextType context) Searches a field in current class and parent hierarchy as needed
CField	JMemberDeclaration.getField()
CField	CField.getField()
abstract CField	CFieldAccessor.getField() Returns the target of this accessor method.
protected CField	CBadClass.getDeclaredField(String ident) Returns the signature of the field with the given name declared in this class, or null if this class does not declare a field with the given name.
CField	CFieldTable.lookup(String ident) Returns the field with specified name
CField	CFieldAccessorMethod.getField() Returns the target of this accessor method.

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

void	CClass.setCheckedMembers(CField[] fields_A, Hashtable fields_H, CMethod[] protoMethods_A) Stores information on member signatures gathered during checkInterface pass prior to closing in the translateMJ pass.
CFieldAccessorMethod	CClass.getterOrSetterMethodFor(CField field, CExpressionContextType context) Returns a method that allows getting or setting the value of field from context context.
private CFieldAccessorMethod	CClass.findAccessorMethod(CField f, CMethodSet ms)
CFieldAccessorMethod	CClass.findGetterMethod(CField f)
CFieldAccessorMethod	CClass.findOrCreateGetterMethod(CField f)
CFieldAccessorMethod	CClass.findOrCreateSetterMethod(CField f)
void	CBinaryClass.checkTypes(CField field, CType fieldtype, CContextType context)
private Hashtable	CFieldTable.buildHash(CField[] array) Utility methods builds a hash table from the array of fields.
boolean	CFieldAccessorMethod.isApplicableTo(CField f)
private static CSpecializedType[]	CFieldGetterMethod.createParms(CField target, CClass owner)
private static CSpecializedType[]	CFieldSetterMethod.createParms(CField target, CClass owner)

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

CFieldTable(CField[] array, Hashtable hashed)
Constructs a field table using one of array or hashed.

CFieldAccessorMethod(CField target, CClass owner, CType retType, CSpecializedType[] parms)
Constructs a getter method for the given method.

CFieldGetterMethod(CField target, CClass owner)
Constructs a getter method for the given method.

CFieldSetterMethod(CField target, CClass owner)
Constructs a setter method for the given method.