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

Packages that use org.kink_lang.kink.internal.program.itree

Package	Description
org.kink_lang.kink.internal.compile	Compiles itree to FunVal by runtime bytecode generation.
org.kink_lang.kink.internal.compile.javaclassir	Intermediate representation before JVM byte code compilation.
org.kink_lang.kink.internal.program.itree	Itree (intermediate tree) representation of Kink programs.
org.kink_lang.kink.internal.program.itreeoptimize	Provides optimizers of itrees.
org.kink_lang.kink.internal.program.itreeoptimize.ssafy	Conversion of an itree to SSA - Static Single Assignment - form.

Classes in org.kink_lang.kink.internal.program.itree used by org.kink_lang.kink.internal.compile

Class	Description
Itree	Itree (intermediate tree) representation of Kink programs.

Classes in org.kink_lang.kink.internal.program.itree used by org.kink_lang.kink.internal.compile.javaclassir

Class	Description
BranchItree	Invocation of branch in the following form.
BranchWithElseItree	Invocation of branch in the following form.
FastFunItree	A fun in SSA (static single assignment) form.
IfItree	An itree of invocation of if preloaded fun.
Itree	Itree (intermediate tree) representation of Kink programs.
LetRecItree	Letrec itree.
LocalVar	Sym of a local var.
NoTraitNewValItree	Itree of new_val('X' x 'Y' y).
SlowFunItree	A fun itree which is not in SSA (static single assignment) form.
TraitNewValItree	Itree of new_val(...
UsedDefinedVars	Provides access to used/defined local vars in a fun.

Classes in org.kink_lang.kink.internal.program.itree used by org.kink_lang.kink.internal.program.itree

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.
DeepTransformer.Callback	Callback for DeepTransformer.deepTransform(Itree, Callback).
DerefItree	A deref itree.
FastFunItree	A fun in SSA (static single assignment) form.
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.
ItreeVisitor	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.
LocalVarContent	Analyzed content of a local var.
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.
NestedVecAssignmentItree	Itree of an args passing in the form [:X [:A :B] :Y] <- Rhs.
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.
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.

Classes in org.kink_lang.kink.internal.program.itree used by org.kink_lang.kink.internal.program.itreeoptimize

Class	Description
AssignmentItree	Itree of an assignment.
DerefItree	A deref itree.
FastFunItree	A fun in SSA (static single assignment) form.
Itree	Itree (intermediate tree) representation of Kink programs.
ItreeVisitor	A visitor of Itrees.
ItreeWithRhs	Itree which supports itree.rhs().
LderefItree	A lderef itree.
LetRecItree	Letrec itree.
LocalVar	Sym of a local var.
LocalVarContent	Analyzed content of a local var.
LstoreItree	Itree of local var assignment such as :X <- 42.
McallItree	A mcall itree.
NestedArgsPassingItree	Itree of an args passing in the form [:X [:A :B] :Y] <- \args.
OptRestVecAssignmentItree	Assignment in the form [:A :B :C.opt :D.opt :R.rest] <- xxx.
SeqItree	An itree of sequential evaluation; that corresponds to a not-empty seq node.
SkeltonItreeVisitor	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.
SymcallItree	A fun call which is not a method call, and has a sym.
UsedDefinedVars	Provides access to used/defined local vars in a fun.
VarrefItree	A varref itree.
VarrefVecAssignmentItree	Assignment in the form [:Foo X:Bar] <- Rhs.

Classes in org.kink_lang.kink.internal.program.itree used by org.kink_lang.kink.internal.program.itreeoptimize.ssafy

Class	Description
DeepTransformer.Callback	Callback for DeepTransformer.deepTransform(Itree, Callback).
Itree	Itree (intermediate tree) representation of Kink programs.
LocalVar	Sym of a local var.