gnu.kawa.reflect
Class ArrayLength

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

public class ArrayLength
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
ArrayLength(Type element_type)
           
 
Method Summary
 java.lang.Object apply1(java.lang.Object array)
           
 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

ArrayLength

public ArrayLength(Type element_type)
Method Detail

apply1

public java.lang.Object apply1(java.lang.Object array)
Specified by:
apply1 in class Procedure1

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