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

Packages that use JmlSpecCaseBody

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

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

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

void	ASTVisitor.endVisit(JmlSpecCaseBody jmlSpecCaseBody, BlockScope scope)
boolean	ASTVisitor.visit(JmlSpecCaseBody jmlSpecCaseBody, BlockScope scope)

Uses of JmlSpecCaseBody in org.jmlspecs.jml4.ast

Fields in org.jmlspecs.jml4.ast declared as JmlSpecCaseBody

JmlSpecCaseBody[]	JmlSpecCaseBlock.bodies
JmlSpecCaseBody	JmlSpecCase.body

Constructors in org.jmlspecs.jml4.ast with parameters of type JmlSpecCaseBody

JmlSpecCase(JmlSpecCaseBody body)

JmlSpecCase(java.lang.String behaviorKeywordLexeme, JmlSpecCaseBody body, int modifiers)

JmlSpecCaseBlock(JmlSpecCaseBody[] bodies)

Uses of JmlSpecCaseBody in org.jmlspecs.jml4.rac

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

JmlSpecCaseHeader	DesugarSpec.addRequiresClause(JmlSpecCaseBody bs, JmlRequiresClause req) Add the given requires clause to this specification case.
void	JmlAstVisitor.endVisit(JmlSpecCaseBody jmlSpecCaseBody, BlockScope scope)
void	AstDirtyBitsRetriever.endVisit(JmlSpecCaseBody jmlSpecCaseBody, BlockScope scope)
void	AstDirtyBitsRestorer.endVisit(JmlSpecCaseBody jmlSpecCaseBody, BlockScope scope)
boolean	JmlAstVisitor.visit(JmlSpecCaseBody jmlSpecCaseBody, BlockScope scope)
boolean	DesugarSpec.visit(JmlSpecCaseBody jmlSpecCaseBody, BlockScope scope)
boolean	AstDirtyBitsRetriever.visit(JmlSpecCaseBody jmlSpecCaseBody, BlockScope scope)
boolean	AstDirtyBitsRestorer.visit(JmlSpecCaseBody jmlSpecCaseBody, BlockScope scope)
void	DesugarSpec.visitJmlExceptionalSpecCase(JmlSpecCaseBody self) Desugars an exceptional specification case.
void	DesugarSpec.visitJmlGenericSpecCase(JmlSpecCaseBody self) Desugars a generic specification case.
void	DesugarSpec.visitJmlNormalSpecCase(JmlSpecCaseBody self) Desugars a normal specification case.