gov.nasa.jpf.vm

Class JPF_java_lang_Byte

java.lang.Object

gov.nasa.jpf.vm.NativePeer

gov.nasa.jpf.vm.JPF_java_lang_Byte

All Implemented Interfaces:

Cloneable

public class JPF_java_lang_Byte
extends NativePeer

Constructor Summary

Constructors

Constructor and Description
JPF_java_lang_Byte()

Method Summary

Methods

Modifier and Type	Method and Description
int	valueOf__B__Ljava_lang_Byte_2(MJIEnv env, int clsRef, byte 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_Byte

public JPF_java_lang_Byte()

Method Detail

valueOf__B__Ljava_lang_Byte_2

public int valueOf__B__Ljava_lang_Byte_2(MJIEnv env,
                                int clsRef,
                                byte val)