gov.nasa.jpf.vm

Class BoxObjectCacheManager

java.lang.Object

gov.nasa.jpf.vm.BoxObjectCacheManager

public class BoxObjectCacheManager
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
BoxObjectCacheManager()

Method Summary

Modifier and Type	Method and Description
static int	initByteCache(ThreadInfo ti)
static int	initCharCache(ThreadInfo ti)
static int	initIntCache(ThreadInfo ti)
static int	initLongCache(ThreadInfo ti)
static int	initShortCache(ThreadInfo ti)
static int	valueOfBoolean(ThreadInfo ti, boolean b)
static int	valueOfByte(ThreadInfo ti, byte b)
static int	valueOfCharacter(ThreadInfo ti, char c)
static int	valueOfInteger(ThreadInfo ti, int i)
static int	valueOfLong(ThreadInfo ti, long l)
static int	valueOfShort(ThreadInfo ti, short s)

Methods inherited from class java.lang.Object

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

Constructor Detail

BoxObjectCacheManager

public BoxObjectCacheManager()

Method Detail

valueOfBoolean

public static int valueOfBoolean(ThreadInfo ti,
                                 boolean b)

initByteCache

public static int initByteCache(ThreadInfo ti)

valueOfByte

public static int valueOfByte(ThreadInfo ti,
                              byte b)

initCharCache

public static int initCharCache(ThreadInfo ti)

valueOfCharacter

public static int valueOfCharacter(ThreadInfo ti,
                                   char c)

initShortCache

public static int initShortCache(ThreadInfo ti)

valueOfShort

public static int valueOfShort(ThreadInfo ti,
                               short s)

initIntCache

public static int initIntCache(ThreadInfo ti)

valueOfInteger

public static int valueOfInteger(ThreadInfo ti,
                                 int i)

initLongCache

public static int initLongCache(ThreadInfo ti)

valueOfLong

public static int valueOfLong(ThreadInfo ti,
                              long l)