Class ArraySet

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

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

      • ArraySet

        public ArraySet​(Type element_type)
    • Method Detail

      • apply3

        public java.lang.Object apply3​(java.lang.Object array,
                                       java.lang.Object index,
                                       java.lang.Object value)
        Specified by:
        apply3 in class Procedure3
      • 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