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

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

method

void com.dmdirc.commandparser.PopupType(String, int)

method	com.dmdirc.commandparser.PopupType__static_init
post	$VALUES == &new PopupType[](PopupType__static_ init#13)
post	CHAN_CHANNEL == &new PopupType(PopupType__ static_init#3)
post	$VALUES[2] == &new PopupType(PopupType__static_ init#3)
post	CHAN_HYPERLINK == &new PopupType(PopupType__ static_init#4)
post	$VALUES[3] == &new PopupType(PopupType__static_ init#4)
post	CHAN_NICK == &new PopupType(PopupType__static_ init#2)
post	$VALUES[1] == &new PopupType(PopupType__static_ init#2)
post	CHAN_NORMAL == &new PopupType(PopupType__ static_init#1)
post	$VALUES[0] == &new PopupType(PopupType__static_ init#1)
post	QUERY_CHANNEL == &new PopupType(PopupType__ static_init#7)
post	$VALUES[6] == &new PopupType(PopupType__static_ init#7)
post	QUERY_HYPERLINK == &new PopupType(PopupType__ static_init#8)
post	$VALUES[7] == &new PopupType(PopupType__static_ init#8)
post	QUERY_NICK == &new PopupType(PopupType__static_ init#6)
post	$VALUES[5] == &new PopupType(PopupType__static_ init#6)
post	QUERY_NORMAL == &new PopupType(PopupType__ static_init#5)
post	$VALUES[4] == &new PopupType(PopupType__static_ init#5)
post	SERVER_CHANNEL == &new PopupType(PopupType__ static_init#11)
post	$VALUES[10] == &new PopupType(PopupType__ static_init#11)
post	SERVER_HYPERLINK == &new PopupType(PopupType__ static_init#12)
post	$VALUES[11] == &new PopupType(PopupType__ static_init#12)
post	SERVER_NICK == &new PopupType(PopupType__ static_init#10)
post	$VALUES[9] == &new PopupType(PopupType__static_ init#10)
post	SERVER_NORMAL == &new PopupType(PopupType__ static_init#9)
post	$VALUES[8] == &new PopupType(PopupType__static_ init#9)
post	new PopupType(PopupType__static_init#1) num objects == 1
post	new PopupType(PopupType__static_init#10) num objects == 1
post	new PopupType(PopupType__static_init#11) num objects == 1
post	new PopupType(PopupType__static_init#12) num objects == 1
post	new PopupType(PopupType__static_init#2) num objects == 1
post	new PopupType(PopupType__static_init#3) num objects == 1
post	new PopupType(PopupType__static_init#4) num objects == 1
post	new PopupType(PopupType__static_init#5) num objects == 1
post	new PopupType(PopupType__static_init#6) num objects == 1
post	new PopupType(PopupType__static_init#7) num objects == 1
post	new PopupType(PopupType__static_init#8) num objects == 1
post	new PopupType(PopupType__static_init#9) num objects == 1
post	new PopupType[](PopupType__static_init#13) num objects == 1
post	$VALUES.length == 12
unanalyzed	call on java.lang.Enum