Class ClassNamespace

  • All Implemented Interfaces:
    HasNamedParts, java.io.Externalizable, java.io.Serializable, java.util.Map<java.lang.String,​Symbol>

    public class ClassNamespace
    extends Namespace
    implements java.io.Externalizable
    See Also:
    Serialized Form
    • Constructor Detail

      • ClassNamespace

        public ClassNamespace()
      • ClassNamespace

        public ClassNamespace​(ClassType ctype)
    • Method Detail

      • getClassType

        public ClassType getClassType()
      • get

        public java.lang.Object get​(java.lang.String name)
        Specified by:
        get in interface HasNamedParts
        Overrides:
        get in class Namespace
      • writeExternal

        public void writeExternal​(java.io.ObjectOutput out)
                           throws java.io.IOException
        Specified by:
        writeExternal in interface java.io.Externalizable
        Overrides:
        writeExternal in class Namespace
        Throws:
        java.io.IOException
      • readExternal

        public void readExternal​(java.io.ObjectInput in)
                          throws java.io.IOException,
                                 java.lang.ClassNotFoundException
        Specified by:
        readExternal in interface java.io.Externalizable
        Overrides:
        readExternal in class Namespace
        Throws:
        java.io.IOException
        java.lang.ClassNotFoundException
      • readResolve

        public java.lang.Object readResolve()
                                     throws java.io.ObjectStreamException
        Overrides:
        readResolve in class Namespace
        Throws:
        java.io.ObjectStreamException