Uses of Class
org.jmlspecs.checker.JmlGenericSpecBody

Packages that use JmlGenericSpecBody

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 JmlGenericSpecBody in org.jmlspecs.checker

Methods in org.jmlspecs.checker that return JmlGenericSpecBody

JmlGenericSpecBody	JmlGenericSpecCase.genericSpecBody()
JmlGenericSpecBody	JmlParser.jmlGenericSpecBody(boolean isInSpecStatement)

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

void	JmlAbstractVisitor.visitJmlGenericSpecBody(JmlGenericSpecBody self)
abstract void	JmlVisitor.visitJmlGenericSpecBody(JmlGenericSpecBody self)
void	JmlVisitorNI.visitJmlGenericSpecBody(JmlGenericSpecBody self)
void	JmlAccumSubclassingInfo.visitJmlGenericSpecBody(JmlGenericSpecBody self)

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

JmlGenericSpecCase(TokenReference sourceRef, JmlSpecVarDecl[] specVarDecls, JmlRequiresClause[] specHeader, JmlGenericSpecBody genericSpecBody)

Uses of JmlGenericSpecBody in org.jmlspecs.jmldoc.jmldoc_142

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

void	SpecWriter.visitJmlGenericSpecBody(JmlGenericSpecBody self)

Uses of JmlGenericSpecBody in org.jmlspecs.jmlrac

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

void	DesugarSpec.visitJmlGenericSpecBody(JmlGenericSpecBody self) Desugars a generic specification body.
void	RacPrettyPrinter.visitJmlGenericSpecBody(JmlGenericSpecBody self) Prints a JML generic spec body.