gnu.kawa.reflect
Class ArraySet

java.lang.Object
  gnu.mapping.PropertySet
      gnu.mapping.Procedure
          gnu.mapping.Procedure3
              gnu.kawa.reflect.ArraySet

All Implemented Interfaces:

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

public class ArraySet
extends Procedure3
implements Inlineable, java.io.Externalizable

See Also:

Serialized Form

Constructor Summary

ArraySet(Type element_type)

Method Summary

java.lang.Object	apply3(java.lang.Object array, java.lang.Object index, java.lang.Object value)
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.Procedure3

apply0, apply1, apply2, 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

ArraySet

public ArraySet(Type element_type)

Method Detail

apply3

public java.lang.Object apply3(java.lang.Object array,
                               java.lang.Object index,
                               java.lang.Object value)

Specified by:

apply3 in class Procedure3

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