Module org.kink_lang.kink

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

Class LetRecProducer

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.LetRecProducer

All Implemented Interfaces:

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

public class LetRecProducer
extends BaseOptimizer

Converts :foo <- { ,,, } to letrec.

This optimizer must not be used within IndexFunItree. Because if an assignment in IndexFunItree is in the form above, it is already a result by LetInliner, and thus the rhs fun must not capture the lvar in the lhs recursively.

Constructor Summary

Constructors

Constructor	Description
LetRecProducer()

Method Summary

Modifier and Type	Method	Description
Itree	visit(LstoreItree lstore)	Visits a lstore 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

LetRecProducer

public LetRecProducer()

Method Details

visit

public Itree visit(LstoreItree lstore)

Description copied from interface: ItreeVisitor

Visits a lstore itree.

Specified by:

visit in interface ItreeVisitor<Itree>

Overrides:

visit in class SkeltonItreeVisitor<Itree>

Parameters:

lstore - the lstore itree.

Returns:

the result.