Uses of Interface
org.kink_lang.kink.internal.program.itree.ItreeElem

Packages that use ItreeElem

Package	Description
org.kink_lang.kink.internal.program.itree	Itree (intermediate tree) representation of Kink programs.

Uses of ItreeElem in org.kink_lang.kink.internal.program.itree

Subinterfaces of ItreeElem in org.kink_lang.kink.internal.program.itree

Modifier and Type	Interface	Description
interface	Itree	Itree (intermediate tree) representation of Kink programs.
interface	ItreeWithRhs	Itree which supports itree.rhs().

Classes in org.kink_lang.kink.internal.program.itree that implement ItreeElem

Modifier and Type	Class	Description
final record	ArgsPassingItree	Itree for args passing such as [:X :Y :Z] <- \args.
final record	ArgVecItree	A context arg vec itree.
final record	AssignmentItree	Itree of an assignment.
final record	BiArithmeticItree	An arithmetic operation whose second operand is a number literal.
final record	BindingItree	An itree of a context binding.
final record	BranchItree	Invocation of branch in the following form.
final record	BranchWithElseItree	Invocation of branch in the following form.
final record	DerefItree	A deref itree.
class	FastFunItree	A fun in SSA (static single assignment) form.
final record	IfItree	An itree of invocation of if preloaded fun.
static final record	ItreeElem.Spread	ItreeElem of SPREAD type.
final record	LderefItree	A lderef itree.
final record	LetRecItree	Letrec itree.
final record	LstoreItree	Itree of local var assignment such as :X <- 42.
final record	McallItree	A mcall itree.
final record	NadaItree	A nada itree.
final record	NestedArgsPassingItree	Itree of an args passing in the form [:X [:A :B] :Y] <- \args.
final record	NestedVecAssignmentItree	Itree of an args passing in the form [:X [:A :B] :Y] <- Rhs.
final record	NoTraitNewValItree	Itree of new_val('X' x 'Y' y).
final record	NumItree	A num itree.
final record	OptRestVecAssignmentItree	Assignment in the form [:A :B :C.opt :D.opt :R.rest] <- xxx.
final record	OptVecAssignmentItree	Assignment in the form [:A :B :C.opt :D.opt] <- xxx.
final record	RecvItree	A context recv itree.
final record	RestVecAssignmentItree	Assignment to a vec in the form [:R.rest] <- xxx.
final record	SeqItree	An itree of sequential evaluation; that corresponds to a not-empty seq node.
final record	SlowFunItree	A fun itree which is not in SSA (static single assignment) form.
final record	StoreItree	Itree of nonlocal var assignment such as B:X <- 42.
final record	StrItree	A str itree.
final record	SymcallItree	A fun call which is not a method call, and has a sym.
final record	TraitNewValItree	Itree of new_val(...
final record	VarrefItree	A varref itree.
final record	VarrefVecAssignmentItree	Assignment in the form [:Foo X:Bar] <- Rhs.
final record	VecItree	A vec itree.

Methods in org.kink_lang.kink.internal.program.itree that return types with arguments of type ItreeElem

Modifier and Type	Method	Description
List<ItreeElem>	McallItree.args()	Returns the value of the args record component.
List<ItreeElem>	SymcallItree.args()	Returns the value of the args record component.
List<ItreeElem>	VecItree.elems()	Returns the value of the elems record component.

Constructor parameters in org.kink_lang.kink.internal.program.itree with type arguments of type ItreeElem

Modifier	Constructor	Description
	McallItree(Itree ownerRecv, String sym, List<ItreeElem> args, int pos)	Constructs a mcall itree.
	SymcallItree(Itree fun, String sym, Itree recv, List<ItreeElem> args, int pos)	Constructs an itree.
	VecItree(List<ItreeElem> elems, int pos)	Constructs a vec itree.