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

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

method

void com.dmdirc.config.prefs.PreferencesType(Strin g, int)

method	com.dmdirc.config.prefs.PreferencesType__static_ init
post	$VALUES == &new PreferencesType[](PreferencesTy pe__static_init#9)
post	BOOLEAN == &new PreferencesType(PreferencesType __static_init#3)
post	$VALUES[2] == &new PreferencesType(PreferencesT ype__static_init#3)
post	COLOUR == &new PreferencesType(PreferencesType_ _static_init#4)
post	$VALUES[3] == &new PreferencesType(PreferencesT ype__static_init#4)
post	DURATION == &new PreferencesType(PreferencesTyp e__static_init#7)
post	$VALUES[6] == &new PreferencesType(PreferencesT ype__static_init#7)
post	FONT == &new PreferencesType(PreferencesType__ static_init#8)
post	$VALUES[7] == &new PreferencesType(PreferencesT ype__static_init#8)
post	INTEGER == &new PreferencesType(PreferencesType __static_init#2)
post	$VALUES[1] == &new PreferencesType(PreferencesT ype__static_init#2)
post	MULTICHOICE == &new PreferencesType(Preferences Type__static_init#6)
post	$VALUES[5] == &new PreferencesType(PreferencesT ype__static_init#6)
post	OPTIONALCOLOUR == &new PreferencesType(Preferen cesType__static_init#5)
post	$VALUES[4] == &new PreferencesType(PreferencesT ype__static_init#5)
post	TEXT == &new PreferencesType(PreferencesType__ static_init#1)
post	$VALUES[0] == &new PreferencesType(PreferencesT ype__static_init#1)
post	new PreferencesType(PreferencesType__static_ init#1) num objects == 1
post	new PreferencesType(PreferencesType__static_ init#2) num objects == 1
post	new PreferencesType(PreferencesType__static_ init#3) num objects == 1
post	new PreferencesType(PreferencesType__static_ init#4) num objects == 1
post	new PreferencesType(PreferencesType__static_ init#5) num objects == 1
post	new PreferencesType(PreferencesType__static_ init#6) num objects == 1
post	new PreferencesType(PreferencesType__static_ init#7) num objects == 1
post	new PreferencesType(PreferencesType__static_ init#8) num objects == 1
post	new PreferencesType[](PreferencesType__static_ init#9) num objects == 1
post	$VALUES.length == 8
unanalyzed	call on java.lang.Enum