transf :: lib :: path :: Annotate :: Class Annotate

Class Annotate

Transformation which annotates the path of terms and subterms for which the supplied transformation succeeds.

Instance Methods

__init__(self, operand=None, root=None)
Constructor.

apply(self, term, ctx)
Applies the transformation to the given term with the specified context.

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

Properties
Inherited from `object`: `__class__`

Method Details

Constructor.

Overrides: transformation.Transformation.__init__: (inherited documentation)

Applies the transformation to the given term with the specified context.