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

Packages that use JmlSpecCaseRestAsClauseSeq

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

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

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

void	ASTVisitor.endVisit(JmlSpecCaseRestAsClauseSeq jmlSpecCaseRestAsClauseSeq, BlockScope scope)
boolean	ASTVisitor.visit(JmlSpecCaseRestAsClauseSeq jmlSpecCaseRestAsClauseSeq, BlockScope scope)

Uses of JmlSpecCaseRestAsClauseSeq in org.jmlspecs.jml4.rac

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

void	JmlAstVisitor.endVisit(JmlSpecCaseRestAsClauseSeq jmlSpecCaseRestAsClauseSeq, BlockScope scope)
void	AstDirtyBitsRetriever.endVisit(JmlSpecCaseRestAsClauseSeq jmlSpecCaseRestAsClauseSeq, BlockScope scope)
void	AstDirtyBitsRestorer.endVisit(JmlSpecCaseRestAsClauseSeq jmlSpecCaseRestAsClauseSeq, BlockScope scope)
boolean	JmlAstVisitor.visit(JmlSpecCaseRestAsClauseSeq jmlSpecCaseRestAsClauseSeq, BlockScope scope)
boolean	DesugarSpec.visit(JmlSpecCaseRestAsClauseSeq self, BlockScope scope)
boolean	AstDirtyBitsRetriever.visit(JmlSpecCaseRestAsClauseSeq jmlSpecCaseRestAsClauseSeq, BlockScope scope)
boolean	AstDirtyBitsRestorer.visit(JmlSpecCaseRestAsClauseSeq jmlSpecCaseRestAsClauseSeq, BlockScope scope)