gnu.kawa.reflect
Class ArrayGet

java.lang.Object
  extended by gnu.mapping.PropertySet
      extended by gnu.mapping.Procedure
          extended by gnu.mapping.Procedure2
              extended by gnu.kawa.reflect.ArrayGet
All Implemented Interfaces:
Named, java.io.Externalizable, java.io.Serializable

public class ArrayGet
extends Procedure2
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
ArrayGet(Type element_type)
           
 
Method Summary
 java.lang.Object apply2(java.lang.Object array, java.lang.Object index)
           
 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.Procedure2
apply0, apply1, 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

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