gnu.kawa.reflect
Class ArrayLength
java.lang.Object
gnu.mapping.PropertySet
gnu.mapping.Procedure
gnu.mapping.Procedure1
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
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 java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
ArrayLength
public ArrayLength(Type element_type)
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