Module org.kink_lang.kink

Package org.kink_lang.kink.internal.program.itree

Class DeepTransformer

java.lang.Object

org.kink_lang.kink.internal.program.itree.DeepTransformer

public final class DeepTransformer
extends Object

Transforms an itree traversing the sub itrees in the evaluation order.

Note that body itrees in funs are not traversed.

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static interface	DeepTransformer.Callback	Callback for deepTransform(Itree, Callback).

Method Summary

Modifier and Type	Method	Description
static Itree	deepTransform(Itree itree, DeepTransformer.Callback callback)	Transforms itree traversing the sub itrees in the evaluation order.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Details

deepTransform

public static Itree deepTransform(Itree itree,
 DeepTransformer.Callback callback)

Transforms itree traversing the sub itrees in the evaluation order.

Note that body itrees of funs are not traversed.

Parameters:

itree - the itree to be transformed.

callback - the callback.

Returns:

the result of transformation.