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

Packages that use JmlRepresentsClause

org.jmlspecs.jml4.ast
org.jmlspecs.jml4.rac

Uses of JmlRepresentsClause in org.jmlspecs.jml4.ast

Fields in org.jmlspecs.jml4.ast declared as JmlRepresentsClause

static JmlRepresentsClause[]

JmlRepresentsClause.EMPTY_REPRESENTS_ARRAY

Methods in org.jmlspecs.jml4.ast that return JmlRepresentsClause

JmlRepresentsClause[]

JmlTypeDeclaration.getRepresentsClauses()

Methods in org.jmlspecs.jml4.ast with parameters of type JmlRepresentsClause

void	JmlTypeDeclaration.setRepresentsClauses(JmlRepresentsClause[] clauses)

Uses of JmlRepresentsClause in org.jmlspecs.jml4.rac

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

void	JmlAstVisitor.endVisit(JmlRepresentsClause representsClause, CompilationUnitScope scope)
void	DefaultRacAstVisitor.endVisit(JmlRepresentsClause representsClause, CompilationUnitScope scope)
void	AstDirtyBitsRetriever.endVisit(JmlRepresentsClause representsClause, CompilationUnitScope scope)
void	AstDirtyBitsRestorer.endVisit(JmlRepresentsClause representsClause, CompilationUnitScope scope)
boolean	JmlAstVisitor.visit(JmlRepresentsClause representsClause, CompilationUnitScope scope) The first form of represents clauses (with <- or =) is called a functional abstraction.
boolean	DefaultRacAstVisitor.visit(JmlRepresentsClause representsClause, CompilationUnitScope scope)
boolean	AstDirtyBitsRetriever.visit(JmlRepresentsClause representsClause, CompilationUnitScope scope)
boolean	AstDirtyBitsRestorer.visit(JmlRepresentsClause representsClause, CompilationUnitScope scope)