czt.zxml.ast
Class DecoratedWord

java.lang.Object
  |
  +--zeta.util.Term
        |
        +--czt.zxml.ast.DecoratedWord
All Implemented Interfaces:
java.lang.Cloneable, zeta.format.Formattable, java.io.Serializable

public class DecoratedWord
extends zeta.util.Term

See Also:
Serialized Form

Field Summary
 TermList strokes
           
 java.lang.String word
           
 
Fields inherited from class zeta.util.Term
interned, internTab
 
Constructor Summary
DecoratedWord(zeta.util.Name n)
           
DecoratedWord(java.lang.String w, java.util.List s)
           
DecoratedWord(java.lang.String w, Stroke[] s)
           
 
Method Summary
 zeta.format.Format toFormat(zeta.format.FormatInfo info)
           
 zeta.util.Name toZetaName()
           
 
Methods inherited from class zeta.util.Term
, clone, equals, getSubtermFields, getTagField, intern, internArray, toString
 
Methods inherited from class java.lang.Object
finalize, getClass, hashCode, notify, notifyAll, registerNatives, wait, wait, wait
 

Field Detail

word

public java.lang.String word

strokes

public TermList strokes
Constructor Detail

DecoratedWord

public DecoratedWord(java.lang.String w,
                     Stroke[] s)

DecoratedWord

public DecoratedWord(java.lang.String w,
                     java.util.List s)
              throws UnknownStroke

DecoratedWord

public DecoratedWord(zeta.util.Name n)
              throws UnknownStroke
Method Detail

toZetaName

public zeta.util.Name toZetaName()

toFormat

public zeta.format.Format toFormat(zeta.format.FormatInfo info)
Overrides:
toFormat in class zeta.util.Term