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)
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, hashCode, 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)

equals

public boolean equals(java.lang.Object value)

Overrides:

equals in class java.lang.Object