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

Packages that use JmlSetStatement

org.eclipse.jdt.internal.compiler
org.jmlspecs.jml4.rac

Uses of JmlSetStatement in org.eclipse.jdt.internal.compiler

Methods in org.eclipse.jdt.internal.compiler with parameters of type JmlSetStatement

boolean	ASTVisitor.endVisit(JmlSetStatement setStatement, BlockScope scope)
boolean	ASTVisitor.visit(JmlSetStatement setStatement, BlockScope scope)

Uses of JmlSetStatement in org.jmlspecs.jml4.rac

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

void	InlineAssertionVisitor.checkJmlStatement(JmlSetStatement stmt)
boolean	JmlAstVisitor.endVisit(JmlSetStatement jmlSetStatement, BlockScope scope)
boolean	DefaultRacAstVisitor.endVisit(JmlSetStatement jmlSetStatement, BlockScope scope)
boolean	AstDirtyBitsRetriever.endVisit(JmlSetStatement jmlSetStatement, BlockScope scope)
boolean	AstDirtyBitsRestorer.endVisit(JmlSetStatement jmlSetStatement, BlockScope scope)
boolean	JmlAstVisitor.visit(JmlSetStatement jmlSetStatement, BlockScope scope) Is the equivalent of an assignment statement but is within an annotation.
boolean	InlineAssertionVisitor.visit(JmlSetStatement stmt, BlockScope scope) Overridden here to visit and translate the given JML set statement into RAC code.
boolean	DefaultRacAstVisitor.visit(JmlSetStatement jmlSetStatement, BlockScope scope)
boolean	AstDirtyBitsRetriever.visit(JmlSetStatement jmlSetStatement, BlockScope scope)
boolean	AstDirtyBitsRestorer.visit(JmlSetStatement jmlSetStatement, BlockScope scope)