Uses of Class
org.jmlspecs.checker.JmlStoreRef

Packages that use JmlStoreRef

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

Subclasses of JmlStoreRef in org.jmlspecs.checker

class	JmlInformalStoreRef JmlInformalStoreRef.java
class	JmlStoreRefExpression An AST node class for JML store reference expressions.
class	JmlStoreRefKeyword This class represents a JmlStoreRefKeyword in the AST.

Fields in org.jmlspecs.checker declared as JmlStoreRef

private JmlStoreRef[]	JmlAccessibleClause.storeRefs
private JmlStoreRef[]	JmlAssignableClause.storeRefs
private JmlStoreRef[]	JmlCapturesClause.storeRefs
private JmlStoreRef	JmlMapsIntoClause.memberRef
private JmlStoreRef[]	JmlStoreRefListWrapper.storeRefList

Methods in org.jmlspecs.checker that return JmlStoreRef

JmlStoreRef[]	JmlAccessibleClause.storeRefs()
JmlStoreRef[]	JmlAssignableClause.storeRefs()
JmlStoreRef[]	JmlCapturesClause.storeRefs()
abstract JmlStoreRef	JmlStoreRef.typecheck(CExpressionContextType context, long privacy) Typechecks this store reference in the given visibility, privacy, and mutates the context, context, to record information gathered during typechecking.
JmlStoreRef	JmlInformalStoreRef.typecheck(CExpressionContextType context, long privacy) Typechecks this store reference in the given visibility, privacy, and mutates the context, context, to record information gathered during typechecking.
JmlStoreRef	JmlMapsIntoClause.memberRef()
JmlStoreRef[]	JmlStoreRefListWrapper.storeRefList()
JmlStoreRef	JmlStoreRefExpression.typecheck(CExpressionContextType context, long privacy) Typechecks this store reference in the given visibility, privacy, and mutates the context, context, to record information gathered during typechecking.
JmlStoreRef	JmlStoreRefExpression.typecheck(CExpressionContextType context, long privacy, CType type) Typechecks this store reference in the given visibility, privacy, and mutates the context, context, to record information gathered during typechecking.
JmlStoreRef	JmlStoreRefKeyword.typecheck(CExpressionContextType context, long privacy) Typechecks this store reference in the given visibility, privacy, and mutates the context, context, to record information gathered during typechecking.
JmlStoreRef	JmlParser.jmlStoreRef()
JmlStoreRef[]	JmlParser.jmlStoreRefList()
private JmlStoreRef	TestJmlParser.storeRefFromCC(JmlSpecBodyClause bc)
private JmlStoreRef	TestJmlParser.storeRefFrom(JmlSpecBodyClause bc)
private JmlStoreRef	TestJmlParser.storeRefFrom(JmlCompilationUnit unit)

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

void	JmlAbstractVisitor.visitJmlStoreRef(JmlStoreRef self)
abstract void	JmlVisitor.visitJmlStoreRef(JmlStoreRef self)
void	JmlVisitorNI.visitJmlStoreRef(JmlStoreRef self)
boolean	JmlAssignableFieldSet.add(JmlStoreRef storeRef)

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

JmlAccessibleClause(TokenReference where, boolean isRedundantly, JmlStoreRef[] storeRefs)

JmlAssignableClause(TokenReference where, boolean isRedundantly, JmlStoreRef[] storeRefs)

JmlCapturesClause(TokenReference where, boolean isRedundantly, JmlStoreRef[] storeRefs)

JmlStoreRefListWrapper(TokenReference where, JmlStoreRef[] storeRefList)

JmlNotAssignedExpression(TokenReference where, JmlStoreRef[] storeRefList)

JmlNotModifiedExpression(TokenReference where, JmlStoreRef[] storeRefList)

JmlOnlyAccessedExpression(TokenReference where, JmlStoreRef[] storeRefList)

JmlOnlyAssignedExpression(TokenReference where, JmlStoreRef[] storeRefList)

JmlOnlyCapturedExpression(TokenReference where, JmlStoreRef[] storeRefList)

Uses of JmlStoreRef in org.jmlspecs.jmldoc.jmldoc_142

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

void	SpecWriter.visitJmlStoreRef(JmlStoreRef self)

Uses of JmlStoreRef in org.jmlspecs.jmlrac

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

void	RacPrettyPrinter.visitJmlStoreRef(JmlStoreRef self)