Uses of Class
org.jmlspecs.checker.JmlSignalsClause

Packages that use JmlSignalsClause

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.

Uses of JmlSignalsClause in org.jmlspecs.checker

Methods in org.jmlspecs.checker that return JmlSignalsClause

JmlSignalsClause

JmlParser.jmlSignalsClause()

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

void	JmlAbstractVisitor.visitJmlSignalsClause(JmlSignalsClause self)
abstract void	JmlVisitor.visitJmlSignalsClause(JmlSignalsClause self)
void	JmlVisitorNI.visitJmlSignalsClause(JmlSignalsClause self)

Uses of JmlSignalsClause in org.jmlspecs.jmldoc.jmldoc_142

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

void	SpecWriter.visitJmlSignalsClause(JmlSignalsClause self)

Uses of JmlSignalsClause in org.jmlspecs.jmlrac

Methods in org.jmlspecs.jmlrac that return JmlSignalsClause

private JmlSignalsClause	DesugarSpec.defaultSignalsClause(TokenReference where) Returns a default signals clause for a normal specification.
private JmlSignalsClause	DesugarSpec.defaultSignalsClause(TokenReference where, CClassType[] exceptions) Returns a default signals clause for a lightweight specification whose method may throw the given exceptions.
JmlSignalsClause[]	TransMethod.SpecCase.exceptionalPostcondition() Returns the exceptional postcondition of this spec case.
private JmlSignalsClause	TransMethod.SpecCase.desugar(JmlSignalsOnlyClause sig) Desugars a signals_only clause into a signals clause.

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

void	RacPrettyPrinter.visitJmlSignalsClause(JmlSignalsClause self) Prints a JML signals clause
protected RacNode	TransMethod.translateSignalsClause(VarGenerator varGen, VarGenerator oldVarGen, JmlSignalsClause sigClause, String preVar, RacNode stmt, List oldExprs) Translates the given signals clause.