Uses of Class
org.multijava.mjc.JIfStatement

Packages that use JIfStatement

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

Methods in org.jmlspecs.checker that return JIfStatement

JIfStatement

JmlParser.jIfStatement()

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

void	JmlAbstractVisitor.visitIfStatement(JIfStatement self) Visits the given if statement.
void	JmlVisitorNI.visitIfStatement(JIfStatement self) visits a if statement
void	JmlAccumSubclassingInfo.visitIfStatement(JIfStatement self)

Uses of JIfStatement in org.jmlspecs.jmldoc.jmldoc_142

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

void	SpecWriter.visitIfStatement(JIfStatement self) visits a if statement

Uses of JIfStatement in org.jmlspecs.jmlrac

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

void	TransMethodBody.visitIfStatement(JIfStatement self) Translates the given Java if statement.

Uses of JIfStatement in org.multijava.mjc

Fields in org.multijava.mjc declared as JIfStatement

private JIfStatement	JMethodCallExpression.repTest
private JIfStatement	JAssignmentExpression.arrayStoreTest
private JIfStatement	JCastExpression.test

Methods in org.multijava.mjc that return JIfStatement

JIfStatement

MjcParser.jIfStatement()

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

abstract void	MjcVisitor.visitIfStatement(JIfStatement self) visits a if statement
void	MjcPrettyPrinter.visitIfStatement(JIfStatement self) prints a if statement