Uses of Class
org.jmlspecs.checker.JmlSpecBody

Packages that use JmlSpecBody

org.jmlspecs.checker	Contains the source code for a parser and typechecker for JML annotations and java code.
org.jmlspecs.jmldoc.jmldoc_142
org.jmlspecs.jmlrac	Generates Java classes from JML specifications that check assertions at runtime.

Uses of JmlSpecBody in org.jmlspecs.checker

Subclasses of JmlSpecBody in org.jmlspecs.checker

class	JmlAbruptSpecBody JmlAbruptSpecBody.java
class	JmlExceptionalSpecBody An AST node class for the JML exceptional-spec-body.
class	JmlGenericSpecBody An AST node class for the JML generic-spec-body.
class	JmlNormalSpecBody An AST node class for the JML normal-spec-body.

Fields in org.jmlspecs.checker declared as JmlSpecBody

protected JmlSpecBody

JmlGeneralSpecCase.specBody

Methods in org.jmlspecs.checker that return JmlSpecBody

JmlSpecBody

JmlGeneralSpecCase.specBody()

Methods in org.jmlspecs.checker with parameters of type JmlSpecBody

void	JmlAbstractVisitor.visitJmlSpecBody(JmlSpecBody self)
abstract void	JmlVisitor.visitJmlSpecBody(JmlSpecBody self)
void	JmlVisitorNI.visitJmlSpecBody(JmlSpecBody self)
void	JmlAccumSubclassingInfo.visitJmlSpecBody(JmlSpecBody self)
static void	NonNullStatistics.checkSpecBody(JmlSpecBody jsb, JmlContext context, String fn)

Constructors in org.jmlspecs.checker with parameters of type JmlSpecBody

JmlGeneralSpecCase(TokenReference where, JmlSpecVarDecl[] specVarDecls, JmlRequiresClause[] specHeader, JmlSpecBody specBody)
Creates a new JmlGeneralSpecCase instance.

Uses of JmlSpecBody in org.jmlspecs.jmldoc.jmldoc_142

Methods in org.jmlspecs.jmldoc.jmldoc_142 with parameters of type JmlSpecBody

void	SpecWriter.visitJmlSpecBody(JmlSpecBody self)

Uses of JmlSpecBody in org.jmlspecs.jmlrac

Methods in org.jmlspecs.jmlrac with parameters of type JmlSpecBody

private void	DesugarSpec.visitSpecBody(JmlSpecBody self, JmlSpecBodyClause body) Desugars a specification body (general, normal, exceptional).
protected void	RacPrettyPrinter.visitSpecBody(JmlSpecBody self) Prints specification body.
void	RacPrettyPrinter.visitJmlSpecBody(JmlSpecBody self)