gov.nasa.jpf.vm

Class JPF_sun_misc_VM

java.lang.Object

gov.nasa.jpf.vm.NativePeer

gov.nasa.jpf.vm.JPF_sun_misc_VM

All Implemented Interfaces:

Cloneable

public class JPF_sun_misc_VM
extends NativePeer

this is just a placeholder for now, we don't support its functionality

Constructor Summary

Constructors

Constructor and Description
JPF_sun_misc_VM()

Method Summary

Methods

Modifier and Type	Method and Description
void	initialize____V(MJIEnv env, int clsObjRef)

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_sun_misc_VM

public JPF_sun_misc_VM()

Method Detail

initialize____V

public void initialize____V(MJIEnv env,
                   int clsObjRef)