Package hydra.compute

Class Trace

java.lang.Object

hydra.compute.Trace

All Implemented Interfaces:

java.io.Serializable

public class Trace
extends java.lang.Object
implements java.io.Serializable

A container for logging and error information

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field	Description
static Name	FIELD_NAME_MESSAGES
static Name	FIELD_NAME_OTHER
static Name	FIELD_NAME_STACK
java.util.List<java.lang.String>	messages
java.util.Map<Name,Term>	other	A map of string keys to arbitrary terms as values, for application-specific use
java.util.List<java.lang.String>	stack
static Name	TYPE_NAME

Constructor Summary

Constructors

Constructor	Description
Trace(java.util.List<java.lang.String> stack, java.util.List<java.lang.String> messages, java.util.Map<Name,Term> other)

Method Summary

Modifier and Type	Method	Description
boolean	equals(java.lang.Object other)
int	hashCode()
Trace	withMessages(java.util.List<java.lang.String> messages)
Trace	withOther(java.util.Map<Name,Term> other)
Trace	withStack(java.util.List<java.lang.String> stack)

Methods inherited from class java.lang.Object

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

Field Detail

TYPE_NAME

public static final Name TYPE_NAME

FIELD_NAME_STACK

public static final Name FIELD_NAME_STACK

FIELD_NAME_MESSAGES

public static final Name FIELD_NAME_MESSAGES

FIELD_NAME_OTHER

public static final Name FIELD_NAME_OTHER

stack

public final java.util.List<java.lang.String> stack

messages

public final java.util.List<java.lang.String> messages

other

public final java.util.Map<Name,Term> other

A map of string keys to arbitrary terms as values, for application-specific use

Constructor Detail

Trace

public Trace(java.util.List<java.lang.String> stack,
             java.util.List<java.lang.String> messages,
             java.util.Map<Name,Term> other)

Method Detail

equals

public boolean equals(java.lang.Object other)

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

withStack

public Trace withStack(java.util.List<java.lang.String> stack)

withMessages

public Trace withMessages(java.util.List<java.lang.String> messages)

withOther

public Trace withOther(java.util.Map<Name,Term> other)