Uses of Class
org.jmlspecs.checker.JmlStoreRefExpression

Packages that use JmlStoreRefExpression

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.

Uses of JmlStoreRefExpression in org.jmlspecs.checker

Fields in org.jmlspecs.checker declared as JmlStoreRefExpression

protected JmlStoreRefExpression	JmlRepresentsDecl.storeRef An AST for the storeRef expression of the more abstract variable in this.
protected JmlStoreRefExpression[]	JmlDataGroupClause.groupList
private JmlStoreRefExpression	JmlReachExpression.storeRefExpression

Methods in org.jmlspecs.checker that return JmlStoreRefExpression

JmlStoreRefExpression	JmlRepresentsDecl.storeRef() Returns the store ref expression of this represents declaration.
JmlStoreRefExpression[]	JmlDataGroupClause.groupList()
JmlStoreRefExpression	JmlReachExpression.storeRefExpression()
JmlStoreRefExpression[]	JmlParser.jmlGroupList()
JmlStoreRefExpression	JmlParser.jmlMapsReference()
JmlStoreRefExpression	JmlParser.jmlGroupName()
JmlStoreRefExpression	JmlParser.jmlStoreRefExpression()

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

void	JmlAbstractVisitor.visitJmlStoreRefExpression(JmlStoreRefExpression self)
abstract void	JmlVisitor.visitJmlStoreRefExpression(JmlStoreRefExpression self)
void	JmlVisitorNI.visitJmlStoreRefExpression(JmlStoreRefExpression self)

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

JmlRepresentsDecl(TokenReference where, long modifiers, boolean redundantly, JmlStoreRefExpression storeRef, JmlSpecExpression specExpression)
Creates a new JmlRepresentsDecl instance.

JmlRepresentsDecl(TokenReference where, long modifiers, boolean redundantly, JmlStoreRefExpression storeRef, JmlPredicate predicate)
Creates a new JmlRepresentsDecl instance.

JmlDataGroupClause(TokenReference where, boolean redundantly, JmlStoreRefExpression[] groupList)

JmlInGroupClause(TokenReference where, boolean redundantly, JmlStoreRefExpression[] groupList)

JmlMapsIntoClause(TokenReference where, boolean redundantly, String fieldId, JmlStoreRefExpression memberRef, JmlStoreRefExpression[] groupList)

JmlReachExpression(TokenReference where, JmlSpecExpression specExpression, CType referenceType, JmlStoreRefExpression storeRefExpression)

Uses of JmlStoreRefExpression in org.jmlspecs.jmldoc.jmldoc_142

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

void	JmlHTML.addLink(CClass container, JmlStoreRefExpression sre, JmldocFieldSubWriter fsw, SpecWriter sw)
void	SpecWriter.visitJmlStoreRefExpression(JmlStoreRefExpression self)

Uses of JmlStoreRefExpression in org.jmlspecs.jmlrac

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

void	RacPrettyPrinter.visitJmlStoreRefExpression(JmlStoreRefExpression self) Prints a JML store reference expression.