gov.nasa.jpf.vm

Class JPF_java_lang_reflect_Array

java.lang.Object

gov.nasa.jpf.vm.NativePeer

gov.nasa.jpf.vm.JPF_java_lang_reflect_Array

All Implemented Interfaces:

Cloneable

public class JPF_java_lang_reflect_Array
extends NativePeer

MJI NativePeer class for java.lang.reflect.Array library abstraction

Constructor Summary

Constructors

Constructor and Description
JPF_java_lang_reflect_Array()

Method Summary

Methods

Modifier and Type	Method and Description
int	get__Ljava_lang_Object_2I__Ljava_lang_Object_2(MJIEnv env, int clsRef, int aref, int index)
boolean	getBoolean__Ljava_lang_Object_2I__Z(MJIEnv env, int clsRef, int aref, int index)
static byte	getByte__Ljava_lang_Object_2I__B(MJIEnv env, int clsRef, int aref, int index)
char	getChar__Ljava_lang_Object_2I__C(MJIEnv env, int clsRef, int aref, int index)
double	getDouble__Ljava_lang_Object_2I__D(MJIEnv env, int clsRef, int aref, int index)
float	getFloat__Ljava_lang_Object_2I__F(MJIEnv env, int clsRef, int aref, int index)
int	getInt__Ljava_lang_Object_2I__I(MJIEnv env, int clsRef, int aref, int index)
int	getLength__Ljava_lang_Object_2__I(MJIEnv env, int clsObjRef, int objRef)
long	getLong__Ljava_lang_Object_2I__J(MJIEnv env, int clsRef, int aref, int index)
short	getShort__Ljava_lang_Object_2I__S(MJIEnv env, int clsRef, int aref, int index)
int	multiNewArray__Ljava_lang_Class_2_3I__Ljava_lang_Object_2(MJIEnv env, int clsRef, int componentTypeRef, int dimArrayRef)
int	newArray__Ljava_lang_Class_2I__Ljava_lang_Object_2(MJIEnv env, int clsRef, int componentTypeRef, int length)
void	setBoolean__Ljava_lang_Object_2IZ__V(MJIEnv env, int clsRef, int aref, int index, boolean val)
void	setByte__Ljava_lang_Object_2IB__V(MJIEnv env, int clsRef, int aref, int index, byte val)
void	setChar__Ljava_lang_Object_2IC__V(MJIEnv env, int clsRef, int aref, int index, char val)
void	setDouble__Ljava_lang_Object_2ID__V(MJIEnv env, int clsRef, int aref, int index, double val)
void	setFloat__Ljava_lang_Object_2IF__V(MJIEnv env, int clsRef, int aref, int index, float val)
void	setInt__Ljava_lang_Object_2II__V(MJIEnv env, int clsRef, int aref, int index, int val)
void	setLong__Ljava_lang_Object_2IJ__V(MJIEnv env, int clsRef, int aref, int index, long val)
void	setShort__Ljava_lang_Object_2IS__V(MJIEnv env, int clsRef, int aref, int index, short val)

Methods inherited from class gov.nasa.jpf.vm.NativePeer

getInstance, getInstance, getPeerClass, getPeerClassName, init, initialize, initializePeerClass

Methods inherited from class java.lang.Object

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

Constructor Detail

JPF_java_lang_reflect_Array

public JPF_java_lang_reflect_Array()

Method Detail

getLength__Ljava_lang_Object_2__I

public int getLength__Ljava_lang_Object_2__I(MJIEnv env,
                                    int clsObjRef,
                                    int objRef)

newArray__Ljava_lang_Class_2I__Ljava_lang_Object_2

public int newArray__Ljava_lang_Class_2I__Ljava_lang_Object_2(MJIEnv env,
                                                     int clsRef,
                                                     int componentTypeRef,
                                                     int length)

multiNewArray__Ljava_lang_Class_2_3I__Ljava_lang_Object_2

public int multiNewArray__Ljava_lang_Class_2_3I__Ljava_lang_Object_2(MJIEnv env,
                                                            int clsRef,
                                                            int componentTypeRef,
                                                            int dimArrayRef)

get__Ljava_lang_Object_2I__Ljava_lang_Object_2

public int get__Ljava_lang_Object_2I__Ljava_lang_Object_2(MJIEnv env,
                                                 int clsRef,
                                                 int aref,
                                                 int index)

getBoolean__Ljava_lang_Object_2I__Z

public boolean getBoolean__Ljava_lang_Object_2I__Z(MJIEnv env,
                                          int clsRef,
                                          int aref,
                                          int index)

getByte__Ljava_lang_Object_2I__B

public static byte getByte__Ljava_lang_Object_2I__B(MJIEnv env,
                                    int clsRef,
                                    int aref,
                                    int index)

getChar__Ljava_lang_Object_2I__C

public char getChar__Ljava_lang_Object_2I__C(MJIEnv env,
                                    int clsRef,
                                    int aref,
                                    int index)

getShort__Ljava_lang_Object_2I__S

public short getShort__Ljava_lang_Object_2I__S(MJIEnv env,
                                      int clsRef,
                                      int aref,
                                      int index)

getInt__Ljava_lang_Object_2I__I

public int getInt__Ljava_lang_Object_2I__I(MJIEnv env,
                                  int clsRef,
                                  int aref,
                                  int index)

getLong__Ljava_lang_Object_2I__J

public long getLong__Ljava_lang_Object_2I__J(MJIEnv env,
                                    int clsRef,
                                    int aref,
                                    int index)

getFloat__Ljava_lang_Object_2I__F

public float getFloat__Ljava_lang_Object_2I__F(MJIEnv env,
                                      int clsRef,
                                      int aref,
                                      int index)

getDouble__Ljava_lang_Object_2I__D

public double getDouble__Ljava_lang_Object_2I__D(MJIEnv env,
                                        int clsRef,
                                        int aref,
                                        int index)

setBoolean__Ljava_lang_Object_2IZ__V

public void setBoolean__Ljava_lang_Object_2IZ__V(MJIEnv env,
                                        int clsRef,
                                        int aref,
                                        int index,
                                        boolean val)

setByte__Ljava_lang_Object_2IB__V

public void setByte__Ljava_lang_Object_2IB__V(MJIEnv env,
                                     int clsRef,
                                     int aref,
                                     int index,
                                     byte val)

setChar__Ljava_lang_Object_2IC__V

public void setChar__Ljava_lang_Object_2IC__V(MJIEnv env,
                                     int clsRef,
                                     int aref,
                                     int index,
                                     char val)

setShort__Ljava_lang_Object_2IS__V

public void setShort__Ljava_lang_Object_2IS__V(MJIEnv env,
                                      int clsRef,
                                      int aref,
                                      int index,
                                      short val)

setInt__Ljava_lang_Object_2II__V

public void setInt__Ljava_lang_Object_2II__V(MJIEnv env,
                                    int clsRef,
                                    int aref,
                                    int index,
                                    int val)

setLong__Ljava_lang_Object_2IJ__V

public void setLong__Ljava_lang_Object_2IJ__V(MJIEnv env,
                                     int clsRef,
                                     int aref,
                                     int index,
                                     long val)

setFloat__Ljava_lang_Object_2IF__V

public void setFloat__Ljava_lang_Object_2IF__V(MJIEnv env,
                                      int clsRef,
                                      int aref,
                                      int index,
                                      float val)

setDouble__Ljava_lang_Object_2ID__V

public void setDouble__Ljava_lang_Object_2ID__V(MJIEnv env,
                                       int clsRef,
                                       int aref,
                                       int index,
                                       double val)