Uses of Class
org.jmlspecs.checker.JmlNormalSpecCase

Packages that use JmlNormalSpecCase

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

Uses of JmlNormalSpecCase in org.jmlspecs.checker

Methods in org.jmlspecs.checker that return JmlNormalSpecCase

JmlNormalSpecCase[]	JmlNormalSpecBody.normalSpecCases()
JmlNormalSpecCase	JmlParser.jmlNormalSpecCase()

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

void	JmlAbstractVisitor.visitJmlNormalSpecCase(JmlNormalSpecCase self)
abstract void	JmlVisitor.visitJmlNormalSpecCase(JmlNormalSpecCase self)
void	JmlVisitorNI.visitJmlNormalSpecCase(JmlNormalSpecCase self)
void	JmlAccumSubclassingInfo.visitJmlNormalSpecCase(JmlNormalSpecCase self)

Uses of JmlNormalSpecCase in org.jmlspecs.jmlrac

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

void	DesugarSpec.visitJmlNormalSpecCase(JmlNormalSpecCase self) Desugars a normal specification case.
void	RacPrettyPrinter.visitJmlNormalSpecCase(JmlNormalSpecCase self) Prints a JML normal spec case.