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

Packages that use ItreeVisitor

Package	Description
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.

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

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

Modifier and Type	Class	Description
class	SkeltonItreeVisitor<T>	An itree visitor with a default make.

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

Modifier and Type	Method	Description
<T> T	ArgsPassingItree.accept(ItreeVisitor<T> visitor)
<T> T	ArgVecItree.accept(ItreeVisitor<T> visitor)
<T> T	AssignmentItree.accept(ItreeVisitor<T> visitor)
<T> T	BiArithmeticItree.accept(ItreeVisitor<T> visitor)
<T> T	BindingItree.accept(ItreeVisitor<T> visitor)
<T> T	BranchItree.accept(ItreeVisitor<T> visitor)
<T> T	BranchWithElseItree.accept(ItreeVisitor<T> visitor)
<T> T	DerefItree.accept(ItreeVisitor<T> visitor)
<T> T	FastFunItree.accept(ItreeVisitor<T> visitor)
<T> T	IfItree.accept(ItreeVisitor<T> visitor)
<T> T	Itree.accept(ItreeVisitor<T> visitor)	Accepts a visitor.
<T> T	LderefItree.accept(ItreeVisitor<T> visitor)
<T> T	LetRecItree.accept(ItreeVisitor<T> visitor)
<T> T	LstoreItree.accept(ItreeVisitor<T> visitor)
<T> T	McallItree.accept(ItreeVisitor<T> visitor)
<T> T	NadaItree.accept(ItreeVisitor<T> visitor)
<T> T	NestedArgsPassingItree.accept(ItreeVisitor<T> visitor)
<T> T	NestedVecAssignmentItree.accept(ItreeVisitor<T> visitor)
<T> T	NoTraitNewValItree.accept(ItreeVisitor<T> visitor)
<T> T	NumItree.accept(ItreeVisitor<T> visitor)
<T> T	OptRestVecAssignmentItree.accept(ItreeVisitor<T> visitor)
<T> T	OptVecAssignmentItree.accept(ItreeVisitor<T> visitor)
<T> T	RecvItree.accept(ItreeVisitor<T> visitor)
<T> T	RestVecAssignmentItree.accept(ItreeVisitor<T> visitor)
<T> T	SeqItree.accept(ItreeVisitor<T> visitor)
<T> T	SlowFunItree.accept(ItreeVisitor<T> visitor)
<T> T	StoreItree.accept(ItreeVisitor<T> visitor)
<T> T	StrItree.accept(ItreeVisitor<T> visitor)
<T> T	SymcallItree.accept(ItreeVisitor<T> visitor)
<T> T	TraitNewValItree.accept(ItreeVisitor<T> visitor)
<T> T	VarrefItree.accept(ItreeVisitor<T> visitor)
<T> T	VarrefVecAssignmentItree.accept(ItreeVisitor<T> visitor)
<T> T	VecItree.accept(ItreeVisitor<T> visitor)

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

Classes in org.kink_lang.kink.internal.program.itreeoptimize that implement ItreeVisitor

Modifier and Type	Class	Description
class	ArgsPassingOptimizer	Converts expression like [:X :Y] <- \args to ArgsPassingItree.
class	AssignmentOptimizer	Optimizes a mcall like X <- Y to AssignmentItree.
class	BaseOptimizer	Base class for optimizing visitors.
class	BiArithmeticInliner	Optimizes bi arithmetic operations to BiArithmeticItree..
class	BranchInliner	Applies inlining of calls of branch in the form below.
class	BranchWithElseInliner	Applies inlining of calls of branch in the form below.
class	ContentPropagator	Propagates the content of local var in its dereference.
class	DeadLstoreEliminator	Eliminates lstore to unused lvars.
class	DeparenOptimizer	Reduces a one step seq to an expression, removing the parentheses.
class	EliminateUnusedOptimizer	Eliminates unused code from a seq.
class	FlattenSeqOptimizer	Flattens a seq recursively.
class	FunMcallToSymcallOptimizer	Converts method call of Fun.call to symcall.
class	IfInliner	Inlining optimizer of preloaded if.
class	LderefOptimizer	Optimizes \binding.Data to Data.
class	LetRecChainer	Unifies consequent letrec into a single letrec.
class	LetRecProducer	Converts :foo <- { ,,, } to letrec.
class	LetRecReducer	Remove assignment from letrec if the lvar is not used.
class	LetSymcallInliner	Inlining optimizer of a let clause on the tail context.
class	LstoreOptimizer	Optimizer from :Val <- 42 to an LSTORE itree.
class	MinusConstantFolder	Applies constant folding for expressions in the form - NUM_CONST.
class	NestedArgsPassingOptimizer	Converts expression like [:X :Y] <- \args to ArgsPassingItree.
class	NestedVecAssignmentInliner	Inlining of assignment in the form [:X [:Y :Z]] <- Rhs.
class	OptRestVecAssignmentOptimizer	Optimizes [:A :B :C.opt :D.opt :Rest.rest] <- xxx to OptRestVecAssignmentItree.
class	OptVecAssignmentOptimizer	Optimizes assignment in the form [:A :B :C.opt :D.opt] <- xxx.
class	ParenContOptimizer	Optimizer which puts the continuation of a seq into the seq.
class	RestVecAssignmentOptimizer	Optimizes [:Rest.rest] <- xxx to RestVecAssignmentItree.
class	SimpleNewValInliner	Optimizes invocation in the form new_val('X' x 'Y' y).
class	SsafyOptimizer	Converts a fun to SSA form if possible.
class	StoreOptimizer	Optimizer from B:X <- 42 to a STORE itree.
class	TemplateArgsPassingOptimizer<S extends ItreeWithRhs,D extends Itree>	Converts an assignment to args passing.
class	TraitNewValOptimizer	Converts expression like new_val(... Trait 'X' 10 'Y' 20) to TraitNewValItree.
class	UnnestArgsPassingOptimizer	Converts nested args passing to unnested one.
class	VarrefVecAssignmentInliner	Optimizes an assignment in the form [X:Foo Y:Bar] <- Rhs to VarrefVecAssignmentItree.
class	VarrefVecAssignmentToLocalOptimizer	Optimizes a VarrefVecAssignmentItree to a better form.