Uses of Class
org.jmlspecs.checker.JmlNotModifiedExpression

Packages that use JmlNotModifiedExpression

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

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

void	JmlAbstractVisitor.visitJmlNotModifiedExpression(JmlNotModifiedExpression self)
abstract void	JmlVisitor.visitJmlNotModifiedExpression(JmlNotModifiedExpression self)
void	JmlVisitorNI.visitJmlNotModifiedExpression(JmlNotModifiedExpression self)
void	JmlExpressionChecker.visitJmlNotModifiedExpression(JmlNotModifiedExpression self) Checks visibility (and purity) of the given expression, self.

Uses of JmlNotModifiedExpression in org.jmlspecs.jmldoc.jmldoc_142

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

void	SpecWriter.visitJmlNotModifiedExpression(JmlNotModifiedExpression self)

Uses of JmlNotModifiedExpression in org.jmlspecs.jmlrac

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

void	RacPrettyPrinter.visitJmlNotModifiedExpression(JmlNotModifiedExpression self) Prints a JML \not_modified expression.
void	TransExpression.visitJmlNotModifiedExpression(JmlNotModifiedExpression self) Translates a JML \not_modified expression.
void	TransExpression2.visitJmlNotModifiedExpression(JmlNotModifiedExpression self) Translates a JmlNotModifiedExpression expression.