Package gnu.lists

Class EofClass

  • All Implemented Interfaces:
    java.io.Externalizable, java.io.Serializable

    public class EofClass
    extends java.lang.Object
    implements java.io.Externalizable
    See Also:
    Serialized Form
    • Field Summary

      Fields 
      Modifier and Type Field Description
      static EofClass eofValue
      Special magic end-of-file marker.
    • Constructor Summary

      Constructors 
      Constructor Description
      EofClass()  
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      void readExternal​(java.io.ObjectInput in)  
      java.lang.Object readResolve()  
      java.lang.String toString()  
      void writeExternal​(java.io.ObjectOutput out)  
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
    • Field Detail

      • eofValue

        public static final EofClass eofValue
        Special magic end-of-file marker.
    • Constructor Detail

      • EofClass

        public EofClass()
    • Method Detail

      • toString

        public final java.lang.String toString()
        Overrides:
        toString in class java.lang.Object
      • writeExternal

        public void writeExternal​(java.io.ObjectOutput out)
                           throws java.io.IOException
        Specified by:
        writeExternal in interface java.io.Externalizable
        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
        Throws:
        java.io.IOException
        java.lang.ClassNotFoundException
      • readResolve

        public java.lang.Object readResolve()
                                     throws java.io.ObjectStreamException
        Throws:
        java.io.ObjectStreamException