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

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

method	com.dmdirc.actions.metatypes.ServerEvents__static_ init
post	$VALUES == &new ServerEvents[](ServerEvents__ static_init#28)
post	SERVER_CTCP_EVENT == &new ServerEvents(ServerEv ents__static_init#16)
post	$VALUES[5] == &new ServerEvents(ServerEvents__ static_init#16)
post	SERVER_EVENT == &new ServerEvents(ServerEvents_ _static_init#25)
post	$VALUES[8] == &new ServerEvents(ServerEvents__ static_init#25)
post	SERVER_EVENT_WITH_ARG == &new ServerEvents(Serv erEvents__static_init#7)
post	$VALUES[2] == &new ServerEvents(ServerEvents__ static_init#7)
post	SERVER_INVITE == &new ServerEvents(ServerEvents __static_init#22)
post	$VALUES[7] == &new ServerEvents(ServerEvents__ static_init#22)
post	SERVER_NICKCHANGE == &new ServerEvents(ServerEv ents__static_init#10)
post	$VALUES[3] == &new ServerEvents(ServerEvents__ static_init#10)
post	SERVER_NUMERIC == &new ServerEvents(ServerEvent s__static_init#4)
post	$VALUES[1] == &new ServerEvents(ServerEvents__ static_init#4)
post	SERVER_PING == &new ServerEvents(ServerEvents__ static_init#1)
post	$VALUES[0] == &new ServerEvents(ServerEvents__ static_init#1)
post	SERVER_SOURCED_EVENT_WITH_ARG == &new ServerEvents(ServerEvents__static_init#13)
post	$VALUES[4] == &new ServerEvents(ServerEvents__ static_init#13)
post	SERVER_UNKNOWN_EVENT == &new ServerEvents(Serve rEvents__static_init#19)
post	$VALUES[6] == &new ServerEvents(ServerEvents__ static_init#19)
post	new Class[](ServerEvents__static_init#12) num objects == 1
post	new Class[](ServerEvents__static_init#15) num objects == 1
post	new Class[](ServerEvents__static_init#18) num objects == 1
post	new Class[](ServerEvents__static_init#21) num objects == 1
post	new Class[](ServerEvents__static_init#24) num objects == 1
post	new Class[](ServerEvents__static_init#27) num objects == 1
post	SERVER_EVENT.argTypes.length == 1
post	new Class[](ServerEvents__static_init#3) num objects == 1
post	new Class[](ServerEvents__static_init#6) num objects == 1
post	new Class[](ServerEvents__static_init#9) num objects == 1
post	new ServerEvents(ServerEvents__static_init#1) num objects == 1
post	new ServerEvents(ServerEvents__static_init#10) num objects == 1
post	new ServerEvents(ServerEvents__static_init#13) num objects == 1
post	new ServerEvents(ServerEvents__static_init#16) num objects == 1
post	new ServerEvents(ServerEvents__static_init#19) num objects == 1
post	new ServerEvents(ServerEvents__static_init#22) num objects == 1
post	new ServerEvents(ServerEvents__static_init#25) num objects == 1
post	new ServerEvents(ServerEvents__static_init#4) num objects == 1
post	new ServerEvents(ServerEvents__static_init#7) num objects == 1
post	new ServerEvents[](ServerEvents__static_init#28) num objects == 1
post	new String[](ServerEvents__static_init#11) num objects == 1
post	new String[](ServerEvents__static_init#14) num objects == 1
post	new String[](ServerEvents__static_init#17) num objects == 1
post	new String[](ServerEvents__static_init#2) num objects == 1
post	new String[](ServerEvents__static_init#20) num objects == 1
post	new String[](ServerEvents__static_init#23) num objects == 1
post	new String[](ServerEvents__static_init#26) num objects == 1
post	SERVER_EVENT.argNames.length == 1
post	new String[](ServerEvents__static_init#5) num objects == 1
post	new String[](ServerEvents__static_init#8) num objects == 1
post	SERVER_NICKCHANGE.argTypes.length == 3
post	SERVER_SOURCED_EVENT_WITH_ARG.argTypes.length == 3
post	SERVER_INVITE.argTypes.length == 3
post	SERVER_NUMERIC.argTypes.length == 3
post	SERVER_NICKCHANGE.argNames.length == 3
post	SERVER_SOURCED_EVENT_WITH_ARG.argNames.length == 3
post	SERVER_INVITE.argNames.length == 3
post	SERVER_NUMERIC.argNames.length == 3
post	SERVER_CTCP_EVENT.argTypes.length == 4
post	SERVER_UNKNOWN_EVENT.argTypes.length == 4
post	SERVER_CTCP_EVENT.argNames.length == 4
post	SERVER_UNKNOWN_EVENT.argNames.length == 4
post	SERVER_PING.argTypes.length == 2
post	SERVER_EVENT_WITH_ARG.argTypes.length == 2
post	SERVER_PING.argNames.length == 2
post	SERVER_EVENT_WITH_ARG.argNames.length == 2
post	SERVER_PING.argNames == &new String[](ServerEve nts__static_init#2)
post	SERVER_PING.argTypes == &new Class[](ServerEven ts__static_init#3)
post	SERVER_NICKCHANGE.argNames == &new String[](ServerEvents__static_init#11)
post	SERVER_NICKCHANGE.argTypes == &new Class[](ServerEvents__static_init#12)
post	SERVER_SOURCED_EVENT_WITH_ARG.argNames == &new String[](ServerEvents__static_init#14)
post	SERVER_SOURCED_EVENT_WITH_ARG.argTypes == &new Class[](ServerEvents__static_init#15)
post	SERVER_CTCP_EVENT.argNames == &new String[](ServerEvents__static_init#17)
post	SERVER_CTCP_EVENT.argTypes == &new Class[](ServerEvents__static_init#18)
post	SERVER_UNKNOWN_EVENT.argNames == &new String[](ServerEvents__static_init#20)
post	SERVER_UNKNOWN_EVENT.argTypes == &new Class[](ServerEvents__static_init#21)
post	SERVER_INVITE.argNames == &new String[](ServerE vents__static_init#23)
post	SERVER_INVITE.argTypes == &new Class[](ServerEv ents__static_init#24)
post	SERVER_EVENT.argNames == &new String[](ServerEv ents__static_init#26)
post	SERVER_EVENT.argTypes == &new Class[](ServerEve nts__static_init#27)
post	SERVER_NUMERIC.argNames == &new String[](ServerEvents__static_init#5)
post	SERVER_NUMERIC.argTypes == &new Class[](ServerEvents__static_init#6)
post	SERVER_EVENT_WITH_ARG.argNames == &new String[](ServerEvents__static_init#8)
post	SERVER_EVENT_WITH_ARG.argTypes == &new Class[](ServerEvents__static_init#9)
post	$VALUES.length == 9
post	SERVER_NICKCHANGE.argNames[0] == &"server"
post	SERVER_SOURCED_EVENT_WITH_ARG.argNames[0] == &"server"
post	SERVER_CTCP_EVENT.argNames[0] == &"server"
post	SERVER_PING.argNames[0] == &"server"
post	SERVER_UNKNOWN_EVENT.argNames[0] == &"server"
post	SERVER_INVITE.argNames[0] == &"server"
post	SERVER_EVENT.argNames[0] == &"server"
post	SERVER_NUMERIC.argNames[0] == &"server"
post	SERVER_EVENT_WITH_ARG.argNames[0] == &"server"
post	SERVER_NICKCHANGE.argNames[1] == &"old nickname"
post	SERVER_NICKCHANGE.argNames[2] == &"new nickname"
post	SERVER_SOURCED_EVENT_WITH_ARG.argNames[1] == &"user"
post	SERVER_CTCP_EVENT.argNames[1] == &"user"
post	SERVER_SOURCED_EVENT_WITH_ARG.argNames[2] == &"message"
post	SERVER_UNKNOWN_EVENT.argNames[3] == &"message"
post	SERVER_EVENT_WITH_ARG.argNames[1] == &"message"
post	SERVER_CTCP_EVENT.argNames[2] == &"type"
post	SERVER_CTCP_EVENT.argNames[3] == &"content"
post	SERVER_PING.argNames[1] == &"ping"
post	SERVER_UNKNOWN_EVENT.argNames[1] == &"source"
post	SERVER_INVITE.argNames[1] == &"source"
post	SERVER_UNKNOWN_EVENT.argNames[2] == &"target"
post	SERVER_INVITE.argNames[2] == &"channel"
post	SERVER_NUMERIC.argNames[1] == &"numeric"
post	SERVER_NUMERIC.argNames[2] == &"arguments"
unanalyzed	call on java.lang.Enum

method	void com.dmdirc.actions.metatypes.ServerEvents(Str ing, int, String[], Class[])
post	this.argNames == argNames
post	init'ed(this.argNames)
post	this.argTypes == argTypes
post	init'ed(this.argTypes)

method	int getArity()
pre	this.argNames != null
pre	this.argNames.length <= 232-1
post	return_value == this.argNames.length
post	return_value >= 0

method	Class[] getArgTypes()
pre	init'ed(this.argTypes)
post	return_value == this.argTypes
post	init'ed(return_value)

method	String[] getArgNames()
pre	init'ed(this.argNames)
post	return_value == this.argNames
post	init'ed(return_value)

method	String getGroup()
post	return_value == &"Server.Private Events"