gnu.kawa.reflect
Class ArrayLength

java.lang.Object
  gnu.mapping.PropertySet
      gnu.mapping.Procedure
          gnu.mapping.Procedure1
              gnu.kawa.reflect.ArrayLength

All Implemented Interfaces:

Inlineable, Named, java.io.Externalizable, java.io.Serializable

public class ArrayLength
extends Procedure1
implements Inlineable, java.io.Externalizable

See Also:

Serialized Form

Constructor Summary

ArrayLength(Type element_type)

Method Summary

java.lang.Object	apply1(java.lang.Object array)
void	compile(ApplyExp exp, Compilation comp, Target target)
Type	getReturnType(Expression[] args)
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, getSetter, getSourceLocation, match0, match1, match2, match3, match4, matchN, maxArgs, 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

compile

public void compile(ApplyExp exp,
                    Compilation comp,
                    Target target)

Specified by:

compile in interface Inlineable

getReturnType

public Type getReturnType(Expression[] args)

Specified by:

getReturnType in interface Inlineable

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