Messages

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

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

method

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

method	com.dmdirc.commandparser.CommandType__static_init
post	$VALUES == &new CommandType[](CommandType__ static_init#6)
post	TYPE_CHANNEL == &new CommandType(CommandType__ static_init#4)
post	$VALUES[3] == &new CommandType(CommandType__ static_init#4)
post	TYPE_CHAT == &new CommandType(CommandType__ static_init#3)
post	$VALUES[2] == &new CommandType(CommandType__ static_init#3)
post	TYPE_GLOBAL == &new CommandType(CommandType__ static_init#1)
post	$VALUES[0] == &new CommandType(CommandType__ static_init#1)
post	TYPE_QUERY == &new CommandType(CommandType__ static_init#5)
post	$VALUES[4] == &new CommandType(CommandType__ static_init#5)
post	TYPE_SERVER == &new CommandType(CommandType__ static_init#2)
post	$VALUES[1] == &new CommandType(CommandType__ static_init#2)
post	new CommandType(CommandType__static_init#1) num objects == 1
post	new CommandType(CommandType__static_init#2) num objects == 1
post	new CommandType(CommandType__static_init#3) num objects == 1
post	new CommandType(CommandType__static_init#4) num objects == 1
post	new CommandType(CommandType__static_init#5) num objects == 1
post	new CommandType[](CommandType__static_init#6) num objects == 1
post	$VALUES.length == 5
unanalyzed	call on java.lang.Enum

method	CommandType fromCommand(Command)
post	return_value in Addr_Set{null,&new CommandType(CommandType__static_init#5),&new CommandType(CommandType__static_init#4),&new CommandType(CommandType__static_init#3),&new CommandType(CommandType__static_init#2),&new CommandType(...

method	CommandType[] getComponentTypes()
post	return_value in Addr_Set{&new CommandType[](get ComponentTypes#2),&new CommandType[](getCompone ntTypes#1)}
post	new CommandType[](getComponentTypes#1) num objects <= 1
post	new CommandType[](getComponentTypes#1).length == 2
post	new CommandType[](getComponentTypes#1)[0] == this
post	new CommandType[](getComponentTypes#1)[0] != null
post	new CommandType[](getComponentTypes#1)[1] == &new CommandType(CommandType__static_init#3)
post	new CommandType[](getComponentTypes#2) num objects <= 1
post	new CommandType[](getComponentTypes#2).length == 1
post	new CommandType[](getComponentTypes#2)[0] == this
post	new CommandType[](getComponentTypes#2)[0] != null

method	com.dmdirc.commandparser.CommandType$1__static_ init
pre	(soft) init'ed(com.dmdirc.commandparser. CommandType__static_init.new CommandType[](CommandT ype__static_init#6)[...])
presumption	com.dmdirc.commandparser.CommandType:ordinal(... )@94 in {0..4}
presumption	com.dmdirc.commandparser.CommandType:ordinal(... )@94 - values(...).length in range
post	new int[](CommandType$1__static_init#1) num objects == 1

method	String toString()
pre	(soft) init'ed(com.dmdirc.commandparser. CommandType$1__static_init.new int[](CommandType$1_ _static_init#1)[...])
presumption	com.dmdirc.commandparser.CommandType:ordinal(... )@94 in {0..4}
presumption	values(...).length - com.dmdirc.commandparser. CommandType:ordinal(...)@94 in range
post	return_value in Addr_Set{&"Channel", &"Chat",&"Global",&"Query", &"Server",&"Unknown"}
test_vector	com.dmdirc.commandparser.CommandType$1__static_ init.new int[](CommandType$1__static_init#1)[...]: {1}, {2}, {3}, {4}, {5}, {-2³¹..0, 6..2³²-1}

method not available - call not analyzed Info call on int com.dmdirc.commandparser. CommandType:ordinal()

method not available - call not analyzed Info call on int com.dmdirc.commandparser. CommandType:ordinal()

	method not available - call not analyzed	Info	call on int com.dmdirc.commandparser. CommandType:ordinal()
	method not available - call not analyzed	Info	call on int com.dmdirc.commandparser. CommandType:ordinal()