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

Packages that use JmlModifier

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

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

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

void	ASTVisitor.endVisit(JmlModifier jmlModifier, BlockScope scope)
boolean	ASTVisitor.visit(JmlModifier jmlModifier, BlockScope scope)

Uses of JmlModifier in org.jmlspecs.jml4.rac

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

void	JmlAstVisitor.endVisit(JmlModifier jmlModifier, BlockScope scope)
void	AstDirtyBitsRetriever.endVisit(JmlModifier jmlModifier, BlockScope scope)
void	AstDirtyBitsRestorer.endVisit(JmlModifier jmlModifier, BlockScope scope)
boolean	JmlAstVisitor.visit(JmlModifier jmlModifier, BlockScope scope) In addition to the Java modifiers that can be legally attached to a class or interface definition [Gosling-etal00], in JML one can use the following modifiers.
boolean	AstDirtyBitsRetriever.visit(JmlModifier jmlModifier, BlockScope scope)
boolean	AstDirtyBitsRestorer.visit(JmlModifier jmlModifier, BlockScope scope)