gov.nasa.jpf.vm

Class JPF_java_lang_Boolean

java.lang.Object

gov.nasa.jpf.vm.NativePeer

gov.nasa.jpf.vm.JPF_java_lang_Boolean

All Implemented Interfaces:

Cloneable

public class JPF_java_lang_Boolean
extends NativePeer

Constructor Summary

Constructors

Constructor and Description
JPF_java_lang_Boolean()

Method Summary

Methods

Modifier and Type	Method and Description
int	valueOf__Z__Ljava_lang_Boolean_2(MJIEnv env, int clsRef, boolean 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_Boolean

public JPF_java_lang_Boolean()

Method Detail

valueOf__Z__Ljava_lang_Boolean_2

public int valueOf__Z__Ljava_lang_Boolean_2(MJIEnv env,
                                   int clsRef,
                                   boolean val)