orc.trace.values
Class TaggedValue

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

All Implemented Interfaces:

java.io.Serializable, Term, Value

public class TaggedValue
extends AbstractValue

See Also:

Serialized Form

Field Summary

java.lang.String	tagName
Value[]	values

Constructor Summary

TaggedValue(java.lang.String tagName, 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

tagName

public final java.lang.String tagName

values

public final Value[] values

Constructor Detail

TaggedValue

public TaggedValue(java.lang.String tagName,
                   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