Uses of Class
org.multijava.mjc.JUnaryExpression

Packages that use JUnaryExpression

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.
org.multijava.mjc	Implements mjc, a MultiJava compiler.

Uses of JUnaryExpression in org.jmlspecs.checker

Subclasses of JUnaryExpression in org.jmlspecs.checker

class

JmlUnaryExpression This class represents unary expressions (unary plus, unary minus, bitwise complement, and logical not).

Methods in org.jmlspecs.checker that return JUnaryExpression

JUnaryExpression

JmlExpressionFactory.createUnaryExpression(antlr.Token op, TokenReference where, int oper, JExpression expr)

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

void	JmlAbstractVisitor.visitUnaryExpression(JUnaryExpression self) Visits the given unary expression.
void	JmlVisitorNI.visitUnaryExpression(JUnaryExpression self) visits an unary expression
void	JmlAccumSubclassingInfo.visitUnaryExpression(JUnaryExpression self)
void	JmlExpressionChecker.visitUnaryExpression(JUnaryExpression self) Checks visibility (and purity) of the given expression, self.

Uses of JUnaryExpression in org.jmlspecs.jmldoc.jmldoc_142

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

void	SpecWriter.visitUnaryExpression(JUnaryExpression self) visits an unary expression

Uses of JUnaryExpression in org.jmlspecs.jmlrac

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

void	RacPrettyPrinter.visitUnaryExpression(JUnaryExpression self) prints an unary expression
void	TransExpression.visitUnaryExpression(JUnaryExpression self) Translates a Java unary expression.
void	TransExpression2.visitUnaryExpression(JUnaryExpression self) Translates a JUnaryExpression expression into opr expr.

Uses of JUnaryExpression in org.jmlspecs.jmlrac.qexpr

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

void	AbstractExpressionVisitor.visitUnaryExpression(JUnaryExpression self) Visits the given unary expression, self.

Uses of JUnaryExpression in org.multijava.mjc

Methods in org.multijava.mjc that return JUnaryExpression

JUnaryExpression

JExpressionFactory.createUnaryExpression(antlr.Token op, TokenReference where, int oper, JExpression expr)

Methods in org.multijava.mjc with parameters of type JUnaryExpression

abstract void	MjcVisitor.visitUnaryExpression(JUnaryExpression self) visits an unary expression
void	MjcPrettyPrinter.visitUnaryExpression(JUnaryExpression self) prints an unary expression