Uses of Class
org.multijava.mjc.JAssertStatement

Packages that use JAssertStatement

org.jmlspecs.checker	Contains the source code for a parser and typechecker for JML annotations and java code.
org.jmlspecs.jmlrac	Generates Java classes from JML specifications that check assertions at runtime.
org.multijava.mjc	Implements mjc, a MultiJava compiler.

Uses of JAssertStatement in org.jmlspecs.checker

Methods in org.jmlspecs.checker that return JAssertStatement

JAssertStatement

JmlParser.jAssertStatement()

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

void	JmlAbstractVisitor.visitAssertStatement(JAssertStatement self) Visits the given assert statement.
void	JmlVisitorNI.visitAssertStatement(JAssertStatement self) Visits the given assert statement.
void	JmlAccumSubclassingInfo.visitAssertStatement(JAssertStatement self)

Uses of JAssertStatement in org.jmlspecs.jmlrac

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

void	TransMethodBody.visitAssertStatement(JAssertStatement self) Translates the given Java assert statement.

Uses of JAssertStatement in org.multijava.mjc

Methods in org.multijava.mjc that return JAssertStatement

JAssertStatement

MjcParser.jAssertStatement()

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

abstract void	MjcVisitor.visitAssertStatement(JAssertStatement self) Visits a while statement.
void	MjcPrettyPrinter.visitAssertStatement(JAssertStatement self) Prints a assert statement