method	TimeActionType[] values()
pre	(soft) init'ed($VALUES[...])
post	return_value == &new TimeActionType[](values#1)
post	new TimeActionType[](values#1) num objects == 1
post	return_value.length == 3
post	return_value[...] == One-of{$VALUES[...], undefined}

method	TimeActionType valueOf(String)
post	init'ed(return_value)

method	com.dmdirc.addons.time.TimeActionType__static_ init
post	$VALUES == &new TimeActionType[](TimeActionType __static_init#4)
post	TIME_DAY == &new TimeActionType(TimeActionType_ _static_init#3)
post	$VALUES[2] == &new TimeActionType(TimeActionTyp e__static_init#3)
post	TIME_HOUR == &new TimeActionType(TimeActionType __static_init#2)
post	$VALUES[1] == &new TimeActionType(TimeActionTyp e__static_init#2)
post	TIME_MINUTE == &new TimeActionType(TimeActionTy pe__static_init#1)
post	$VALUES[0] == &new TimeActionType(TimeActionTyp e__static_init#1)
post	new TimeActionType(TimeActionType__static_init#1) num objects == 1
post	new TimeActionType(TimeActionType__static_init#2) num objects == 1
post	new TimeActionType(TimeActionType__static_init#3) num objects == 1
post	new TimeActionType[](TimeActionType__static_ init#4) num objects == 1
post	TIME_MINUTE.name == &"Every minute"
post	TIME_HOUR.name == &"Every hour"
post	TIME_DAY.name == &"Every day"
post	$VALUES.length == 3
unanalyzed	call on java.lang.Enum

method	void com.dmdirc.addons.time.TimeActionType(String, int, String)
post	this.name == name
post	init'ed(this.name)

method	ActionMetaType getType()
post	return_value == &com.dmdirc.addons.time. TimeActionMetaType__static_init.new TimeActionMetaType$1(TimeActionMetaType__static_in it#1)

method	String getName()
post	return_value == this.name
post	init'ed(return_value)