Module org.kink_lang.kink

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

package org.kink_lang.kink.internal.program.itree

Itree (intermediate tree) representation of Kink programs.

Usually, itrees are translated from AST representation, and after optimization is applied, they are translated into instruction sequence. By existence of itree representation, ASTs can be separated from evaluation details.

Itree is similar to GENERIC/GIMPLE in GCC.

Class	Description
ArgsPassingItree	Itree for args passing such as [:X :Y :Z] <- \args.
ArgVecItree	A context arg vec itree.
AssignmentItree	Itree of an assignment.
BiArithmeticItree	An arithmetic operation whose second operand is a number literal.
BiArithmeticItree.Op	Type of arithmetic operations.
BindingItree	An itree of a context binding.
BranchItree	Invocation of branch in the following form.
BranchWithElseItree	Invocation of branch in the following form.
CondThenPair	Cond-then pair of branch.
ContentAnalysis	Analyzes contents of local vars in ssa-funs.
DeepTransformer	Transforms an itree traversing the sub itrees in the evaluation order.
DeepTransformer.Callback	Callback for DeepTransformer.deepTransform(Itree, Callback).
DerefItree	A deref itree.
FastFunItree	A fun in SSA (static single assignment) form.
GenericVar	Generic var.
IfItree	An itree of invocation of if preloaded fun.
Itree	Itree (intermediate tree) representation of Kink programs.
ItreeElem	An elem of vec bodies or actual args.
ItreeElem.Spread	ItreeElem of SPREAD type.
ItreeVisitor<T>	A visitor of Itrees.
ItreeWithRhs	Itree which supports itree.rhs().
LderefItree	A lderef itree.
LetRecItree	Letrec itree.
LetRecItree.LvarFunPair	Pair of local var and the corresponding fun.
LocalVar	Sym of a local var.
LocalVar.Generated	Sym generated during SSA-conversion.
LocalVar.Original	Sym which is specified by the program.
LocalVarContent	Analyzed content of a local var.
LocalVarContent.Alias	Another local var.
LocalVarContent.Arg	The indexed arg in the fun.
LocalVarContent.Recv	The recv in the fun.
LocalVarContent.Unknown	Unknown content.
LstoreItree	Itree of local var assignment such as :X <- 42.
McallItree	A mcall itree.
NadaItree	A nada itree.
NestedArgsPassingItree	Itree of an args passing in the form [:X [:A :B] :Y] <- \args.
NestedParam	Algebraic data type of params of NestedArgsPassingItree.
NestedParam.Tuple	Param which is a tuple of lvars.
NestedVecAssignmentItree	Itree of an args passing in the form [:X [:A :B] :Y] <- Rhs.
NodeToItreeTranslator	A function which translates an AST node into an itree.
NoTraitNewValItree	Itree of new_val('X' x 'Y' y).
NumItree	A num itree.
OptRestVecAssignmentItree	Assignment in the form [:A :B :C.opt :D.opt :R.rest] <- xxx.
OptVecAssignmentItree	Assignment in the form [:A :B :C.opt :D.opt] <- xxx.
RecvItree	A context recv itree.
RestVecAssignmentItree	Assignment to a vec in the form [:R.rest] <- xxx.
SeqItree	An itree of sequential evaluation; that corresponds to a not-empty seq node.
SkeltonItreeVisitor<T>	An itree visitor with a default make.
SlowFunItree	A fun itree which is not in SSA (static single assignment) form.
StoreItree	Itree of nonlocal var assignment such as B:X <- 42.
StrItree	A str itree.
SymcallItree	A fun call which is not a method call, and has a sym.
SymValPair	Sym-val pair of new_val.
TraitNewValItree	Itree of new_val(...
UsedDefinedVars	Provides access to used/defined local vars in a fun.
VarrefItree	A varref itree.
VarrefParam	Algebraic data type of a varref param: local(name) | generic(owner, name).
VarrefVecAssignmentItree	Assignment in the form [:Foo X:Bar] <- Rhs.
VecItree	A vec itree.