Class ArrayGet

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

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

      • ArrayGet

        public ArrayGet​(Type element_type)
    • Method Detail

      • apply2

        public java.lang.Object apply2​(java.lang.Object array,
                                       java.lang.Object index)
        Specified by:
        apply2 in class Procedure2
      • isSideEffectFree

        public boolean isSideEffectFree()
        Description copied from class: Procedure
        True if this Procedure (definitely) has no side-effects. Note side-effect-free does not imply idempotent if this allocates an object with "identity".
        Overrides:
        isSideEffectFree in class Procedure
      • 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