gov.nasa.jpf.vm

Class JPF_java_lang_Float

java.lang.Object

gov.nasa.jpf.vm.NativePeer

gov.nasa.jpf.vm.JPF_java_lang_Float

All Implemented Interfaces:

Cloneable

public class JPF_java_lang_Float
extends NativePeer

MJI NativePeer class for java.lang.Float library abstraction

Constructor Summary

Constructors

Constructor and Description
JPF_java_lang_Float()

Method Summary

Methods

Modifier and Type	Method and Description
int	floatToIntBits__F__I(MJIEnv env, int rcls, float v0)
int	floatToRawIntBits__F__I(MJIEnv env, int rcls, float v0)
float	intBitsToFloat__I__F(MJIEnv env, int rcls, int v0)
boolean	isInfinite__F__Z(MJIEnv env, int rcls, float v)
boolean	isNaN__F__Z(MJIEnv env, int rcls, float v)

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_Float

public JPF_java_lang_Float()

Method Detail

floatToIntBits__F__I

public int floatToIntBits__F__I(MJIEnv env,
                       int rcls,
                       float v0)

floatToRawIntBits__F__I

public int floatToRawIntBits__F__I(MJIEnv env,
                          int rcls,
                          float v0)

intBitsToFloat__I__F

public float intBitsToFloat__I__F(MJIEnv env,
                         int rcls,
                         int v0)

isInfinite__F__Z

public boolean isInfinite__F__Z(MJIEnv env,
                       int rcls,
                       float v)

isNaN__F__Z

public boolean isNaN__F__Z(MJIEnv env,
                  int rcls,
                  float v)