Module org.kink_lang.kink

Package org.kink_lang.kink.internal.program.itree

Interface DeepTransformer.Callback

All Known Implementing Classes:

SsaChecker, Ssafier.Callback

Enclosing class:

DeepTransformer

public static interface DeepTransformer.Callback

Callback for DeepTransformer.deepTransform(Itree, Callback).

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.

Method Details

derefLvar

LocalVar derefLvar(LocalVar lvar)

Transforms dereference of a local var.

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

Parameters:

lvar - the local var.

Returns:

the result of transformation.

storeLvar

LocalVar storeLvar(LocalVar lvar)

Transforms storing to a local var.

Parameters:

lvar - the original local var to be transformed.

Returns:

the result of transformation.

itree

Itree itree(Itree itree)

Transforms the itree.

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

Parameters:

itree - the itree to be transformed.

Returns:

the result of transformation.