gov.nasa.jpf.vm

Class JPF_sun_misc_Hashing

java.lang.Object

gov.nasa.jpf.vm.NativePeer

gov.nasa.jpf.vm.JPF_sun_misc_Hashing

All Implemented Interfaces:

Cloneable

public class JPF_sun_misc_Hashing
extends NativePeer

simple forwarding sun.misc.Hashing peer to speed up execution and shorten traces

Constructor Summary

Constructors

Constructor and Description
JPF_sun_misc_Hashing()

Method Summary

Methods

Modifier and Type	Method and Description
int	murmur3_32__I_3BII__I(MJIEnv env, int clsRef, int seed, int dataRef, int offset, int len)
int	murmur3_32__I_3CII__I(MJIEnv env, int clsRef, int seed, int dataRef, int offset, int len)
int	murmur3_32__I_3III__I(MJIEnv env, int clsRef, int seed, int dataRef, int offset, int len)
int	randomHashSeed__Ljava_lang_Object_2__I(MJIEnv env, int clsRef, int objRef)
int	stringHash32__Ljava_lang_String_2__I(MJIEnv env, int clsRef, int sRef)

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_sun_misc_Hashing

public JPF_sun_misc_Hashing()

Method Detail

murmur3_32__I_3BII__I

public int murmur3_32__I_3BII__I(MJIEnv env,
                        int clsRef,
                        int seed,
                        int dataRef,
                        int offset,
                        int len)

murmur3_32__I_3CII__I

public int murmur3_32__I_3CII__I(MJIEnv env,
                        int clsRef,
                        int seed,
                        int dataRef,
                        int offset,
                        int len)

murmur3_32__I_3III__I

public int murmur3_32__I_3III__I(MJIEnv env,
                        int clsRef,
                        int seed,
                        int dataRef,
                        int offset,
                        int len)

stringHash32__Ljava_lang_String_2__I

public int stringHash32__Ljava_lang_String_2__I(MJIEnv env,
                                       int clsRef,
                                       int sRef)

randomHashSeed__Ljava_lang_Object_2__I

public int randomHashSeed__Ljava_lang_Object_2__I(MJIEnv env,
                                         int clsRef,
                                         int objRef)