gov.nasa.jpf.vm

Class JPF_java_lang_Long

java.lang.Object

gov.nasa.jpf.vm.NativePeer

gov.nasa.jpf.vm.JPF_java_lang_Long

All Implemented Interfaces:

Cloneable

public class JPF_java_lang_Long
extends NativePeer

MJI NativePeer class for java.lang.Long library abstraction

Constructor Summary

Constructors

Constructor and Description
JPF_java_lang_Long()

Method Summary

Methods

Modifier and Type	Method and Description
long	parseLong__Ljava_lang_String_2__J(MJIEnv env, int clsObjRef, int strRef)
long	parseLong__Ljava_lang_String_2I__J(MJIEnv env, int clsObjRef, int strRef, int radix)
int	toBinaryString__J__Ljava_lang_String_2(MJIEnv env, int objref, long val)
int	toHexString__J__Ljava_lang_String_2(MJIEnv env, int objref, long val)
int	toOctalString__J__Ljava_lang_String_2(MJIEnv env, int objref, long val)
int	toString__J__Ljava_lang_String_2(MJIEnv env, int objref, long val)
int	toString__JI__Ljava_lang_String_2(MJIEnv env, int objref, long val, int radix)
int	valueOf__J__Ljava_lang_Long_2(MJIEnv env, int clsRef, long 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_Long

public JPF_java_lang_Long()

Method Detail

parseLong__Ljava_lang_String_2I__J

public long parseLong__Ljava_lang_String_2I__J(MJIEnv env,
                                      int clsObjRef,
                                      int strRef,
                                      int radix)

parseLong__Ljava_lang_String_2__J

public long parseLong__Ljava_lang_String_2__J(MJIEnv env,
                                     int clsObjRef,
                                     int strRef)

toBinaryString__J__Ljava_lang_String_2

public int toBinaryString__J__Ljava_lang_String_2(MJIEnv env,
                                         int objref,
                                         long val)

toHexString__J__Ljava_lang_String_2

public int toHexString__J__Ljava_lang_String_2(MJIEnv env,
                                      int objref,
                                      long val)

toOctalString__J__Ljava_lang_String_2

public int toOctalString__J__Ljava_lang_String_2(MJIEnv env,
                                        int objref,
                                        long val)

toString__J__Ljava_lang_String_2

public int toString__J__Ljava_lang_String_2(MJIEnv env,
                                   int objref,
                                   long val)

toString__JI__Ljava_lang_String_2

public int toString__JI__Ljava_lang_String_2(MJIEnv env,
                                    int objref,
                                    long val,
                                    int radix)

valueOf__J__Ljava_lang_Long_2

public int valueOf__J__Ljava_lang_Long_2(MJIEnv env,
                                int clsRef,
                                long val)