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

Packages that use JmlClinit

org.jmlspecs.jml4.rac

Uses of JmlClinit in org.jmlspecs.jml4.rac

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

void	JmlAstVisitor.endVisit(JmlClinit clinit, ClassScope scope)
void	DefaultRacAstVisitor.endVisit(JmlClinit clinit, ClassScope scope)
void	AstDirtyBitsRetriever.endVisit(JmlClinit clinit, ClassScope scope)
void	AstDirtyBitsRestorer.endVisit(JmlClinit clinit, ClassScope scope)
boolean	JmlAstVisitor.visit(JmlClinit clinit, ClassScope scope)
boolean	DefaultRacAstVisitor.visit(JmlClinit clinit, ClassScope scope)
boolean	AstDirtyBitsRetriever.visit(JmlClinit clinit, ClassScope scope)
boolean	AstDirtyBitsRestorer.visit(JmlClinit clinit, ClassScope scope)