gov.nasa.jpf.vm

Class JPF_java_text_DateFormat

java.lang.Object

gov.nasa.jpf.vm.NativePeer

gov.nasa.jpf.vm.JPF_java_text_DateFormat

All Implemented Interfaces:

Cloneable

public class JPF_java_text_DateFormat
extends NativePeer

this is just the minimal support for DateFormat.parse(String)

Constructor Summary

Constructors

Constructor and Description
JPF_java_text_DateFormat()

Method Summary

Methods

Modifier and Type	Method and Description
int	format__Ljava_util_Date_2__Ljava_lang_String_2(MJIEnv env, int objref, int dateRef)
int	parse__Ljava_lang_String_2__Ljava_util_Date_2(MJIEnv env, int objref, int strRef)
void	setLenient__Z__V(MJIEnv env, int objref, boolean isLenient)
void	setTimeZone__Ljava_util_TimeZone_2__V(MJIEnv env, int objref, int timeZoneRef)

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_text_DateFormat

public JPF_java_text_DateFormat()

Method Detail

setTimeZone__Ljava_util_TimeZone_2__V

public void setTimeZone__Ljava_util_TimeZone_2__V(MJIEnv env,
                                         int objref,
                                         int timeZoneRef)

parse__Ljava_lang_String_2__Ljava_util_Date_2

public int parse__Ljava_lang_String_2__Ljava_util_Date_2(MJIEnv env,
                                                int objref,
                                                int strRef)

setLenient__Z__V

public void setLenient__Z__V(MJIEnv env,
                    int objref,
                    boolean isLenient)

format__Ljava_util_Date_2__Ljava_lang_String_2

public int format__Ljava_util_Date_2__Ljava_lang_String_2(MJIEnv env,
                                                 int objref,
                                                 int dateRef)