gov.nasa.jpf.vm

Class JPF_java_lang_Short

java.lang.Object

gov.nasa.jpf.vm.NativePeer

gov.nasa.jpf.vm.JPF_java_lang_Short

All Implemented Interfaces:

Cloneable

public class JPF_java_lang_Short
extends NativePeer

MJI NativePeer class for java.lang.Short library abstraction

Constructor Summary

Constructors

Constructor and Description
JPF_java_lang_Short()

Method Summary

Methods

Modifier and Type	Method and Description
short	parseShort__Ljava_lang_String_2__S(MJIEnv env, int clsObjRef, int strRef)
short	parseShort__Ljava_lang_String_2I__S(MJIEnv env, int clsObjRef, int strRef, int radix)
int	toString__S__Ljava_lang_String_2(MJIEnv env, int objref, short val)
int	valueOf__S__Ljava_lang_Short_2(MJIEnv env, int clsRef, 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_Short

public JPF_java_lang_Short()

Method Detail

parseShort__Ljava_lang_String_2__S

public short parseShort__Ljava_lang_String_2__S(MJIEnv env,
                                       int clsObjRef,
                                       int strRef)

parseShort__Ljava_lang_String_2I__S

public short parseShort__Ljava_lang_String_2I__S(MJIEnv env,
                                        int clsObjRef,
                                        int strRef,
                                        int radix)

toString__S__Ljava_lang_String_2

public int toString__S__Ljava_lang_String_2(MJIEnv env,
                                   int objref,
                                   short val)

valueOf__S__Ljava_lang_Short_2

public int valueOf__S__Ljava_lang_Short_2(MJIEnv env,
                                 int clsRef,
                                 short val)