Module org.kink_lang.kink

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

Class LstoreOptimizer

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

All Implemented Interfaces:

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

public class LstoreOptimizer
extends BaseOptimizer

Optimizer from :Val <- 42 to an LSTORE itree.

Constructor Summary

Constructors

Constructor	Description
LstoreOptimizer()

Method Summary

Modifier and Type	Method	Description
Itree	visit(StoreItree store)	Visists a store 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

LstoreOptimizer

public LstoreOptimizer()

Method Details

visit

public Itree visit(StoreItree store)

Description copied from interface: ItreeVisitor

Visists a store itree.

Specified by:

visit in interface ItreeVisitor<Itree>

Overrides:

visit in class SkeltonItreeVisitor<Itree>

Parameters:

store - the store itree.

Returns:

the result.