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

Packages that use JmlSetComprehension

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

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

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

void	ASTVisitor.endVisit(JmlSetComprehension jmlSetComprehension, BlockScope scope)
boolean	ASTVisitor.visit(JmlSetComprehension jmlSetComprehension, BlockScope scope)

Uses of JmlSetComprehension in org.jmlspecs.jml4.rac

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

void	JmlAstVisitor.endVisit(JmlSetComprehension jmlSetComprehension, BlockScope scope)
void	AstDirtyBitsRetriever.endVisit(JmlSetComprehension jmlSetComprehension, BlockScope scope)
void	AstDirtyBitsRestorer.endVisit(JmlSetComprehension jmlSetComprehension, BlockScope scope)
boolean	JmlAstVisitor.visit(JmlSetComprehension jmlSetComprehension, BlockScope scope) It is used to succinctly define sets.
boolean	AstDirtyBitsRetriever.visit(JmlSetComprehension jmlSetComprehension, BlockScope scope)
boolean	AstDirtyBitsRestorer.visit(JmlSetComprehension jmlSetComprehension, BlockScope scope)