Package aterm :: Module write :: Class Writer

Class Writer

Base class for term writers.

Instance Methods

__init__(self, fp)
x.__init__(...) initializes x; see x.__class__.__doc__ for signature

Inherited from visitor.Visitor: visit, visitAppl, visitCons, visitInt, visitList, visitLit, visitNil, visitReal, visitStr, visitTerm

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

Properties
Inherited from `object`: `__class__`

Method Details

init(self, fp)
(Constructor)

x.__init__(...) initializes x; see x.__class__.__doc__ for signature

Overrides: visitor.Visitor.__init__

Class Writer

__init__(self, fp) (Constructor)

init(self, fp)
(Constructor)