Uses of Class
org.kink_lang.kink.Val

Packages that use Val

Package	Description
org.kink_lang.kink	The core package of the Kink vm.
org.kink_lang.kink.hostfun	Interfaces used to make host system functions, or host funs, which are Kink functions defined in Java code.
org.kink_lang.kink.hostfun.graph	Provides the Execution Graph DSL, which is a convenient way to invoke Kink funs from Java actions or handlers.
org.kink_lang.kink.hostfun.graph.impl	Implementations of the Execution Graph DSL.
org.kink_lang.kink.internal.compile.tempval	Temporary vals used by generated code.
org.kink_lang.kink.internal.intrinsicsupport	Provides funs used from intrinsics.
org.kink_lang.kink.internal.mod.java	Package of JAVA and JAVA_PROXY mods.
org.kink_lang.kink.internal.mod.random	The internal classes for mods under kink/random.
org.kink_lang.kink.internal.mod.stopwatch	Provides kink/STOPWATCH mod.
org.kink_lang.kink.internal.num	Provides utility classes around numbers.
org.kink_lang.kink.internal.vec	Internal representation of vec vals.

Uses of Val in org.kink_lang.kink

Subclasses of Val in org.kink_lang.kink

Modifier and Type	Class	Description
class	BindingVal	A local binding val.
class	BinVal	A bin val, which represents an immutable array of bytes.
class	ExceptionVal	An exception val.
class	FunVal	A fun val.
class	JavaVal	A java val.
class	LocationVal	A location in a program.
class	NumVal	A num val.
class	StrVal	A str val.
class	TraceVal	A trace.
class	VarrefVal	A varref val.
class	VecVal	A vec val.

Fields in org.kink_lang.kink declared as Val

Modifier and Type	Field	Description
final Val	BoolHelper.falseVal	Kink false.
final Val	Vm.nada	The nada val.
final Val	BoolHelper.trueVal	Kink true.

Methods in org.kink_lang.kink that return Val

Modifier and Type	Method	Description
final Val	Val.getVar(int symHandle)	Returns the target of the var specified by sym; or null if absent.
final Val	Vm.newVal()	Returns a new val.
final Val	Vm.newVal(SharedVars sharedVars)	Returns a new val with the shared vars.
Val	BoolHelper.of(boolean bl)	Returns a bool val from the Java boolean.
Val	VarrefVal.owner()	Returns the owner of the var.

Methods in org.kink_lang.kink that return types with arguments of type Val

Modifier and Type	Method	Description
List<Val>	VecVal.toList()	Returns a list containing the elements of the vec.

Methods in org.kink_lang.kink with parameters of type Val

Modifier and Type	Method	Description
FunVal	FunHelper.constant(Val val)	Returns a constant fun: which is a 0-ary fun returning the val constantly.
boolean	BoolHelper.isBool(Val val)	Returns true if the val is a bool val.
VarrefVal	VarrefHelper.of(Val owner, int symHandle)	Returns a varref.
VarrefVal	VarrefHelper.of(Val owner, String sym)	Returns a varref.
VecVal	VecHelper.of(Val e0)	Returns a new vec.
VecVal	VecHelper.of(Val... elems)	Returns a new vec.
VecVal	VecHelper.of(Val[] vals, int from, int to)	Returns a new vec from the range of the array.
VecVal	VecHelper.of(Val e0, Val e1)	Returns a new vec.
VecVal	VecHelper.of(Val e0, Val e1, Val e2)	Returns a new vec.
VecVal	VecHelper.of(Val e0, Val e1, Val e2, Val e3)	Returns a new vec.
final void	Val.setVar(int symHandle, Val val)	Assigns val to the var specified by symHandle.

Method parameters in org.kink_lang.kink with type arguments of type Val

Modifier and Type	Method	Description
SharedVars	SharedVarsFactory.of(Map<Integer,Val> map)	Returns a SharedVars instance containing the entries of map.
VecVal	VecHelper.of(List<? extends Val> elems)	Returns a vec containing the elems.
<T> T	Vm.run(HostFunAction bootstrapAction, Function<? super Val,? extends T> onReturned, Function<? super ExceptionVal,? extends T> onRaised)	Runs a new execution stack which starts from the bootstrap action.

Uses of Val in org.kink_lang.kink.hostfun

Methods in org.kink_lang.kink.hostfun that return Val

Modifier and Type	Method	Description
Val	CallContext.arg(int index)	Returns the arg of the current call at the index.
Val	CallContext.recv()	Returns the recv of the current call.

Methods in org.kink_lang.kink.hostfun with parameters of type Val

Modifier and Type	Method	Description
CallFlowToOn	CallFlowToArgs.args(Val arg0)	Binds one arg to the flow.
CallFlowToOn	CallFlowToArgs.args(Val... args)	Binds the args to the flow.
CallFlowToOn	CallFlowToArgs.args(Val arg0, Val arg1)	Binds two args to the flow.
CallFlowToOn	CallFlowToArgs.args(Val arg0, Val arg1, Val arg2)	Binds the three args to the flow.
CallFlowToOn	CallFlowToArgs.args(Val arg0, Val arg1, Val arg2, Val arg3)	Binds the four args to the flow.
CallFlowToOn	CallFlowToArgs.args(Val arg0, Val arg1, Val arg2, Val arg3, Val arg4)	Binds the five args to the flow.
CallFlowToRecv	HostContext.call(Val ownerRecv, int symHandle)	Returns a call flow to call a method of ownerRecv with no args.
HostResult	HostFunReaction.reaction(HostContext ctx, Val calleeResult)	Performs reaction on the result of invocation.
CallFlowToArgs	CallFlowToRecv.recv(Val recv)	Binds the recv to the flow.

Uses of Val in org.kink_lang.kink.hostfun.graph

Methods in org.kink_lang.kink.hostfun.graph with parameters of type Val

Modifier and Type	Method	Description
GraphNode	GraphFacade.of(Val val)	Returns a graph node which emits the val.
GraphNode	GraphFacade.repr(Val val)	Convenient method to call val.repr.

Uses of Val in org.kink_lang.kink.hostfun.graph.impl

Methods in org.kink_lang.kink.hostfun.graph.impl with parameters of type Val

Modifier and Type	Method	Description
GraphNode	GraphFacadeImpl.of(Val val)
GraphNode	GraphFacadeImpl.repr(Val val)

Uses of Val in org.kink_lang.kink.internal.compile.tempval

Subclasses of Val in org.kink_lang.kink.internal.compile.tempval

Modifier and Type	Class	Description
class	MaybeTraitVal	Internal temporary val to store MaybeTrait.

Uses of Val in org.kink_lang.kink.internal.intrinsicsupport

Methods in org.kink_lang.kink.internal.intrinsicsupport that return Val

Modifier and Type	Method	Description
static Val	PreloadedFuns.preloadedFun(Vm vm, String sym)	Returns a preloaded fun.

Methods in org.kink_lang.kink.internal.intrinsicsupport with parameters of type Val

Modifier and Type	Method	Description
static FunVal	BranchSupport.condNotBool(Vm vm, int index, Val actual)	Returns a nullary fun raising cond-result-not-bool error.
static FunVal	IfSupport.condNotBool(Vm vm, Val actual)	Returns a fun to raise cond-not-bool exception.
static FunVal	ArgsSupport.raiseNotVecRhs(Vm vm, Val rhs)	Returns not-vec-rhs fun, which takes no arg.
static FunVal	NewValSupport.symNotStr(Vm vm, int index, Val val)	Returns a nullary fun to raise sym-not-str error.

Uses of Val in org.kink_lang.kink.internal.mod.java

Methods in org.kink_lang.kink.internal.mod.java that return Val

Modifier and Type	Method	Description
static Val	JavaMod.makeMod(Vm vm)	Returns JAVA mod for the vm.
static Val	JavaProxyMod.makeMod(Vm vm)	Makes JAVA_PROXY mod in the VM.
static Val	ProxyThrowResultMod.makeMod(Vm vm)	Makes PROXY_THROW_RESULT mod in the vm.

Uses of Val in org.kink_lang.kink.internal.mod.random

Subclasses of Val in org.kink_lang.kink.internal.mod.random

Modifier and Type	Class	Description
class	PrngVal	xoshiro256** PRNG val.
class	RngVal<T extends Random>	Random number generator val.

Uses of Val in org.kink_lang.kink.internal.mod.stopwatch

Methods in org.kink_lang.kink.internal.mod.stopwatch that return Val

Modifier and Type	Method	Description
static Val	StopwatchMod.makeMod(Vm vm)	Makes a mod helper.

Uses of Val in org.kink_lang.kink.internal.num

Methods in org.kink_lang.kink.internal.num with parameters of type Val

Modifier and Type	Method	Description
static int	NumOperations.getElemIndex(Val val, int size)	Returns the exact int value of the val, if the val is a NumVal and it represents a valid element index exactly in the sequence which has the size size, otherwise returns -1.
static BigInteger	NumOperations.getExactBigInteger(Val val)	Returns an exact BigInteger from the val, if the val is a NumVal and it represents an int number.
static OptionalInt	NumOperations.getExactInt(Val val)	Returns an exact int number from the val, if the val is a NumVal and it represents the exact int number.
static OptionalLong	NumOperations.getExactLongBetween(Val val, long min, long max)	Returns an exact long number from the val, if the val is a NumVal and it represents the exact long number between min and max.
static int	NumOperations.getPosIndex(Val val, int size)	Returns the exact int value of the val, if the val is a NumVal and it represents a valid position index exactly in the sequence which has the size size, otherwise returns -1.

Uses of Val in org.kink_lang.kink.internal.vec

Methods in org.kink_lang.kink.internal.vec that return Val

Modifier and Type	Method	Description
Val	TraitError.SymNotStr.elem()	Returns the value of the elem record component.
Val	VecInternal.get(int index)	Returns the indexed element.

Methods in org.kink_lang.kink.internal.vec that return types with arguments of type Val

Modifier and Type	Method	Description
List<Val>	VecInternal.asList()	Returns a list which is a view of the vec internal.

Methods in org.kink_lang.kink.internal.vec with parameters of type Val

Modifier and Type	Method	Description
VecInternal	VecInternal.append(Val val)	Inserts a val to the end.
void	VecInternal.copyTo(Val[] dest, int destIndex, int size)	Copies the vals between [0] to [size - 1] to the dest array.
VecInternal	TraitVecInternal.insert(int index, Val val)
abstract VecInternal	VecInternal.insert(int index, Val val)	Inserts a val to the position index.
VecInternal	TraitVecInternal.insertRange(int index, Val[] src, int from, int to)
abstract VecInternal	VecInternal.insertRange(int index, Val[] src, int from, int to)	Inserts the elements in the range of src to the position index.
static VecInternal	VecInternal.of(Vm vm, Val e0)	Returns a new vec internal.
static VecInternal	VecInternal.of(Vm vm, Val[] array, int from, int to)	Returns a new vec containing elements between from (inclusive) and to (exclusive) on the array.
static VecInternal	VecInternal.of(Vm vm, Val e0, Val e1)	Returns a new vec internal.
static VecInternal	VecInternal.of(Vm vm, Val e0, Val e1, Val e2)	Returns a new vec internal.
static VecInternal	VecInternal.of(Vm vm, Val e0, Val e1, Val e2, Val e3)	Returns a new vec internal.
VecInternal	TraitVecInternal.set(int index, Val val)
abstract VecInternal	VecInternal.set(int index, Val val)	Sets the indexed element.

Method parameters in org.kink_lang.kink.internal.vec with type arguments of type Val

Modifier and Type	Method	Description
static VecInternal	VecInternal.of(Vm vm, List<? extends Val> list)	Returns a new vec internal containing the elements of the list.

Constructors in org.kink_lang.kink.internal.vec with parameters of type Val

Modifier	Constructor	Description
	SymNotStr(int index, Val elem)	Creates an instance of a SymNotStr record class.