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

Packages that use JmlAssignableClause

org.jmlspecs.jml4.rac

Uses of JmlAssignableClause in org.jmlspecs.jml4.rac

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

void	JmlAstVisitor.endVisit(JmlAssignableClause jmlAssignableClause, BlockScope scope)
void	DefaultRacAstVisitor.endVisit(JmlAssignableClause jmlAssignableClause, BlockScope scope)
void	AstDirtyBitsRetriever.endVisit(JmlAssignableClause jmlAssignableClause, BlockScope scope)
void	AstDirtyBitsRestorer.endVisit(JmlAssignableClause jmlAssignableClause, BlockScope scope)
boolean	JmlAstVisitor.visit(JmlAssignableClause jmlAssignableClause, BlockScope scope) Gives a frame axiom for a specification.
boolean	DefaultRacAstVisitor.visit(JmlAssignableClause jmlAssignableClause, BlockScope scope)
boolean	AstDirtyBitsRetriever.visit(JmlAssignableClause jmlAssignableClause, BlockScope scope)
boolean	AstDirtyBitsRestorer.visit(JmlAssignableClause jmlAssignableClause, BlockScope scope)