sun.misc

Class Hashing

java.lang.Object

sun.misc.Hashing

public class Hashing
extends Object

this is a model class for sun.misc.Hashing, which is a Java 7 class we model to make JPF compile under Java 6. We provide a peer for this class since its highly repetitive bytecode will otherwise cause arithmetic overflow, which is a condition we might check for. The code would otherwise also lengthen traces, esp. during system initialization

Method Summary

Methods

Modifier and Type	Method and Description
static int	murmur3_32(byte[] d)
static int	murmur3_32(char[] d)
static int	murmur3_32(int[] d)
static int	murmur3_32(int seed, byte[] d)
static int	murmur3_32(int seed, byte[] d, int off, int len)
static int	murmur3_32(int seed, char[] d)
static int	murmur3_32(int seed, char[] d, int off, int len)
static int	murmur3_32(int seed, int[] d)
static int	murmur3_32(int seed, int[] d, int off, int len)
static int	randomHashSeed(Object o)
static int	stringHash32(String s)

Methods inherited from class java.lang.Object

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

Method Detail

murmur3_32

public static int murmur3_32(byte[] d)

murmur3_32

public static int murmur3_32(int seed,
             byte[] d)

murmur3_32

public static int murmur3_32(int seed,
             byte[] d,
             int off,
             int len)

murmur3_32

public static int murmur3_32(int[] d)

murmur3_32

public static int murmur3_32(int seed,
             int[] d)

murmur3_32

public static int murmur3_32(int seed,
             int[] d,
             int off,
             int len)

murmur3_32

public static int murmur3_32(char[] d)

murmur3_32

public static int murmur3_32(int seed,
             char[] d)

murmur3_32

public static int murmur3_32(int seed,
             char[] d,
             int off,
             int len)

stringHash32

public static int stringHash32(String s)

randomHashSeed

public static int randomHashSeed(Object o)