Package aterm :: Module visitor :: Class Visitor
[frames] | no frames]

Class Visitor




Base class for term visitors.

Instance Methods
 
__init__(self)
x.__init__(...) initializes x; see x.__class__.__doc__ for signature
 
visit(self, term, *args, **kargs)
Visit the given term.
 
visitTerm(self, term, *args, **kargs)
 
visitLit(self, term, *args, **kargs)
 
visitInt(self, term, *args, **kargs)
 
visitReal(self, term, *args, **kargs)
 
visitStr(self, term, *args, **kargs)
 
visitList(self, term, *args, **kargs)
 
visitNil(self, term, *args, **kargs)
 
visitCons(self, term, *args, **kargs)
 
visitAppl(self, term, *args, **kargs)

Inherited from object: __delattr__, __getattribute__, __hash__, __new__, __reduce__, __reduce_ex__, __repr__, __setattr__, __str__

Properties

Inherited from object: __class__

Method Details

__init__(self)
(Constructor)

 
x.__init__(...) initializes x; see x.__class__.__doc__ for signature
Overrides: object.__init__
(inherited documentation)