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

Packages that use JmlQualifiedNameReference

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

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

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

void	ASTVisitor.endVisit(JmlQualifiedNameReference qualifiedNameReference, BlockScope scope)
void	ASTVisitor.endVisit(JmlQualifiedNameReference qualifiedNameReference, ClassScope scope)
boolean	ASTVisitor.visit(JmlQualifiedNameReference qualifiedNameReference, BlockScope scope)
boolean	ASTVisitor.visit(JmlQualifiedNameReference qualifiedNameReference, ClassScope scope)

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

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

boolean	PrintVisitor.visit(JmlQualifiedNameReference qualifiedNameReference, BlockScope scope) Deprecated.
boolean	PrintVisitor.visit(JmlQualifiedNameReference qualifiedNameReference, ClassScope scope) Deprecated.

Uses of JmlQualifiedNameReference in org.jmlspecs.jml4.fspv

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

void	TraceAstVisitor.endVisit(JmlQualifiedNameReference qualifiedNameReference, BlockScope scope)
void	TraceAstVisitor.endVisit(JmlQualifiedNameReference qualifiedNameReference, ClassScope scope)
boolean	TraceAstVisitor.visit(JmlQualifiedNameReference qualifiedNameReference, BlockScope scope)
boolean	TraceAstVisitor.visit(JmlQualifiedNameReference qualifiedNameReference, ClassScope scope)

Uses of JmlQualifiedNameReference in org.jmlspecs.jml4.rac

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

void	JmlAstVisitor.endVisit(JmlQualifiedNameReference qualifiedNameReference, BlockScope scope)
void	DefaultRacAstVisitor.endVisit(JmlQualifiedNameReference qualifiedNameReference, BlockScope scope)
void	AstDirtyBitsRetriever.endVisit(JmlQualifiedNameReference qualifiedNameReference, BlockScope scope)
void	AstDirtyBitsRestorer.endVisit(JmlQualifiedNameReference qualifiedNameReference, BlockScope scope)
void	JmlAstVisitor.endVisit(JmlQualifiedNameReference qualifiedNameReference, ClassScope scope)
void	DefaultRacAstVisitor.endVisit(JmlQualifiedNameReference qualifiedNameReference, ClassScope scope)
void	AstDirtyBitsRetriever.endVisit(JmlQualifiedNameReference qualifiedNameReference, ClassScope scope)
void	AstDirtyBitsRestorer.endVisit(JmlQualifiedNameReference qualifiedNameReference, ClassScope scope)
boolean	JmlAstVisitor.visit(JmlQualifiedNameReference qualifiedNameReference, BlockScope scope)
boolean	DefaultRacAstVisitor.visit(JmlQualifiedNameReference qualifiedNameReference, BlockScope scope)
boolean	AstDirtyBitsRetriever.visit(JmlQualifiedNameReference qualifiedNameReference, BlockScope scope)
boolean	AstDirtyBitsRestorer.visit(JmlQualifiedNameReference qualifiedNameReference, BlockScope scope)
boolean	JmlAstVisitor.visit(JmlQualifiedNameReference qualifiedNameReference, ClassScope scope)
boolean	DefaultRacAstVisitor.visit(JmlQualifiedNameReference qualifiedNameReference, ClassScope scope)
boolean	AstDirtyBitsRetriever.visit(JmlQualifiedNameReference qualifiedNameReference, ClassScope scope)
boolean	AstDirtyBitsRestorer.visit(JmlQualifiedNameReference qualifiedNameReference, ClassScope scope)