Module org.kink_lang.kink

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

Class FunMcallToSymcallOptimizer

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

All Implemented Interfaces:

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

public class FunMcallToSymcallOptimizer
extends BaseOptimizer

Converts method call of Fun.call to symcall.

For example:

 { callee }.call(R [X Y Z])

 into

 { callee }!call![R](X Y Z)
 

This is a precursor of LetSymcallInliner.

Constructor Summary

Constructors

Constructor	Description
FunMcallToSymcallOptimizer()

Method Summary

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

FunMcallToSymcallOptimizer

public FunMcallToSymcallOptimizer()

Method Details

visit

public Itree visit(McallItree mcall)

Description copied from interface: ItreeVisitor

Visits a mcall itree.

Specified by:

visit in interface ItreeVisitor<Itree>

Overrides:

visit in class SkeltonItreeVisitor<Itree>

Parameters:

mcall - the mcall itree.

Returns:

the result.