Module org.kink_lang.kink

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

Class NodeToItreeTranslator

java.lang.Object

org.kink_lang.kink.internal.program.itree.NodeToItreeTranslator

All Implemented Interfaces:

Function<Expr,Itree>

public class NodeToItreeTranslator
extends Object
implements Function<Expr,Itree>

A function which translates an AST node into an itree.

Constructor Summary

Constructors

Constructor	Description
NodeToItreeTranslator()

Method Summary

Modifier and Type	Method	Description
Itree	apply(Expr expr)	Translates an AST node to an itree.

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

NodeToItreeTranslator

public NodeToItreeTranslator()

Method Details

apply

public Itree apply(Expr expr)

Translates an AST node to an itree.

Specified by:

apply in interface Function<Expr,Itree>

Parameters:

expr - the AST node to translate.

Returns:

the itree translated from the AST node.