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

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

method	com.dmdirc.addons.dcc.actions.DCCActions__static_ init
post	$VALUES == &new DCCActions[](DCCActions__ static_init#12)
post	DCC_CHAT_MESSAGE == &new DCCActions(DCCActions_ _static_init#3)
post	$VALUES[2] == &new DCCActions(DCCActions__ static_init#3)
post	DCC_CHAT_REQUEST == &new DCCActions(DCCActions_ _static_init#1)
post	$VALUES[0] == &new DCCActions(DCCActions__ static_init#1)
post	DCC_CHAT_REQUEST_SENT == &new DCCActions(DCCAct ions__static_init#2)
post	$VALUES[1] == &new DCCActions(DCCActions__ static_init#2)
post	DCC_CHAT_SELFMESSAGE == &new DCCActions(DCCActi ons__static_init#4)
post	$VALUES[3] == &new DCCActions(DCCActions__ static_init#4)
post	DCC_CHAT_SOCKETCLOSED == &new DCCActions(DCCAct ions__static_init#5)
post	$VALUES[4] == &new DCCActions(DCCActions__ static_init#5)
post	DCC_CHAT_SOCKETOPENED == &new DCCActions(DCCAct ions__static_init#6)
post	$VALUES[5] == &new DCCActions(DCCActions__ static_init#6)
post	DCC_SEND_DATATRANSFERED == &new DCCActions(DCCActions__static_init#9)
post	$VALUES[8] == &new DCCActions(DCCActions__ static_init#9)
post	DCC_SEND_REQUEST == &new DCCActions(DCCActions_ _static_init#10)
post	$VALUES[9] == &new DCCActions(DCCActions__ static_init#10)
post	DCC_SEND_REQUEST_SENT == &new DCCActions(DCCAct ions__static_init#11)
post	$VALUES[10] == &new DCCActions(DCCActions__ static_init#11)
post	DCC_SEND_SOCKETCLOSED == &new DCCActions(DCCAct ions__static_init#7)
post	$VALUES[6] == &new DCCActions(DCCActions__ static_init#7)
post	DCC_SEND_SOCKETOPENED == &new DCCActions(DCCAct ions__static_init#8)
post	$VALUES[7] == &new DCCActions(DCCActions__ static_init#8)
post	new DCCActions(DCCActions__static_init#1) num objects == 1
post	new DCCActions(DCCActions__static_init#10) num objects == 1
post	new DCCActions(DCCActions__static_init#11) num objects == 1
post	new DCCActions(DCCActions__static_init#2) num objects == 1
post	new DCCActions(DCCActions__static_init#3) num objects == 1
post	new DCCActions(DCCActions__static_init#4) num objects == 1
post	new DCCActions(DCCActions__static_init#5) num objects == 1
post	new DCCActions(DCCActions__static_init#6) num objects == 1
post	new DCCActions(DCCActions__static_init#7) num objects == 1
post	new DCCActions(DCCActions__static_init#8) num objects == 1
post	new DCCActions(DCCActions__static_init#9) num objects == 1
post	new DCCActions[](DCCActions__static_init#12) num objects == 1
post	DCC_CHAT_REQUEST.name == &"DCC Chat Requested"
post	DCC_SEND_REQUEST.name == &"DCC Chat Requested"
post	DCC_CHAT_REQUEST.type == &com.dmdirc.addons. dcc.actions.DCCEvents__static_init.new DCCEvents(DCCEvents__static_init#1)
post	DCC_SEND_REQUEST.type == &com.dmdirc.addons. dcc.actions.DCCEvents__static_init.new DCCEvents(DCCEvents__static_init#28)
post	DCC_SEND_REQUEST_SENT.name == &"DCC Chat Request Sent"
post	DCC_CHAT_REQUEST_SENT.name == &"DCC Chat Request Sent"
post	DCC_SEND_REQUEST_SENT.type == &com.dmdirc. addons.dcc.actions.DCCEvents__static_init.new DCCEvents(DCCEvents__static_init#31)
post	DCC_CHAT_REQUEST_SENT.type == &com.dmdirc. addons.dcc.actions.DCCEvents__static_init.new DCCEvents(DCCEvents__static_init#4)
post	DCC_CHAT_MESSAGE.name == &"DCC Chat Message Recieved"
post	DCC_CHAT_MESSAGE.type == &com.dmdirc.addons. dcc.actions.DCCEvents__static_init.new DCCEvents(DCCEvents__static_init#7)
post	DCC_CHAT_SELFMESSAGE.name == &"DCC Chat Message Sent"
post	DCC_CHAT_SELFMESSAGE.type == &com.dmdirc. addons.dcc.actions.DCCEvents__static_init.new DCCEvents(DCCEvents__static_init#10)
post	DCC_CHAT_SOCKETCLOSED.name == &"DCC Chat Socket Closed"
post	DCC_CHAT_SOCKETCLOSED.type == &com.dmdirc. addons.dcc.actions.DCCEvents__static_init.new DCCEvents(DCCEvents__static_init#13)
post	DCC_CHAT_SOCKETOPENED.name == &"DCC Chat Socket Opened"
post	DCC_CHAT_SOCKETOPENED.type == &com.dmdirc. addons.dcc.actions.DCCEvents__static_init.new DCCEvents(DCCEvents__static_init#16)
post	DCC_SEND_SOCKETCLOSED.name == &"DCC Send Socket Closed"
post	DCC_SEND_DATATRANSFERED.name == &"DCC Send Socket Closed"
post	DCC_SEND_SOCKETCLOSED.type == &com.dmdirc. addons.dcc.actions.DCCEvents__static_init.new DCCEvents(DCCEvents__static_init#19)
post	DCC_SEND_SOCKETOPENED.name == &"DCC Send Socket Opened"
post	DCC_SEND_SOCKETOPENED.type == &com.dmdirc. addons.dcc.actions.DCCEvents__static_init.new DCCEvents(DCCEvents__static_init#22)
post	DCC_SEND_DATATRANSFERED.type == &com.dmdirc. addons.dcc.actions.DCCEvents__static_init.new DCCEvents(DCCEvents__static_init#25)
post	$VALUES.length == 11
unanalyzed	call on java.lang.Enum

method	void com.dmdirc.addons.dcc.actions. DCCActions(String, int, ActionMetaType, String)
post	this.name == name
post	init'ed(this.name)
post	this.type == type
post	init'ed(this.type)

method	ActionMetaType getType()
post	return_value == this.type
post	init'ed(return_value)

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