gov.nasa.jpf.vm

Class JPF_java_util_Date

java.lang.Object

gov.nasa.jpf.vm.NativePeer

gov.nasa.jpf.vm.JPF_java_util_Date

All Implemented Interfaces:

Cloneable

public class JPF_java_util_Date
extends NativePeer

Constructor Summary

Constructors

Constructor and Description
JPF_java_util_Date()

Method Summary

Methods

Modifier and Type	Method and Description
int	toString____Ljava_lang_String_2(MJIEnv env, int dateRef)

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_util_Date

public JPF_java_util_Date()

Method Detail

toString____Ljava_lang_String_2

public int toString____Ljava_lang_String_2(MJIEnv env,
                                  int dateRef)