| 
 | ||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectorc.trace.values.AbstractValue
orc.trace.values.FieldValue
public class FieldValue
| Field Summary | |
|---|---|
|  java.lang.String | name | 
| Constructor Summary | |
|---|---|
| FieldValue(java.lang.String name) | |
| Method Summary | |
|---|---|
|  boolean | equals(java.lang.Object that) | 
|  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 | 
|---|
public final java.lang.String name
| Constructor Detail | 
|---|
public FieldValue(java.lang.String name)
| Method Detail | 
|---|
public void prettyPrint(java.io.Writer out,
                        int indent)
                 throws java.io.IOException
Term
java.io.IOExceptionTerms.indent(Writer, int)public boolean equals(java.lang.Object that)
equals in class java.lang.Object| 
 | ||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||