Module org.kink_lang.kink

Package org.kink_lang.kink.internal.program.itreeoptimize

Class ContentPropagator

java.lang.Object

org.kink_lang.kink.internal.program.itree.SkeltonItreeVisitor<Itree>

org.kink_lang.kink.internal.program.itreeoptimize.BaseOptimizer

org.kink_lang.kink.internal.program.itreeoptimize.ContentPropagator

All Implemented Interfaces:

Function<Itree,Itree>, UnaryOperator<Itree>, ItreeVisitor<Itree>

public class ContentPropagator
extends BaseOptimizer

Propagates the content of local var in its dereference.

Constructor Summary

Constructors

Constructor	Description
ContentPropagator(Map<LocalVar,LocalVarContent> lvarContentMapping)	Constructs an optimizer.

Method Summary

Modifier and Type	Method	Description
Itree	visit(LderefItree lderef)	Visits a lderef itree.

Methods inherited from class org.kink_lang.kink.internal.program.itreeoptimize.BaseOptimizer

apply

Methods inherited from class org.kink_lang.kink.internal.program.itree.SkeltonItreeVisitor

visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit

Methods inherited from class java.lang.Object

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

Methods inherited from interface java.util.function.Function

andThen, compose

Constructor Details

ContentPropagator

public ContentPropagator(Map<LocalVar,LocalVarContent> lvarContentMapping)

Constructs an optimizer.

Parameters:

lvarContentMapping - mapping from the local var to the content.

Method Details

visit

public Itree visit(LderefItree lderef)

Description copied from interface: ItreeVisitor

Visits a lderef itree.

Specified by:

visit in interface ItreeVisitor<Itree>

Overrides:

visit in class SkeltonItreeVisitor<Itree>

Parameters:

lderef - the lderef itree.

Returns:

the result.