gnu.kawa.reflect
Class ArrayNew

java.lang.Object
  gnu.mapping.PropertySet
      gnu.mapping.Procedure
          gnu.mapping.Procedure1
              gnu.kawa.reflect.ArrayNew

All Implemented Interfaces:

Named, java.io.Externalizable, java.io.Serializable

public class ArrayNew
extends Procedure1
implements java.io.Externalizable

See Also:

Serialized Form

Field Summary

Fields inherited from class gnu.mapping.Procedure

compilerKey, validateApplyKey

Fields inherited from class gnu.mapping.PropertySet

nameKey

Constructor Summary

ArrayNew(Type element_type)

Method Summary

java.lang.Object	apply1(java.lang.Object count)
boolean	isSideEffectFree() True if this Procedure (definitely) has no side-effects.
void	readExternal(java.io.ObjectInput in)
void	writeExternal(java.io.ObjectOutput out)

Methods inherited from class gnu.mapping.Procedure1

apply0, apply2, apply3, apply4, applyN, numArgs

Methods inherited from class gnu.mapping.Procedure

apply, apply, check0, check1, check2, check3, check4, checkArgCount, checkN, getReturnType, getSetter, getSourceLocation, match0, match1, match2, match3, match4, matchN, maxArgs, maxArgs, minArgs, minArgs, set0, set1, setN, setSetter, setSourceLocation, toString

Methods inherited from class gnu.mapping.PropertySet

getName, getProperty, getSymbol, removeProperty, setName, setProperty, setProperty, setSymbol

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

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