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

Packages that use JmlSpecCaseBlock

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

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

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

void	ASTVisitor.endVisit(JmlSpecCaseBlock jmlSpecCaseBlock, BlockScope scope)
boolean	ASTVisitor.visit(JmlSpecCaseBlock jmlSpecCaseBlock, BlockScope scope)

Uses of JmlSpecCaseBlock in org.jmlspecs.jml4.rac

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

void	JmlAstVisitor.endVisit(JmlSpecCaseBlock jmlSpecCaseBlock, BlockScope scope)
void	AstDirtyBitsRetriever.endVisit(JmlSpecCaseBlock jmlSpecCaseBlock, BlockScope scope)
void	AstDirtyBitsRestorer.endVisit(JmlSpecCaseBlock jmlSpecCaseBlock, BlockScope scope)
boolean	JmlAstVisitor.visit(JmlSpecCaseBlock jmlSpecCaseBlock, BlockScope scope)
boolean	DesugarSpec.visit(JmlSpecCaseBlock self, BlockScope scope)
boolean	AstDirtyBitsRetriever.visit(JmlSpecCaseBlock jmlSpecCaseBlock, BlockScope scope)
boolean	AstDirtyBitsRestorer.visit(JmlSpecCaseBlock jmlSpecCaseBlock, BlockScope scope)