Class InitialFactImpl

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

    public final class InitialFactImpl
    extends java.lang.Object
    implements InitialFact, java.io.Externalizable
    We dont want users to be able to instantiate InitialFact so we expose it as an interface and make the class and its constructor package protected
    See Also:
    Serialized Form
    • Constructor Detail

      • InitialFactImpl

        public InitialFactImpl()
    • Method Detail

      • getInstance

        public static InitialFact getInstance()
      • 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
      • writeExternal

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

        public int hashCode()
        Overrides:
        hashCode in class java.lang.Object
      • equals

        public boolean equals​(java.lang.Object object)
        Overrides:
        equals in class java.lang.Object