Module org.kink_lang.kink

Package org.kink_lang.kink

Class TraceVal

java.lang.Object

org.kink_lang.kink.HostResultCore

org.kink_lang.kink.Val

org.kink_lang.kink.TraceVal

All Implemented Interfaces:

HostResult

public class TraceVal
extends Val

A trace.

Field Summary

Fields inherited from class org.kink_lang.kink.Val

vm

Method Summary

Modifier and Type	Method	Description
String	desc()	Returns the string of Trace.desc.
boolean	equals(Object arg)
int	hashCode()
boolean	isSnip()	Returns true if the trace represents SNIP of trace frames; that is, if the trace has no loc nand sym, and it is on the tail.
boolean	isTail()	Returns whether the trace is on the tail.
LocationVal	location()	Returns the loc.
TraceVal	onTail()	Returns a trace with all the fields of this trace and on the tail.
String	sym()	Returns the sym.
StackTraceElement	toStackTraceElement()	Returns the corresponding stack trace element to the trace.
String	toString()

Methods inherited from class org.kink_lang.kink.Val

getVar, getVarSymHandleSet, hasVar, identity, makeHostResultCore, setVar

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Method Details

onTail

public TraceVal onTail()

Returns a trace with all the fields of this trace and on the tail.

Returns:

a trace with all the fields of this trace and on the tail.

sym

public String sym()

Returns the sym.

Returns:

the sym.

location

public LocationVal location()

Returns the loc.

Returns:

the loc.

isTail

public boolean isTail()

Returns whether the trace is on the tail.

Returns:

whether the trace is on the tail.

isSnip

public boolean isSnip()

Returns true if the trace represents SNIP of trace frames; that is, if the trace has no loc nand sym, and it is on the tail.

Returns:

true if the trace represents SNIP of trace frames.

toStackTraceElement

public StackTraceElement toStackTraceElement()

Returns the corresponding stack trace element to the trace.

Returns:

the corresponding stack trace element to the trace.

toString

public String toString()

Overrides:

toString in class Object

desc

public String desc()

Returns the string of Trace.desc.

Returns:

the string of Trace.desc.

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(Object arg)

Overrides:

equals in class Object