Module org.kink_lang.kink

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

Class SsafyOptimizer

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

All Implemented Interfaces:

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

public class SsafyOptimizer
extends BaseOptimizer

Converts a fun to SSA form if possible.

Constructor Summary

Constructors

Constructor	Description
SsafyOptimizer(Supplier<String> uniqSupplier)	Constructs an optimizer.

Method Summary

Modifier and Type	Method	Description
Itree	visit(SlowFunItree itree)	Visits a fun 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

SsafyOptimizer

public SsafyOptimizer(Supplier<String> uniqSupplier)

Constructs an optimizer.

Parameters:

uniqSupplier - a supplier of unique strings.

Method Details

visit

public Itree visit(SlowFunItree itree)

Description copied from interface: ItreeVisitor

Visits a fun itree.

Specified by:

visit in interface ItreeVisitor<Itree>

Overrides:

visit in class SkeltonItreeVisitor<Itree>

Parameters:

itree - the fun itree.

Returns:

the result.