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

Packages that use JmlMemberFieldRef

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

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

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

void	ASTVisitor.endVisit(JmlMemberFieldRef jmlMemberFieldRef, BlockScope scope)
boolean	ASTVisitor.visit(JmlMemberFieldRef jmlMemberFieldRef, BlockScope scope)

Uses of JmlMemberFieldRef in org.jmlspecs.jml4.rac

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

void	JmlAstVisitor.endVisit(JmlMemberFieldRef jmlMemberFieldRef, BlockScope scope)
void	AstDirtyBitsRetriever.endVisit(JmlMemberFieldRef jmlMemberFieldRef, BlockScope scope)
void	AstDirtyBitsRestorer.endVisit(JmlMemberFieldRef jmlMemberFieldRef, BlockScope scope)
boolean	JmlAstVisitor.visit(JmlMemberFieldRef jmlMemberFieldRef, BlockScope scope)
boolean	AstDirtyBitsRetriever.visit(JmlMemberFieldRef jmlMemberFieldRef, BlockScope scope)
boolean	AstDirtyBitsRestorer.visit(JmlMemberFieldRef jmlMemberFieldRef, BlockScope scope)