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

Packages that use JmlSingleNameReference

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

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

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

void	ASTVisitor.endVisit(JmlSingleNameReference singleNameReference, BlockScope scope)
void	ASTVisitor.endVisit(JmlSingleNameReference singleNameReference, ClassScope scope)
boolean	ASTVisitor.visit(JmlSingleNameReference singleNameReference, BlockScope scope)
boolean	ASTVisitor.visit(JmlSingleNameReference singleNameReference, ClassScope scope)

Uses of JmlSingleNameReference in org.jmlspecs.eclipse.jdt.internal.esc2

Methods in org.jmlspecs.eclipse.jdt.internal.esc2 with parameters of type JmlSingleNameReference

boolean	PrintVisitor.visit(JmlSingleNameReference singleNameReference, BlockScope scope) Deprecated.
boolean	PrintVisitor.visit(JmlSingleNameReference singleNameReference, ClassScope scope) Deprecated.

Uses of JmlSingleNameReference in org.jmlspecs.jml4.fspv

Methods in org.jmlspecs.jml4.fspv with parameters of type JmlSingleNameReference

void	TraceAstVisitor.endVisit(JmlSingleNameReference singleNameReference, BlockScope scope)
void	TraceAstVisitor.endVisit(JmlSingleNameReference singleNameReference, ClassScope scope)
boolean	TraceAstVisitor.visit(JmlSingleNameReference singleNameReference, BlockScope scope)
boolean	TraceAstVisitor.visit(JmlSingleNameReference singleNameReference, ClassScope scope)

Uses of JmlSingleNameReference in org.jmlspecs.jml4.rac

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

void	JmlAstVisitor.endVisit(JmlSingleNameReference singleNameReference, BlockScope scope)
void	DefaultRacAstVisitor.endVisit(JmlSingleNameReference singleNameReference, BlockScope scope)
void	AstDirtyBitsRetriever.endVisit(JmlSingleNameReference singleNameReference, BlockScope scope)
void	AstDirtyBitsRestorer.endVisit(JmlSingleNameReference singleNameReference, BlockScope scope)
void	JmlAstVisitor.endVisit(JmlSingleNameReference singleNameReference, ClassScope scope)
void	DefaultRacAstVisitor.endVisit(JmlSingleNameReference singleNameReference, ClassScope scope)
void	AstDirtyBitsRetriever.endVisit(JmlSingleNameReference singleNameReference, ClassScope scope)
void	AstDirtyBitsRestorer.endVisit(JmlSingleNameReference singleNameReference, ClassScope scope)
boolean	JmlAstVisitor.visit(JmlSingleNameReference singleNameReference, BlockScope scope)
boolean	DefaultRacAstVisitor.visit(JmlSingleNameReference singleNameReference, BlockScope scope)
boolean	AstDirtyBitsRetriever.visit(JmlSingleNameReference singleNameReference, BlockScope scope)
boolean	AstDirtyBitsRestorer.visit(JmlSingleNameReference singleNameReference, BlockScope scope)
boolean	JmlAstVisitor.visit(JmlSingleNameReference singleNameReference, ClassScope scope)
boolean	DefaultRacAstVisitor.visit(JmlSingleNameReference singleNameReference, ClassScope scope)
boolean	AstDirtyBitsRetriever.visit(JmlSingleNameReference singleNameReference, ClassScope scope)
boolean	AstDirtyBitsRestorer.visit(JmlSingleNameReference singleNameReference, ClassScope scope)