Class ArrayNew

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

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

      • ArrayNew

        public ArrayNew​(Type element_type)
    • Method Detail

      • 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
      • apply1

        public java.lang.Object apply1​(java.lang.Object count)
        Specified by:
        apply1 in class Procedure1
      • 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