Uses of Class
org.jmlspecs.checker.JmlVariableDefinition

Packages that use JmlVariableDefinition

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

Methods in org.jmlspecs.checker that return JmlVariableDefinition

JmlVariableDefinition[]

JmlParser.jmlQuantifiedVarDecls()

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

void	JmlAbstractVisitor.visitJmlVariableDefinition(JmlVariableDefinition self)
abstract void	JmlVisitor.visitJmlVariableDefinition(JmlVariableDefinition self)
void	JmlVisitorNI.visitJmlVariableDefinition(JmlVariableDefinition self)
void	JmlAccumSubclassingInfo.visitJmlVariableDefinition(JmlVariableDefinition self)
void	JmlExpressionChecker.visitJmlVariableDefinition(JmlVariableDefinition self) Checks visibility (and purity) of the given expression, self.

Uses of JmlVariableDefinition in org.jmlspecs.jmldoc.jmldoc_142

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

void	SpecWriter.visitJmlVariableDefinition(JmlVariableDefinition self) visits a variable declaration statement

Uses of JmlVariableDefinition in org.jmlspecs.jmlrac

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

void	RacPrettyPrinter.visitJmlVariableDefinition(JmlVariableDefinition self) Prints a JML variable declaration.