czt.zxml.ast
Class Renm_Parsed

java.lang.Object
  |
  +--zeta.util.Term
        |
        +--czt.zxml.ast.Renm
              |
              +--czt.zxml.ast.Renm_Parsed

All Implemented Interfaces:

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

public class Renm_Parsed

extends Renm

implements Annotated

See Also:

Serialized Form

Field Summary

zeta.util.Annotation	ann
DeclName	declName
RefName	refName

Fields inherited from class zeta.util.Term

interned, internTab

Constructor Summary

Renm_Parsed(DeclName declName, RefName refName)

Method Summary

zeta.util.Annotation

getAnnotation()

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

declName

public DeclName declName

refName

public RefName refName

ann

public zeta.util.Annotation ann

Constructor Detail

Renm_Parsed

public Renm_Parsed(DeclName declName,
                   RefName refName)

Method Detail

getAnnotation

public zeta.util.Annotation getAnnotation()

Specified by:

getAnnotation in interface Annotated