Uses of Class
org.jmlspecs.checker.JmlAssumeStatement

Packages that use JmlAssumeStatement

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.

Uses of JmlAssumeStatement in org.jmlspecs.checker

Fields in org.jmlspecs.checker declared as JmlAssumeStatement

private JmlAssumeStatement

JmlGuardedStatement.assumeStatement

Methods in org.jmlspecs.checker that return JmlAssumeStatement

JmlAssumeStatement	JmlGuardedStatement.assumeStatement()
JmlAssumeStatement	JmlParser.jmlAssumeStatement()

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

void	JmlAbstractVisitor.visitJmlAssumeStatement(JmlAssumeStatement self)
abstract void	JmlVisitor.visitJmlAssumeStatement(JmlAssumeStatement self)
void	JmlVisitorNI.visitJmlAssumeStatement(JmlAssumeStatement self)
void	JmlAccumSubclassingInfo.visitJmlAssumeStatement(JmlAssumeStatement self)

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

JmlGuardedStatement(TokenReference where, JmlAssumeStatement assumeStatement, JStatement[] statements)

Uses of JmlAssumeStatement in org.jmlspecs.jmlrac

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

void	RacPrettyPrinter.visitJmlAssumeStatement(JmlAssumeStatement self) Prints a JML assume statement.
void	TransMethodBody.visitJmlAssumeStatement(JmlAssumeStatement self) Translates the JML assume statement and stores the translated assertion check code into the AST node.