Uses of Class
org.jmlspecs.checker.JmlSpecification

Packages that use JmlSpecification

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

Subclasses of JmlSpecification in org.jmlspecs.checker

class

JmlExtendingSpecification A method specification that extetends inherited specifications.

Methods in org.jmlspecs.checker that return JmlSpecification

JmlSpecification	JmlSpecification.newInstance(JmlSpecCase[] specCases, JmlRedundantSpec redundantSpec)
JmlSpecification	JmlExtendingSpecification.newInstance(JmlSpecCase[] specCases, JmlRedundantSpec redundantSpec)
JmlSpecification	JmlParser.jmlSpecification(long mods)

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

void	JmlAbstractVisitor.visitJmlSpecification(JmlSpecification self)
abstract void	JmlVisitor.visitJmlSpecification(JmlSpecification self)
void	JmlVisitorNI.visitJmlSpecification(JmlSpecification self)

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

JmlExtendingSpecification(JmlSpecification s)
Construct an instance of JmlExtendingSpecification that represents an OR extension.

Uses of JmlSpecification in org.jmlspecs.jmldoc.jmldoc_142

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

void	SpecWriter.visitJmlSpecification(JmlSpecification self)

Uses of JmlSpecification in org.jmlspecs.jmlrac

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

void	DesugarSpec.visitJmlSpecification(JmlSpecification self) Desugars the given JML specification.
private void	DesugarSpec.visitSpecification(JmlSpecification self) Desugars a JML specification or an OR-extending specification.
private void	RacPrettyPrinter.visitMethodSpecification(JmlSpecification self) Prints a JML method extending specification.
void	RacPrettyPrinter.visitJmlSpecification(JmlSpecification self) Prints a JML specification.
void	TransMethod.SpecCaseCollector.visitJmlSpecification(JmlSpecification self)