gnu.kawa.reflect
Class ArrayGet

java.lang.Object
  gnu.mapping.Procedure
      gnu.mapping.Procedure2
          gnu.kawa.reflect.ArrayGet

All Implemented Interfaces:

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

public class ArrayGet
extends Procedure2
implements Inlineable, java.io.Externalizable

See Also:

Serialized Form

Constructor Summary

ArrayGet(Type element_type)

Method Summary

java.lang.Object	apply2(java.lang.Object array, java.lang.Object index)
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.Procedure2

apply0, apply1, apply3, apply4, applyN, numArgs

Methods inherited from class gnu.mapping.Procedure

apply, apply, check0, check1, check2, check3, check4, checkArgCount, checkN, getName, getProperty, getSetter, getSymbol, match0, match1, match2, match3, match4, matchN, maxArgs, minArgs, name, removeProperty, set0, set1, setN, setName, setProperty, setProperty, setSetter, setSymbol, toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

ArrayGet

public ArrayGet(Type element_type)

Method Detail

apply2

public java.lang.Object apply2(java.lang.Object array,
                               java.lang.Object index)

Specified by:

apply2 in class Procedure2

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