public class ArrayLength extends Procedure1 implements java.io.Externalizable
compilerKey, compilerXKey, validateApplyKey, validateXApplyKeynameKey| Constructor and Description |
|---|
ArrayLength(Type element_type) |
| Modifier and Type | Method and Description |
|---|---|
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) |
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, toStringgetName, getProperty, getSymbol, removeProperty, setName, setProperty, setProperty, setSymbolpublic ArrayLength(Type element_type)
public java.lang.Object apply1(java.lang.Object array)
apply1 in class Procedure1public boolean isSideEffectFree()
ProcedureisSideEffectFree in class Procedurepublic void writeExternal(java.io.ObjectOutput out)
throws java.io.IOException
writeExternal in interface java.io.Externalizablejava.io.IOExceptionpublic void readExternal(java.io.ObjectInput in)
throws java.io.IOException,
java.lang.ClassNotFoundException
readExternal in interface java.io.Externalizablejava.io.IOExceptionjava.lang.ClassNotFoundException