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

Packages that use 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.

Uses of Itree in org.kink_lang.kink.internal.compile

Methods in org.kink_lang.kink.internal.compile with parameters of type Itree

Modifier and Type	Method	Description
FunVal	ItreeCompiler.compile(Itree topLevel)	Returns a generated toplevel fun.

Uses of Itree in org.kink_lang.kink.internal.compile.javaclassir

Methods in org.kink_lang.kink.internal.compile.javaclassir with parameters of type Itree

Modifier and Type	Method	Description
JavaClassIr	TopLevelCompiler.compile(Itree topLevel)	Compiles a top level fun.
List<Insn>	InsnsGenerator.generate(Itree itree, org.kink_lang.kink.internal.compile.javaclassir.ResultContext resultCtx)	Generates insns of doResume.

Method parameters in org.kink_lang.kink.internal.compile.javaclassir with type arguments of type Itree

Modifier and Type	Method	Description
List<Insn>	ControlGenerator.branch(BranchItree itree, BiFunction<Itree,org.kink_lang.kink.internal.compile.javaclassir.ResultContext,List<Insn>> generate, org.kink_lang.kink.internal.compile.javaclassir.ResultContext resultCtx)	Generates insns of branch without else.
List<Insn>	OverriddenControlGenerator.branch(BranchItree itree, BiFunction<Itree,org.kink_lang.kink.internal.compile.javaclassir.ResultContext,List<Insn>> generate, org.kink_lang.kink.internal.compile.javaclassir.ResultContext resultCtx)
List<Insn>	UnchangedControlGenerator.branch(BranchItree itree, BiFunction<Itree,org.kink_lang.kink.internal.compile.javaclassir.ResultContext,List<Insn>> generate, org.kink_lang.kink.internal.compile.javaclassir.ResultContext resultCtx)
List<Insn>	ControlGenerator.branchWithElse(BranchWithElseItree itree, BiFunction<Itree,org.kink_lang.kink.internal.compile.javaclassir.ResultContext,List<Insn>> generate, org.kink_lang.kink.internal.compile.javaclassir.ResultContext resultCtx)	Generates insns of branch with else.
List<Insn>	OverriddenControlGenerator.branchWithElse(BranchWithElseItree itree, BiFunction<Itree,org.kink_lang.kink.internal.compile.javaclassir.ResultContext,List<Insn>> generate, org.kink_lang.kink.internal.compile.javaclassir.ResultContext resultCtx)
List<Insn>	UnchangedControlGenerator.branchWithElse(BranchWithElseItree itree, BiFunction<Itree,org.kink_lang.kink.internal.compile.javaclassir.ResultContext,List<Insn>> generate, org.kink_lang.kink.internal.compile.javaclassir.ResultContext resultCtx)
List<Insn>	InFastFunLetRecGenerator.letRec(LetRecItree itree, BiFunction<Itree,org.kink_lang.kink.internal.compile.javaclassir.ResultContext,List<Insn>> generate)
List<Insn>	InSlowFunLetRecGenerator.letRec(LetRecItree itree, BiFunction<Itree,org.kink_lang.kink.internal.compile.javaclassir.ResultContext,List<Insn>> generate)
List<Insn>	LetRecGenerator.letRec(LetRecItree itree, BiFunction<Itree,org.kink_lang.kink.internal.compile.javaclassir.ResultContext,List<Insn>> generate)	Generates letrec insns.
List<Insn>	ControlGenerator.noTraitNewVal(NoTraitNewValItree itree, BiFunction<Itree,org.kink_lang.kink.internal.compile.javaclassir.ResultContext,List<Insn>> generate, org.kink_lang.kink.internal.compile.javaclassir.ResultContext resultCtx)	Generates insns of new_val without trait.
List<Insn>	OverriddenControlGenerator.noTraitNewVal(NoTraitNewValItree itree, BiFunction<Itree,org.kink_lang.kink.internal.compile.javaclassir.ResultContext,List<Insn>> generate, org.kink_lang.kink.internal.compile.javaclassir.ResultContext resultCtx)
List<Insn>	UnchangedControlGenerator.noTraitNewVal(NoTraitNewValItree itree, BiFunction<Itree,org.kink_lang.kink.internal.compile.javaclassir.ResultContext,List<Insn>> generate, org.kink_lang.kink.internal.compile.javaclassir.ResultContext resultCtx)
List<Insn>	ControlGenerator.preloadedIf(IfItree itree, BiFunction<Itree,org.kink_lang.kink.internal.compile.javaclassir.ResultContext,List<Insn>> generate, org.kink_lang.kink.internal.compile.javaclassir.ResultContext resultCtx)	Generates insns of if preloaded fun.
List<Insn>	OverriddenControlGenerator.preloadedIf(IfItree itree, BiFunction<Itree,org.kink_lang.kink.internal.compile.javaclassir.ResultContext,List<Insn>> generate, org.kink_lang.kink.internal.compile.javaclassir.ResultContext resultCtx)
List<Insn>	UnchangedControlGenerator.preloadedIf(IfItree itree, BiFunction<Itree,org.kink_lang.kink.internal.compile.javaclassir.ResultContext,List<Insn>> generate, org.kink_lang.kink.internal.compile.javaclassir.ResultContext resultCtx)
List<Insn>	ControlGenerator.traitNewVal(TraitNewValItree itree, BiFunction<Itree,org.kink_lang.kink.internal.compile.javaclassir.ResultContext,List<Insn>> generate, org.kink_lang.kink.internal.compile.javaclassir.ResultContext resultCtx)	Generates insns of new_val with trait.
List<Insn>	OverriddenControlGenerator.traitNewVal(TraitNewValItree itree, BiFunction<Itree,org.kink_lang.kink.internal.compile.javaclassir.ResultContext,List<Insn>> generate, org.kink_lang.kink.internal.compile.javaclassir.ResultContext resultCtx)
List<Insn>	UnchangedControlGenerator.traitNewVal(TraitNewValItree itree, BiFunction<Itree,org.kink_lang.kink.internal.compile.javaclassir.ResultContext,List<Insn>> generate, org.kink_lang.kink.internal.compile.javaclassir.ResultContext resultCtx)

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

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

Modifier and Type	Interface	Description
interface	ItreeWithRhs	Itree which supports itree.rhs().

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

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.
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 Itree

Modifier and Type	Method	Description
Itree	NodeToItreeTranslator.apply(Expr expr)	Translates an AST node to an itree.
Itree	FastFunItree.body()	Returns the fun body itree.
Itree	SlowFunItree.body()	Returns the value of the body record component.
Itree	IfItree.cond()	Returns the value of the cond record component.
static Itree	DeepTransformer.deepTransform(Itree itree, DeepTransformer.Callback callback)	Transforms itree traversing the sub itrees in the evaluation order.
default Itree	Itree.expr()
Itree	ItreeElem.expr()	Returns the expression in the elem.
Itree	ItreeElem.Spread.expr()	Returns the value of the expr record component.
Itree	SymcallItree.fun()	Returns the value of the fun record component.
Itree	SeqItree.getLastStep()	Returns the last step.
Itree	DeepTransformer.Callback.itree(Itree itree)	Transforms the itree.
Itree	AssignmentItree.lhs()	Returns the value of the lhs record component.
Itree	DerefItree.owner()	Returns the value of the owner record component.
Itree	GenericVar.owner()	Returns the value of the owner record component.
Itree	StoreItree.owner()	Returns the value of the owner record component.
Itree	VarrefItree.owner()	Returns the value of the owner record component.
Itree	McallItree.ownerRecv()	Returns the value of the ownerRecv record component.
Itree	BiArithmeticItree.recv()	Returns the value of the recv record component.
Itree	SymcallItree.recv()	Returns the value of the recv record component.
Itree	AssignmentItree.rhs()	Returns the value of the rhs record component.
Itree	ItreeWithRhs.rhs()	Returns the right-hand-side of the itree.
Itree	LstoreItree.rhs()	Returns the value of the rhs record component.
Itree	NestedVecAssignmentItree.rhs()	Returns the value of the rhs record component.
Itree	OptRestVecAssignmentItree.rhs()	Returns the value of the rhs record component.
Itree	OptVecAssignmentItree.rhs()	Returns the value of the rhs record component.
Itree	RestVecAssignmentItree.rhs()	Returns the value of the rhs record component.
Itree	StoreItree.rhs()	Returns the value of the rhs record component.
Itree	VarrefVecAssignmentItree.rhs()	Returns the value of the rhs record component.
Itree	TraitNewValItree.trait()	Returns the value of the trait record component.
Itree	SymValPair.val()	Returns the value of the val record component.

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

Modifier and Type	Method	Description
List<Itree>	SeqItree.getLeadingSteps()	Returns the steps excepting the last one.
List<Itree>	SeqItree.steps()	Returns the value of the steps record component.

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

Modifier and Type	Method	Description
static Map<LocalVar,LocalVarContent>	ContentAnalysis.analyzeContent(Itree body)	Returns the mapping from local vars to the contents.
static Itree	DeepTransformer.deepTransform(Itree itree, DeepTransformer.Callback callback)	Transforms itree traversing the sub itrees in the evaluation order.
Itree	DeepTransformer.Callback.itree(Itree itree)	Transforms the itree.

Constructors in org.kink_lang.kink.internal.program.itree with parameters of type Itree

Modifier	Constructor	Description
	AssignmentItree(Itree lhs, Itree rhs, int pos)	Creates an instance of a AssignmentItree record class.
	BiArithmeticItree(Itree recv, BiArithmeticItree.Op op, BigDecimal arg, int pos)	Creates an instance of a BiArithmeticItree record class.
	DerefItree(Itree owner, String sym, int pos)	Creates an instance of a DerefItree record class.
	FastFunItree(Itree body, int pos)	Constructs a fun itree in SSA form.
	GenericVar(Itree owner, String name)	Creates an instance of a GenericVar record class.
	IfItree(Itree cond, FastFunItree trueFun, Optional<FastFunItree> falseFun, int pos)	Creates an instance of a IfItree record class.
	LstoreItree(LocalVar lvar, Itree rhs, int pos)	Creates an instance of a LstoreItree record class.
	McallItree(Itree ownerRecv, String sym, List<ItreeElem> args, int pos)	Constructs a mcall itree.
	NestedVecAssignmentItree(List<NestedParam> params, Itree rhs, int pos)	Constructs an itree.
	OptRestVecAssignmentItree(List<LocalVar> mandatory, List<LocalVar> opt, LocalVar rest, Itree rhs, int pos)	Constructs an assignment itree.
	OptVecAssignmentItree(List<LocalVar> mandatory, List<LocalVar> opt, Itree rhs, int pos)	Constructs an assignment itree.
	RestVecAssignmentItree(LocalVar lvar, Itree rhs, int pos)	Creates an instance of a RestVecAssignmentItree record class.
	SlowFunItree(Itree body, int pos)	Creates an instance of a SlowFunItree record class.
	Spread(Itree expr, int pos)	Creates an instance of a Spread record class.
	StoreItree(Itree owner, String sym, Itree rhs, int pos)	Creates an instance of a StoreItree record class.
	SymcallItree(Itree fun, String sym, Itree recv, List<ItreeElem> args, int pos)	Constructs an itree.
	SymValPair(String sym, Itree val)	Creates an instance of a SymValPair record class.
	TraitNewValItree(Itree trait, int spreadPos, List<SymValPair> symValPairs, int pos)	Constructs an itree.
	VarrefItree(Itree owner, String sym, int pos)	Creates an instance of a VarrefItree record class.
	VarrefVecAssignmentItree(List<VarrefParam> params, Itree rhs, int pos)	Constructs an assignment.

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

Modifier	Constructor	Description
	SeqItree(List<Itree> steps, int pos)	Constructs an itree of sequential evaluation; that corresponds to a not-empty seq node.
	SkeltonItreeVisitor(Function<Itree,T> defaultAction)	Constructs a visitor.

Uses of Itree in org.kink_lang.kink.internal.program.itreeoptimize

Classes in org.kink_lang.kink.internal.program.itreeoptimize with type parameters of type Itree

Modifier and Type	Class	Description
class	TemplateArgsPassingOptimizer<S extends ItreeWithRhs,D extends Itree>	Converts an assignment to args passing.

Methods in org.kink_lang.kink.internal.program.itreeoptimize that return Itree

Modifier and Type	Method	Description
Itree	BaseOptimizer.apply(Itree itree)
Itree	RecursiveOptimizer.apply(Itree org)
Itree	RepetitiveOptimizer.apply(Itree org)
Itree	AssignmentOptimizer.visit(McallItree mcall)
Itree	BiArithmeticInliner.visit(McallItree mcall)
Itree	BranchInliner.visit(SymcallItree scall)
Itree	BranchWithElseInliner.visit(SymcallItree org)
Itree	ContentPropagator.visit(LderefItree lderef)
Itree	DeadLstoreEliminator.visit(LstoreItree lstore)
Itree	DeparenOptimizer.visit(SeqItree seq)
Itree	EliminateUnusedOptimizer.visit(SeqItree seq)
Itree	FlattenSeqOptimizer.visit(SeqItree seq)
Itree	FunMcallToSymcallOptimizer.visit(McallItree mcall)
Itree	IfInliner.visit(SymcallItree scall)
Itree	LderefOptimizer.visit(DerefItree deref)
Itree	LetRecChainer.visit(SeqItree seq)
Itree	LetRecProducer.visit(LstoreItree lstore)
Itree	LetRecReducer.visit(LetRecItree letrec)
Itree	LetSymcallInliner.visit(FastFunItree fun)
Itree	LstoreOptimizer.visit(StoreItree store)
Itree	MinusConstantFolder.visit(McallItree mcall)
Itree	NestedVecAssignmentInliner.visit(AssignmentItree itree)
Itree	OptRestVecAssignmentOptimizer.visit(AssignmentItree itree)
Itree	OptVecAssignmentOptimizer.visit(AssignmentItree assignment)
Itree	ParenContOptimizer.visit(DerefItree deref)
Itree	ParenContOptimizer.visit(McallItree mcall)
Itree	ParenContOptimizer.visit(SymcallItree scall)
Itree	ParenContOptimizer.visit(VarrefItree varref)
Itree	RestVecAssignmentOptimizer.visit(OptRestVecAssignmentItree itree)
Itree	SimpleNewValInliner.visit(SymcallItree scall)
Itree	SsafyOptimizer.visit(SlowFunItree itree)
Itree	StoreOptimizer.visit(AssignmentItree assignment)
Itree	TemplateArgsPassingOptimizer.visit(FastFunItree fun)
Itree	TemplateArgsPassingOptimizer.visit(SlowFunItree fun)
Itree	TraitNewValOptimizer.visit(SymcallItree scall)
Itree	UnnestArgsPassingOptimizer.visit(NestedArgsPassingItree itree)
Itree	VarrefVecAssignmentInliner.visit(AssignmentItree assignment)
Itree	VarrefVecAssignmentToLocalOptimizer.visit(VarrefVecAssignmentItree assignment)

Methods in org.kink_lang.kink.internal.program.itreeoptimize that return types with arguments of type Itree

Modifier and Type	Method	Description
static Function<Itree,Itree>	ItreeOptimizers.getOptimizer()	Returns the optimizer function of itrees.
static Function<Itree,Itree>	ItreeOptimizers.getOptimizer()	Returns the optimizer function of itrees.

Methods in org.kink_lang.kink.internal.program.itreeoptimize with parameters of type Itree

Modifier and Type	Method	Description
Itree	BaseOptimizer.apply(Itree itree)
Itree	RecursiveOptimizer.apply(Itree org)
Itree	RepetitiveOptimizer.apply(Itree org)

Constructor parameters in org.kink_lang.kink.internal.program.itreeoptimize with type arguments of type Itree

Modifier	Constructor	Description
	RepetitiveOptimizer(List<? extends Function<? super Itree,? extends Itree>> componentOptimizers)	Constructs a composite optimizer.
	RepetitiveOptimizer(List<? extends Function<? super Itree,? extends Itree>> componentOptimizers)	Constructs a composite optimizer.

Uses of Itree in org.kink_lang.kink.internal.program.itreeoptimize.ssafy

Methods in org.kink_lang.kink.internal.program.itreeoptimize.ssafy that return Itree

Modifier and Type	Method	Description
Itree	SsaChecker.itree(Itree itree)
Itree	Ssafier.Callback.itree(Itree itree)
static Itree	Ssafier.ssafy(Itree funBody, Supplier<String> uniqSupplier)	Converts funBody into SSA form.

Methods in org.kink_lang.kink.internal.program.itreeoptimize.ssafy with parameters of type Itree

Modifier and Type	Method	Description
static boolean	SsaChecker.canConvertToSsa(Itree body)	Determines whether a fun can be converted to SSA.
Itree	SsaChecker.itree(Itree itree)
Itree	Ssafier.Callback.itree(Itree itree)
static Itree	Ssafier.ssafy(Itree funBody, Supplier<String> uniqSupplier)	Converts funBody into SSA form.