Module org.kink_lang.kink

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

Class StoreOptimizer

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

All Implemented Interfaces:

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

public class StoreOptimizer
extends BaseOptimizer

Optimizer from B:X <- 42 to a STORE itree.

Constructor Summary

Constructors

Constructor	Description
StoreOptimizer()

Method Summary

Modifier and Type	Method	Description
Itree	visit(AssignmentItree assignment)	Visits an assignment 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

StoreOptimizer

public StoreOptimizer()

Method Details

visit

public Itree visit(AssignmentItree assignment)

Description copied from interface: ItreeVisitor

Visits an assignment itree.

Specified by:

visit in interface ItreeVisitor<Itree>

Overrides:

visit in class SkeltonItreeVisitor<Itree>

Parameters:

assignment - the assignment itree.

Returns:

the result.