Uses of Interface
org.kink_lang.kink.internal.program.itree.DeepTransformer.Callback

Packages that use DeepTransformer.Callback

Package	Description
org.kink_lang.kink.internal.program.itree	Itree (intermediate tree) representation of Kink programs.
org.kink_lang.kink.internal.program.itreeoptimize.ssafy	Conversion of an itree to SSA - Static Single Assignment - form.

Uses of DeepTransformer.Callback in org.kink_lang.kink.internal.program.itree

Methods in org.kink_lang.kink.internal.program.itree with parameters of type DeepTransformer.Callback

Modifier and Type	Method	Description
static Itree	DeepTransformer.deepTransform(Itree itree, DeepTransformer.Callback callback)	Transforms itree traversing the sub itrees in the evaluation order.

Uses of DeepTransformer.Callback in org.kink_lang.kink.internal.program.itreeoptimize.ssafy

Classes in org.kink_lang.kink.internal.program.itreeoptimize.ssafy that implement DeepTransformer.Callback

Modifier and Type	Class	Description
class	SsaChecker	Determines whether a fun can be converted to SSA.
static class	Ssafier.Callback	Callback for conversion.