Uses of Class
org.multijava.mjc.JExpressionStatement

Packages that use JExpressionStatement

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

Uses of JExpressionStatement in org.jmlspecs.checker

Fields in org.jmlspecs.checker declared as JExpressionStatement

private JExpressionStatement

JmlAssignmentStatement.assignmentStatement

Methods in org.jmlspecs.checker that return JExpressionStatement

JExpressionStatement

JmlAssignmentStatement.assignmentStatement() Returns the assignment expression of this assignment statement.

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

void	JmlAbstractVisitor.visitExpressionStatement(JExpressionStatement self) Visits the given expression statement.
void	JmlVisitorNI.visitExpressionStatement(JExpressionStatement self) visits an expression statement
void	JmlAccumSubclassingInfo.visitExpressionStatement(JExpressionStatement self)

Constructors in org.jmlspecs.checker with parameters of type JExpressionStatement

JmlAssignmentStatement(JExpressionStatement assignmentStatement)

Uses of JExpressionStatement in org.jmlspecs.jmldoc.jmldoc_142

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

void	SpecWriter.visitExpressionStatement(JExpressionStatement self) visits an expression statement

Uses of JExpressionStatement in org.jmlspecs.jmlrac

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

void	TransMethodBody.visitExpressionStatement(JExpressionStatement self) Translates the given Java expression statement.

Uses of JExpressionStatement in org.multijava.mjc

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

abstract void	MjcVisitor.visitExpressionStatement(JExpressionStatement self) visits an expression statement
void	MjcPrettyPrinter.visitExpressionStatement(JExpressionStatement self) prints an expression statement