org.evomaster.client.java.controller.problem.rpc.schema.types

Class DateType

java.lang.Object

org.evomaster.client.java.controller.problem.rpc.schema.types.TypeSchema

org.evomaster.client.java.controller.problem.rpc.schema.types.DateType

Direct Known Subclasses:

LocalDateType, UtilDateType

public abstract class DateType
extends TypeSchema

type schema for date

Field Summary

Fields

Modifier and Type	Field and Description
static SimpleDateFormat	DATE_FORMATTER complete date format which could conform with time long value note that if we employ this format, we need to extend time gene for supporting millisecond and timezone
IntParam	day day field
IntParam	hour hour field
IntParam	millisecond millisecond field
IntParam	minute minute field
IntParam	month month field
IntParam	second second field
static SimpleDateFormat	SIMPLE_DATE_FORMATTER simple date format current default setting for handling date
IntParam	timezone time zone field
IntParam	year year field

Fields inherited from class org.evomaster.client.java.controller.problem.rpc.schema.types.TypeSchema

depth, spec

Constructor Summary

Constructors

Constructor and Description
DateType(String type, String fullTypeName, Class<?> clazz, JavaDtoSpec spec)
DateType(String type, String fullTypeName, Class<?> clazz, JavaDtoSpec spec, List<IntParam> dateFields)

Method Summary

Modifier and Type	Method and Description
protected String	formatZZZZ(int zone)
List<IntParam>	getDateFields()
abstract Object	getDateInstance(List<IntParam> values)
abstract long	getDateLong(List<IntParam> values)
abstract String	getDateString(List<IntParam> values)
abstract List<IntParam>	getIntValues(Object date) extract value of fields based on the date instance
protected void	setDateFields(List<IntParam> fields)

Methods inherited from class org.evomaster.client.java.controller.problem.rpc.schema.types.TypeSchema

copy, getClazz, getDto, getFullTypeName, getFullTypeNameWithGenericType, getSimpleTypeName, getTypeNameForInstanceInJavaOrKotlin, sameType, setOriginalType

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

year

public final IntParam year

year field

month

public final IntParam month

month field

day

public final IntParam day

day field

hour

public final IntParam hour

hour field

minute

public final IntParam minute

minute field

second

public final IntParam second

second field

millisecond

public final IntParam millisecond

millisecond field

timezone

public final IntParam timezone

time zone field

SIMPLE_DATE_FORMATTER

public static final SimpleDateFormat SIMPLE_DATE_FORMATTER

simple date format current default setting for handling date

DATE_FORMATTER

public static final SimpleDateFormat DATE_FORMATTER

complete date format which could conform with time long value note that if we employ this format, we need to extend time gene for supporting millisecond and timezone

Constructor Detail

DateType

public DateType(String type,
                String fullTypeName,
                Class<?> clazz,
                JavaDtoSpec spec)

DateType

public DateType(String type,
                String fullTypeName,
                Class<?> clazz,
                JavaDtoSpec spec,
                List<IntParam> dateFields)

Method Detail

setDateFields

protected void setDateFields(List<IntParam> fields)

getDateFields

public List<IntParam> getDateFields()

Returns:

a list of date fields used in this type

getDateInstance

public abstract Object getDateInstance(List<IntParam> values)

Parameters:

values - are a list of values for the date

Returns:

a date instance based on the values

getIntValues

public abstract List<IntParam> getIntValues(Object date)

extract value of fields based on the date instance

Parameters:

date - is an instance of Date, eg, java.util.Date or java.time.LocalDate

Returns:

a list of fields which contains specific values

getDateLong

public abstract long getDateLong(List<IntParam> values)

Parameters:

values -

Returns:

date with long format

getDateString

public abstract String getDateString(List<IntParam> values)

Parameters:

values - are a list of values for the date

Returns:

a string representing the date with the specified values

formatZZZZ

protected String formatZZZZ(int zone)