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

Packages that use JavaAstVisitor

org.jmlspecs.jml4.rac

Uses of JavaAstVisitor in org.jmlspecs.jml4.rac

Subinterfaces of JavaAstVisitor in org.jmlspecs.jml4.rac

interface	JmlAstVisitor An AST Visitor interface for visiting every Jml-type node.
interface	RacAstVisitor

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

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.