public class ArrayLength extends Procedure1 implements java.io.Externalizable
compilerKey, validateApplyKey
nameKey
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, toString
getName, getProperty, getSymbol, removeProperty, setName, setProperty, setProperty, setSymbol
public ArrayLength(Type element_type)
public java.lang.Object apply1(java.lang.Object array)
apply1
in class Procedure1
public boolean isSideEffectFree()
Procedure
isSideEffectFree
in class Procedure
public void writeExternal(java.io.ObjectOutput out) throws java.io.IOException
writeExternal
in interface java.io.Externalizable
java.io.IOException
public void readExternal(java.io.ObjectInput in) throws java.io.IOException, java.lang.ClassNotFoundException
readExternal
in interface java.io.Externalizable
java.io.IOException
java.lang.ClassNotFoundException