Uses of Interface
org.jmlspecs.jml4.rac.JmlAstVisitor

Packages that use JmlAstVisitor

org.jmlspecs.jml4.rac

Uses of JmlAstVisitor in org.jmlspecs.jml4.rac

Subinterfaces of JmlAstVisitor in org.jmlspecs.jml4.rac

interface

RacAstVisitor

Classes in org.jmlspecs.jml4.rac that implement JmlAstVisitor

class	AstDirtyBitsRestorer
class	AstDirtyBitsRetriever
class	DefaultRacAstVisitor A concrete visitor class for the interface RacAstVisitor.
class	DesugarSpec A JML visitor class for desugaring method specifications.
class	JmlNullifier
class	ResolutionNullifier A visitor to nullify various resolutions such as type binding done on JML AST nodes.