czt.zxml.ast
Class GivenType

java.lang.Object
  |
  +--zeta.util.Term
        |
        +--czt.zxml.ast.Type
              |
              +--czt.zxml.ast.GivenType

All Implemented Interfaces:

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

public class GivenType

extends Type

See Also:

Serialized Form

Field Summary

Name

name

Fields inherited from class zeta.util.Term

interned, internTab

Constructor Summary

GivenType(Name name)

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

name

public Name name

Constructor Detail

GivenType

public GivenType(Name name)