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

Packages that use JmlCompilationUnitDeclaration

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

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

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

void	ASTVisitor.endVisit(JmlCompilationUnitDeclaration compilationUnitDeclaration, CompilationUnitScope scope)
boolean	ASTVisitor.visit(JmlCompilationUnitDeclaration compilationUnitDeclaration, CompilationUnitScope scope)

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

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

void	JdtAst2EscjAstVisitor.endVisit(JmlCompilationUnitDeclaration compilationUnitDeclaration, CompilationUnitScope scope) Deprecated.
boolean	PrintVisitor.visit(JmlCompilationUnitDeclaration compilationUnitDeclaration, CompilationUnitScope scope) Deprecated.
boolean	JdtAst2EscjAstVisitor.visit(JmlCompilationUnitDeclaration compilationUnitDeclaration, CompilationUnitScope scope) Deprecated.

Uses of JmlCompilationUnitDeclaration in org.jmlspecs.jml4.fspv

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

void	TraceAstVisitor.endVisit(JmlCompilationUnitDeclaration compilationUnitDeclaration, CompilationUnitScope scope)
void	TheoryTranslator.endVisit(JmlCompilationUnitDeclaration compilationUnitDeclaration, CompilationUnitScope scope)
boolean	TraceAstVisitor.visit(JmlCompilationUnitDeclaration compilationUnitDeclaration, CompilationUnitScope scope)
boolean	TheoryTranslator.visit(JmlCompilationUnitDeclaration compilationUnitDeclaration, CompilationUnitScope scope)

Uses of JmlCompilationUnitDeclaration in org.jmlspecs.jml4.fspv.phases

Methods in org.jmlspecs.jml4.fspv.phases with parameters of type JmlCompilationUnitDeclaration

void	TheoryTranslation.endVisit(JmlCompilationUnitDeclaration compilationUnitDeclaration, CompilationUnitScope scope)
boolean	TheoryTranslation.visit(JmlCompilationUnitDeclaration compilationUnitDeclaration, CompilationUnitScope scope)

Uses of JmlCompilationUnitDeclaration in org.jmlspecs.jml4.rac

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

void	JmlAstVisitor.endVisit(JmlCompilationUnitDeclaration compilationUnitDeclaration, CompilationUnitScope scope)
void	DefaultRacAstVisitor.endVisit(JmlCompilationUnitDeclaration compilationUnitDeclaration, CompilationUnitScope scope)
void	AstDirtyBitsRetriever.endVisit(JmlCompilationUnitDeclaration compilationUnitDeclaration, CompilationUnitScope scope)
void	AstDirtyBitsRestorer.endVisit(JmlCompilationUnitDeclaration compilationUnitDeclaration, CompilationUnitScope scope)
boolean	JmlAstVisitor.visit(JmlCompilationUnitDeclaration compilationUnitDeclaration, CompilationUnitScope scope)
boolean	DefaultRacAstVisitor.visit(JmlCompilationUnitDeclaration compilationUnitDeclaration, CompilationUnitScope scope)
boolean	AstDirtyBitsRetriever.visit(JmlCompilationUnitDeclaration compilationUnitDeclaration, CompilationUnitScope scope)
boolean	AstDirtyBitsRestorer.visit(JmlCompilationUnitDeclaration compilationUnitDeclaration, CompilationUnitScope scope)