Module org.kink_lang.kink

Package org.kink_lang.kink.internal.ovis

Class OwnVarIndexes

java.lang.Object

org.kink_lang.kink.internal.ovis.OwnVarIndexes

public class OwnVarIndexes
extends Object

Mapping from syms to indexes of own vars.

Method Summary

Modifier and Type	Method	Description
static OwnVarIndexes	buildEmpty()	Builds an empty set.
boolean	containsPreloadedVar()	Returns whether it has the sym of a preloaded var.
int	getIndex(int symHandle)	Returns the index of the sym handle.
List<Integer>	getSymHandles()	Returns the set of sym handles.
boolean	isEmpty()	Whether this does not have any sym handle.
OwnVarIndexes	with(int symHandle)	Returns the set adding symHandle.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Details

buildEmpty

public static OwnVarIndexes buildEmpty()

Builds an empty set.

Returns:

an empty set.

with

public OwnVarIndexes with(int symHandle)

Returns the set adding symHandle.

Parameters:

symHandle - sym handle added to the ovis.

Returns:

the set adding symHandle.

getIndex

public int getIndex(int symHandle)

Returns the index of the sym handle.

Parameters:

symHandle - the sym handle.

Returns:

the index of the sym handle, or -1 if absent.

isEmpty

public boolean isEmpty()

Whether this does not have any sym handle.

Returns:

whether this does not have any sym handle.

getSymHandles

public List<Integer> getSymHandles()

Returns the set of sym handles.

Returns:

the set of sym handles.

containsPreloadedVar

public boolean containsPreloadedVar()

Returns whether it has the sym of a preloaded var.

Returns:

whether it has the sym of a preloaded var.