Uses of Class
org.multijava.mjc.CSourceField

Packages that use CSourceField

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

Subclasses of CSourceField in org.jmlspecs.checker

class

JmlSourceField A class for representing an exported field of a class.

Methods in org.jmlspecs.checker that return CSourceField

protected CSourceField	JFieldDeclarationWrapper.makeFieldSignature(CClass owner) Generates the signature object for this field declaration.
CSourceField	JmlFieldDeclaration.checkInterface(CClassContextType context) Checks the basic interfaces to make sure things generally look OK.

Uses of CSourceField in org.multijava.mjc

Fields in org.multijava.mjc declared as CSourceField

private CSourceField	CCORInitializer.isInitializedFlag
private CSourceField	CCORInitializer.isInitializedLock

Methods in org.multijava.mjc that return CSourceField

(package private) CSourceField	CCORInitializer.isInitializedFlag()
(package private) CSourceField	CCORInitializer.isInitializedLock()
protected CSourceField	CSourceDispatcherClass.outersDispatcherField() Returns a field to be added to the outer class for storing a reference to a singleton instance of this, or returns null if the outer class is the anchor.
CSourceField	CSourceDispatcherClass.functionField() Creates a field data structure representing the function field for this dispatcher's generic function.
CSourceField	JFieldDeclaration.checkInterface(CClassContextType context) Checks the basic interfaces to make sure things generally look OK.
protected CSourceField	JFieldDeclaration.makeFieldSignature(CClass owner) Generates the signature object for this class declaration.
abstract CSourceField	JFieldDeclarationType.checkInterface(CClassContextType context) Checks the basic interfaces to make sure things generally look OK.
CSourceField[]	CFieldTable.sourceFields() Returns an array of the CSourceFields stored in this field table.

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

void	CClass.addField(CSourceField field) Add inner fields
private JLocalVariableExpression	CSourceClass.generatedLocalVarHelper(CMethod constructor, CSourceField field, JLocalVariable var, TokenReference ref)
void	CFieldTable.add(CSourceField field) Adds a field.