czt.zxml.ast
Class SectTypeEnv

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

All Implemented Interfaces:

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

public class SectTypeEnv

extends zeta.util.Term

See Also:

Serialized Form

Inner Class Summary

static class

SectTypeEnv.Pair

Field Summary

java.util.Map

environment

Fields inherited from class zeta.util.Term

interned, internTab

Constructor Summary

SectTypeEnv(java.util.Map environment)

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

environment

public java.util.Map environment

Constructor Detail

SectTypeEnv

public SectTypeEnv(java.util.Map environment)