public class JPF_gov_nasa_jpf_DelegatingTimeZone extends NativePeer
Constructor and Description |
---|
JPF_gov_nasa_jpf_DelegatingTimeZone() |
Modifier and Type | Method and Description |
---|---|
int |
getOffset__IIIIII__I(MJIEnv env,
int objRef,
int era,
int year,
int month,
int day,
int dayOfWeek,
int milliseconds) |
boolean |
inDaylightTime__J__Z(MJIEnv env,
int objRef,
long time) |
void |
setID__Ljava_lang_String_2__V(MJIEnv env,
int objRef,
int idRef) |
boolean |
useDaylightTime____Z(MJIEnv env,
int objRef) |
getInstance, getInstance, getPeerClass, getPeerClassName, init, initialize, initializePeerClass
public void setID__Ljava_lang_String_2__V(MJIEnv env, int objRef, int idRef)
public int getOffset__IIIIII__I(MJIEnv env, int objRef, int era, int year, int month, int day, int dayOfWeek, int milliseconds)
public boolean inDaylightTime__J__Z(MJIEnv env, int objRef, long time)
public boolean useDaylightTime____Z(MJIEnv env, int objRef)