orc.trace.values
Class TupleValue

java.lang.Object
  orc.trace.values.AbstractValue
      orc.trace.values.TupleValue

All Implemented Interfaces:

java.io.Serializable, Term, Value

public class TupleValue
extends AbstractValue

See Also:

Serialized Form

Field Summary

Value[]

values

Constructor Summary

TupleValue(Value[] values)

Method Summary

boolean	equals(java.lang.Object value)
int	hashCode()
void	prettyPrint(java.io.Writer out, int indent) Pretty-print the term to out.

Methods inherited from class orc.trace.values.AbstractValue

toString

Methods inherited from class java.lang.Object

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

Field Detail

values

public final Value[] values

Constructor Detail

TupleValue

public TupleValue(Value[] values)

Method Detail

prettyPrint

public void prettyPrint(java.io.Writer out,
                        int indent)
                 throws java.io.IOException

Description copied from interface: Term

Pretty-print the term to out. If the term is multiple lines, each newline should be followed by at least indent tabs. The value should not begin or end with a newline.

Throws:

java.io.IOException

See Also:

Terms.indent(Writer, int)

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

equals

public boolean equals(java.lang.Object value)

Overrides:

equals in class java.lang.Object