Module org.kink_lang.kink

Package org.kink_lang.kink

Class TraceHelper

java.lang.Object

org.kink_lang.kink.TraceHelper

public final class TraceHelper
extends Object

The helper for traces.

Method Summary

Modifier and Type	Method	Description
TraceVal	empty()	Returns a trace with no sym nand loc, and not on the tail.
TraceVal	of(String sym)	Returns a trace with a sym.
TraceVal	of(String sym, LocationVal loc)	Returns a trace with a sym.
TraceVal	of(LocationVal loc)	Returns a trace with a loc.
TraceVal	snip()	Returns a trace with no sym nand loc, on the tail.

Methods inherited from class java.lang.Object

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

Method Details

of

public TraceVal of(String sym)

Returns a trace with a sym.

Parameters:

sym - the sym.

Returns:

a trace with the sym.

of

public TraceVal of(LocationVal loc)

Returns a trace with a loc.

Parameters:

loc - the loc.

Returns:

a trace with the loc.

of

public TraceVal of(String sym,
 LocationVal loc)

Returns a trace with a sym.

Parameters:

sym - the sym.

loc - the loc.

Returns:

a trace with the loc.

snip

public TraceVal snip()

Returns a trace with no sym nand loc, on the tail.

Returns:

a trace with no sym nand loc, on the tail.

empty

public TraceVal empty()

Returns a trace with no sym nand loc, and not on the tail.

Returns:

a trace with no sym nand loc, and not on the tail.