Uses of Class
org.jmlspecs.checker.JmlSourceField

Packages that use JmlSourceField

org.jmlspecs.checker	Contains the source code for a parser and typechecker for JML annotations and java code.
org.jmlspecs.jmlrac	Generates Java classes from JML specifications that check assertions at runtime.

Uses of JmlSourceField in org.jmlspecs.checker

Fields in org.jmlspecs.checker declared as JmlSourceField

protected JmlSourceField[]

JmlDataGroupClause.groups

Methods in org.jmlspecs.checker that return JmlSourceField

JmlSourceField	JmlSourceClass.lookupRefinedField(CField specField) Searches for the field refined by a given field, looking in the refinement hierarchy as needed.
JmlSourceField	JmlRepresentsDecl.getField() Returns the JmlSourceField of the model variable that this represents clause specifies for.
JmlSourceField	JmlDataGroupClause.checkDataGroup(CFlowControlContextType context, JExpression groupNameExpr, String ident, long privacy)
JmlSourceField[]	JmlDataGroupClause.getDataGroups(JmlSourceField self)
JmlSourceField	JmlSourceField.getMostRefined() Returns the most refined declaration AST for this field.

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

void	JmlFieldDeclaration.checkFieldSpecs(CFlowControlContextType context, JmlSourceField self) Typechecks the specifications associated with this field, i.e., data group specifications.
void	JmlFieldDeclaration.addSelfToInDataGroups(JmlSourceField self, JmlInGroupClause inGroupClause, JmlDataGroupMemberMap dataGroupMap)
JmlSourceField[]	JmlDataGroupClause.getDataGroups(JmlSourceField self)
void	JmlDataGroupMemberMap.addGroup(JmlSourceField field) Add a mapping from field to the members of its data group.
void	JmlDataGroupMemberMap.addMember(JmlSourceField group, CField member) Add member to the member set of group if group is already in this map.
void	JmlDataGroupMemberMap.addMembers(JmlSourceField group, JmlAssignableFieldSet members) Add a mapping for group if it is not already in this map.
JmlAssignableFieldSet	JmlDataGroupMemberMap.getMembers(JmlSourceField group) Returns the members of the given data group.

Uses of JmlSourceField in org.jmlspecs.jmlrac

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

private JmlMethodDeclaration

TransType.modelFieldAccessor(JmlSourceField field, JExpression expr) Returns a model accessor method for a model field with the given expression (of the represents clause).