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

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

method	com.dmdirc.actions.metatypes.ActionEvents__static_ init
post	$VALUES == &new ActionEvents[](ActionEvents__ static_init#7)
post	ACTION_DELETED == &new ActionEvents(ActionEvent s__static_init#4)
post	$VALUES[1] == &new ActionEvents(ActionEvents__ static_init#4)
post	ACTION_EVENT == &new ActionEvents(ActionEvents_ _static_init#1)
post	$VALUES[0] == &new ActionEvents(ActionEvents__ static_init#1)
post	new ActionEvents(ActionEvents__static_init#1) num objects == 1
post	new ActionEvents(ActionEvents__static_init#4) num objects == 1
post	new ActionEvents[](ActionEvents__static_init#7) num objects == 1
post	new Class[](ActionEvents__static_init#3) num objects == 1
post	ACTION_EVENT.argTypes.length == 1
post	new Class[](ActionEvents__static_init#6) num objects == 1
post	new String[](ActionEvents__static_init#2) num objects == 1
post	ACTION_EVENT.argNames.length == 1
post	new String[](ActionEvents__static_init#5) num objects == 1
post	ACTION_EVENT.argNames == &new String[](ActionEv ents__static_init#2)
post	ACTION_EVENT.argTypes == &new Class[](ActionEve nts__static_init#3)
post	ACTION_DELETED.argNames == &new String[](ActionEvents__static_init#5)
post	ACTION_DELETED.argTypes == &new Class[](ActionEvents__static_init#6)
post	$VALUES.length == 2
post	ACTION_DELETED.argTypes.length == 2
post	ACTION_DELETED.argNames.length == 2
post	ACTION_EVENT.argNames[0] == &"action"
post	ACTION_DELETED.argNames[0] == &"Action group"
post	ACTION_DELETED.argNames[1] == &"Action name"
unanalyzed	call on java.lang.Enum

method	void com.dmdirc.actions.metatypes.ActionEvents(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 == &"Action Events"