czt.zxml.ast
Class NumStroke

java.lang.Object
  |
  +--zeta.util.Term
        |
        +--czt.zxml.ast.Stroke
              |
              +--czt.zxml.ast.NumStroke

All Implemented Interfaces:

java.lang.Cloneable, zeta.format.Formattable, java.io.Serializable

public class NumStroke

extends Stroke

See Also:

Serialized Form

Field Summary

Numeral

numeral

Fields inherited from class zeta.util.Term

interned, internTab

Constructor Summary

NumStroke(Numeral n)

Method Summary

java.lang.String

zetaNameString()

Methods inherited from class zeta.util.Term

, clone, equals, getSubtermFields, getTagField, intern, internArray, toFormat, toString

Methods inherited from class java.lang.Object

finalize, getClass, hashCode, notify, notifyAll, registerNatives, wait, wait, wait

Field Detail

numeral

public Numeral numeral

Constructor Detail

NumStroke

public NumStroke(Numeral n)

Method Detail

zetaNameString

public java.lang.String zetaNameString()

Overrides:

zetaNameString in class Stroke