transf :: lib :: path :: Project :: Class Project
[frames] | no frames]

Class Project




Projects a subterm along a path.

Instance Methods
 
__init__(self, path)
Constructor.
 
apply(self, term, ctx)
Applies the transformation to the given term with the specified context.

Inherited from transformation.Transformation: __add__, __call__, __mul__, __neg__, __pos__, __pow__, __repr__

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

Properties

Inherited from object: __class__

Method Details

__init__(self, path)
(Constructor)

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

apply(self, term, ctx)

 
Applies the transformation to the given term with the specified context.
Returns:
The transformed term on success.
Overrides: transformation.Transformation.apply
(inherited documentation)