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

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

method	com.dmdirc.actions.metatypes.ChannelEvents__ static_init
post	$VALUES == &new ChannelEvents[](ChannelEvents__ static_init#22)
post	CHANNEL_CTCP == &new ChannelEvents(ChannelEvent s__static_init#10)
post	$VALUES[3] == &new ChannelEvents(ChannelEvents_ _static_init#10)
post	CHANNEL_EVENT == &new ChannelEvents(ChannelEven ts__static_init#1)
post	$VALUES[0] == &new ChannelEvents(ChannelEvents_ _static_init#1)
post	CHANNEL_MODEEVENT == &new ChannelEvents(Channel Events__static_init#4)
post	$VALUES[1] == &new ChannelEvents(ChannelEvents_ _static_init#4)
post	CHANNEL_SOURCED_EVENT == &new ChannelEvents(Cha nnelEvents__static_init#13)
post	$VALUES[4] == &new ChannelEvents(ChannelEvents_ _static_init#13)
post	CHANNEL_SOURCED_EVENT_WITH_ARG == &new ChannelEvents(ChannelEvents__static_init#16)
post	$VALUES[5] == &new ChannelEvents(ChannelEvents_ _static_init#16)
post	CHANNEL_SOURCED_EVENT_WITH_VICTIM == &new ChannelEvents(ChannelEvents__static_init#19)
post	$VALUES[6] == &new ChannelEvents(ChannelEvents_ _static_init#19)
post	CHANNEL_TOPICEVENT == &new ChannelEvents(Channe lEvents__static_init#7)
post	$VALUES[2] == &new ChannelEvents(ChannelEvents_ _static_init#7)
post	new ChannelEvents(ChannelEvents__static_init#1) num objects == 1
post	new ChannelEvents(ChannelEvents__static_init#10) num objects == 1
post	new ChannelEvents(ChannelEvents__static_init#13) num objects == 1
post	new ChannelEvents(ChannelEvents__static_init#16) num objects == 1
post	new ChannelEvents(ChannelEvents__static_init#19) num objects == 1
post	new ChannelEvents(ChannelEvents__static_init#4) num objects == 1
post	new ChannelEvents(ChannelEvents__static_init#7) num objects == 1
post	new ChannelEvents[](ChannelEvents__static_init#22) num objects == 1
post	new Class[](ChannelEvents__static_init#12) num objects == 1
post	new Class[](ChannelEvents__static_init#15) num objects == 1
post	new Class[](ChannelEvents__static_init#18) num objects == 1
post	new Class[](ChannelEvents__static_init#21) num objects == 1
post	new Class[](ChannelEvents__static_init#3) num objects == 1
post	CHANNEL_EVENT.argTypes.length == 1
post	new Class[](ChannelEvents__static_init#6) num objects == 1
post	new Class[](ChannelEvents__static_init#9) num objects == 1
post	new String[](ChannelEvents__static_init#11) num objects == 1
post	new String[](ChannelEvents__static_init#14) num objects == 1
post	new String[](ChannelEvents__static_init#17) num objects == 1
post	new String[](ChannelEvents__static_init#2) num objects == 1
post	CHANNEL_EVENT.argNames.length == 1
post	new String[](ChannelEvents__static_init#20) num objects == 1
post	new String[](ChannelEvents__static_init#5) num objects == 1
post	new String[](ChannelEvents__static_init#8) num objects == 1
post	CHANNEL_EVENT.argNames == &new String[](Channel Events__static_init#2)
post	CHANNEL_EVENT.argTypes == &new Class[](ChannelE vents__static_init#3)
post	CHANNEL_CTCP.argNames == &new String[](ChannelE vents__static_init#11)
post	CHANNEL_CTCP.argTypes == &new Class[](ChannelEv ents__static_init#12)
post	CHANNEL_SOURCED_EVENT.argNames == &new String[](ChannelEvents__static_init#14)
post	CHANNEL_SOURCED_EVENT.argTypes == &new Class[](ChannelEvents__static_init#15)
post	CHANNEL_SOURCED_EVENT_WITH_ARG.argNames == &new String[](ChannelEvents__static_init#17)
post	CHANNEL_SOURCED_EVENT_WITH_ARG.argTypes == &new Class[](ChannelEvents__static_init#18)
post	CHANNEL_SOURCED_EVENT_WITH_VICTIM.argNames == &new String[](ChannelEvents__static_init#20)
post	CHANNEL_SOURCED_EVENT_WITH_VICTIM.argTypes == &new Class[](ChannelEvents__static_init#21)
post	CHANNEL_MODEEVENT.argNames == &new String[](ChannelEvents__static_init#5)
post	CHANNEL_MODEEVENT.argTypes == &new Class[](ChannelEvents__static_init#6)
post	CHANNEL_TOPICEVENT.argNames == &new String[](ChannelEvents__static_init#8)
post	CHANNEL_TOPICEVENT.argTypes == &new Class[](ChannelEvents__static_init#9)
post	$VALUES.length == 7
post	CHANNEL_CTCP.argTypes.length == 4
post	CHANNEL_SOURCED_EVENT_WITH_VICTIM.argTypes.length == 4
post	CHANNEL_CTCP.argNames.length == 4
post	CHANNEL_SOURCED_EVENT_WITH_VICTIM.argNames.length == 4
post	CHANNEL_SOURCED_EVENT.argTypes.length == 2
post	CHANNEL_MODEEVENT.argTypes.length == 2
post	CHANNEL_TOPICEVENT.argTypes.length == 2
post	CHANNEL_SOURCED_EVENT.argNames.length == 2
post	CHANNEL_MODEEVENT.argNames.length == 2
post	CHANNEL_TOPICEVENT.argNames.length == 2
post	CHANNEL_SOURCED_EVENT_WITH_ARG.argTypes.length == 3
post	CHANNEL_SOURCED_EVENT_WITH_ARG.argNames.length == 3
post	CHANNEL_CTCP.argNames[0] == &"channel"
post	CHANNEL_SOURCED_EVENT.argNames[0] == &"channel"
post	CHANNEL_SOURCED_EVENT_WITH_ARG.argNames[0] == &"channel"
post	CHANNEL_EVENT.argNames[0] == &"channel"
post	CHANNEL_SOURCED_EVENT_WITH_VICTIM.argNames[0] == &"channel"
post	CHANNEL_MODEEVENT.argNames[0] == &"channel"
post	CHANNEL_TOPICEVENT.argNames[0] == &"channel"
post	CHANNEL_CTCP.argNames[1] == &"user"
post	CHANNEL_SOURCED_EVENT.argNames[1] == &"user"
post	CHANNEL_SOURCED_EVENT_WITH_ARG.argNames[1] == &"user"
post	CHANNEL_SOURCED_EVENT_WITH_VICTIM.argNames[1] == &"user"
post	CHANNEL_CTCP.argNames[2] == &"type"
post	CHANNEL_CTCP.argNames[3] == &"content"
post	CHANNEL_SOURCED_EVENT_WITH_ARG.argNames[2] == &"message"
post	CHANNEL_SOURCED_EVENT_WITH_VICTIM.argNames[3] == &"message"
post	CHANNEL_SOURCED_EVENT_WITH_VICTIM.argNames[2] == &"victim"
post	CHANNEL_MODEEVENT.argNames[1] == &"modes"
post	CHANNEL_TOPICEVENT.argNames[1] == &"topic"
unanalyzed	call on java.lang.Enum

method	void com.dmdirc.actions.metatypes.ChannelEvents(St ring, 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 == &"Channel Events"