Uses of Class
org.jmlspecs.checker.JmlNonNullElementsExpression

Packages that use JmlNonNullElementsExpression

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.
org.jmlspecs.jmlrac.qexpr	Translates JML quantified expressions into Java source code to evaluate them at runtime.

Uses of JmlNonNullElementsExpression in org.jmlspecs.checker

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

void	JmlAbstractVisitor.visitJmlNonNullElementsExpression(JmlNonNullElementsExpression self)
abstract void	JmlVisitor.visitJmlNonNullElementsExpression(JmlNonNullElementsExpression self)
void	JmlVisitorNI.visitJmlNonNullElementsExpression(JmlNonNullElementsExpression self)
void	JmlExpressionChecker.visitJmlNonNullElementsExpression(JmlNonNullElementsExpression self) Checks visibility (and purity) of the given expression, self.
private static void	NonNullStatistics.handleNNElementExpr(JmlNonNullElementsExpression j, JmlContext context, String fn, int clause, boolean ifInvStatic)

Uses of JmlNonNullElementsExpression in org.jmlspecs.jmldoc.jmldoc_142

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

void	SpecWriter.visitJmlNonNullElementsExpression(JmlNonNullElementsExpression self)

Uses of JmlNonNullElementsExpression in org.jmlspecs.jmlrac

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

void	RacPrettyPrinter.visitJmlNonNullElementsExpression(JmlNonNullElementsExpression self) Prints a JML \nonnullelements expression.
void	TransExpression.visitJmlNonNullElementsExpression(JmlNonNullElementsExpression self) Translates a JML \nonnullelements expression.
void	TransExpression2.visitJmlNonNullElementsExpression(JmlNonNullElementsExpression self) NOT SUPPORTED Translates a JmlNonNullElementsExpression.

Uses of JmlNonNullElementsExpression in org.jmlspecs.jmlrac.qexpr

Methods in org.jmlspecs.jmlrac.qexpr with parameters of type JmlNonNullElementsExpression

void	AbstractExpressionVisitor.visitJmlNonNullElementsExpression(JmlNonNullElementsExpression self) Visits the given non-null element expression, self.