Uses of Class
org.jmlspecs.jml4.ast.JmlSignalsOnlyClause

Packages that use JmlSignalsOnlyClause

org.jmlspecs.jml4.rac

Uses of JmlSignalsOnlyClause in org.jmlspecs.jml4.rac

Methods in org.jmlspecs.jml4.rac with parameters of type JmlSignalsOnlyClause

void	JmlAstVisitor.endVisit(JmlSignalsOnlyClause jmlSignalsOnlyClause, BlockScope scope)
void	DefaultRacAstVisitor.endVisit(JmlSignalsOnlyClause jmlSignalsOnlyClause, BlockScope scope)
void	AstDirtyBitsRetriever.endVisit(JmlSignalsOnlyClause jmlSignalsOnlyClause, BlockScope scope)
void	AstDirtyBitsRestorer.endVisit(JmlSignalsOnlyClause jmlSignalsOnlyClause, BlockScope scope)
boolean	JmlAstVisitor.visit(JmlSignalsOnlyClause jmlSignalsOnlyClause, BlockScope scope) Is an abbreviation for a signals-clause that specifies what exceptions may be thrown by a method, and thus, implicitly, what exceptions may not be thrown.
boolean	DefaultRacAstVisitor.visit(JmlSignalsOnlyClause jmlSignalsOnlyClause, BlockScope scope)
boolean	AstDirtyBitsRetriever.visit(JmlSignalsOnlyClause jmlSignalsOnlyClause, BlockScope scope)
boolean	AstDirtyBitsRestorer.visit(JmlSignalsOnlyClause jmlSignalsOnlyClause, BlockScope scope)