Module org.kink_lang.kink

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

Class Ssafier.Callback

java.lang.Object

org.kink_lang.kink.internal.program.itreeoptimize.ssafy.Ssafier.Callback

All Implemented Interfaces:

DeepTransformer.Callback

Enclosing class:

Ssafier

public static class Ssafier.Callback
extends Object
implements DeepTransformer.Callback

Callback for conversion. Callback instance is created for each level of FastFunItree.

Method Summary

Modifier and Type	Method	Description
LocalVar	derefLvar(LocalVar lvar)	Transforms dereference of a local var.
Itree	itree(Itree itree)	Transforms the itree.
LocalVar	storeLvar(LocalVar lvar)	Transforms storing to a local var.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Details

derefLvar

public LocalVar derefLvar(LocalVar lvar)

Description copied from interface: DeepTransformer.Callback

Transforms dereference of a local var.

Dereference of NoTraitNewValItree, TraitNewValItree, IfItree, BranchItree, and BranchWithElseItree must not be transformed.

Specified by:

derefLvar in interface DeepTransformer.Callback

Parameters:

lvar - the local var.

Returns:

the result of transformation.

storeLvar

public LocalVar storeLvar(LocalVar lvar)

Description copied from interface: DeepTransformer.Callback

Transforms storing to a local var.

Specified by:

storeLvar in interface DeepTransformer.Callback

Parameters:

lvar - the original local var to be transformed.

Returns:

the result of transformation.

itree

public Itree itree(Itree itree)

Description copied from interface: DeepTransformer.Callback

Transforms the itree.

If itree is FastFunItree, the result must also be FastFunItree.

Specified by:

itree in interface DeepTransformer.Callback

Parameters:

itree - the itree to be transformed.

Returns:

the result of transformation.