Uses of Class
org.jmlspecs.jml4.ast.JmlMapsMemberRefExpr

Packages that use JmlMapsMemberRefExpr

org.eclipse.jdt.internal.compiler
org.jmlspecs.jml4.ast
org.jmlspecs.jml4.rac

Uses of JmlMapsMemberRefExpr in org.eclipse.jdt.internal.compiler

Methods in org.eclipse.jdt.internal.compiler with parameters of type JmlMapsMemberRefExpr

void	ASTVisitor.endVisit(JmlMapsMemberRefExpr jmlMapsMemberRefExpr, BlockScope scope)
boolean	ASTVisitor.visit(JmlMapsMemberRefExpr jmlMapsMemberRefExpr, BlockScope scope)

Uses of JmlMapsMemberRefExpr in org.jmlspecs.jml4.ast

Fields in org.jmlspecs.jml4.ast declared as JmlMapsMemberRefExpr

JmlMapsMemberRefExpr	JmlMemberFieldRef.array Deprecated.
JmlMapsMemberRefExpr	JmlMemberFieldRef.member Deprecated.

Constructors in org.jmlspecs.jml4.ast with parameters of type JmlMapsMemberRefExpr

JmlMemberFieldRef(char[] identifier, JmlMapsMemberRefExpr refExpr)
Deprecated.

JmlMemberFieldRef(JmlMapsMemberRefExpr array, JmlMapsMemberRefExpr member)
Deprecated.

Uses of JmlMapsMemberRefExpr in org.jmlspecs.jml4.rac

Methods in org.jmlspecs.jml4.rac with parameters of type JmlMapsMemberRefExpr

void	JmlAstVisitor.endVisit(JmlMapsMemberRefExpr jmlMapsMemberRefExpr, BlockScope scope)
void	AstDirtyBitsRetriever.endVisit(JmlMapsMemberRefExpr jmlMapsMemberRefExpr, BlockScope scope)
void	AstDirtyBitsRestorer.endVisit(JmlMapsMemberRefExpr jmlMapsMemberRefExpr, BlockScope scope)
boolean	JmlAstVisitor.visit(JmlMapsMemberRefExpr jmlMapsMemberRefExpr, BlockScope scope)
boolean	AstDirtyBitsRetriever.visit(JmlMapsMemberRefExpr jmlMapsMemberRefExpr, BlockScope scope)
boolean	AstDirtyBitsRestorer.visit(JmlMapsMemberRefExpr jmlMapsMemberRefExpr, BlockScope scope)