Uses of Class
org.jmlspecs.checker.JmlExtendingSpecification

Packages that use JmlExtendingSpecification

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

Methods in org.jmlspecs.checker that return JmlExtendingSpecification

JmlExtendingSpecification

JmlParser.jmlExtendingSpecification()

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

void	JmlAbstractVisitor.visitJmlExtendingSpecification(JmlExtendingSpecification self)
abstract void	JmlVisitor.visitJmlExtendingSpecification(JmlExtendingSpecification self)
void	JmlVisitorNI.visitJmlExtendingSpecification(JmlExtendingSpecification self)

Uses of JmlExtendingSpecification in org.jmlspecs.jmldoc.jmldoc_142

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

void	SpecWriter.visitJmlExtendingSpecification(JmlExtendingSpecification self)

Uses of JmlExtendingSpecification in org.jmlspecs.jmlrac

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

void	DesugarSpec.visitJmlExtendingSpecification(JmlExtendingSpecification self) Desugar an extending specification.
void	RacPrettyPrinter.visitJmlExtendingSpecification(JmlExtendingSpecification self) Prints a JML method extending specification.
void	TransMethod.SpecCaseCollector.visitJmlExtendingSpecification(JmlExtendingSpecification self)