Messages

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

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

method	com.dmdirc.ServerState__static_init
post	$VALUES == &new ServerState[](ServerState__ static_init#15)
post	CLOSING == &new ServerState(ServerState__ static_init#13)
post	$VALUES[6] == &new ServerState(ServerState__ static_init#13)
post	CONNECTED == &new ServerState(ServerState__ static_init#3)
post	$VALUES[1] == &new ServerState(ServerState__ static_init#3)
post	CONNECTING == &new ServerState(ServerState__ static_init#1)
post	$VALUES[0] == &new ServerState(ServerState__ static_init#1)
post	DISCONNECTED == &new ServerState(ServerState__ static_init#7)
post	$VALUES[3] == &new ServerState(ServerState__ static_init#7)
post	DISCONNECTING == &new ServerState(ServerState__ static_init#9)
post	$VALUES[4] == &new ServerState(ServerState__ static_init#9)
post	RECONNECT_WAIT == &new ServerState(ServerState_ _static_init#11)
post	$VALUES[5] == &new ServerState(ServerState__ static_init#11)
post	TRANSIENTLY_DISCONNECTED == &new ServerState(ServerState__static_init#5)
post	$VALUES[2] == &new ServerState(ServerState__ static_init#5)
post	new ServerState(ServerState__static_init#1) num objects == 1
post	new ServerState(ServerState__static_init#11) num objects == 1
post	new ServerState(ServerState__static_init#13) num objects == 1
post	new ServerState(ServerState__static_init#3) num objects == 1
post	new ServerState(ServerState__static_init#5) num objects == 1
post	new ServerState(ServerState__static_init#7) num objects == 1
post	new ServerState(ServerState__static_init#9) num objects == 1
post	new ServerState[](ServerState__static_init#15) num objects == 1
post	init'ed(CONNECTING.transitions)
post	init'ed(RECONNECT_WAIT.transitions)
post	init'ed(CLOSING.transitions)
post	init'ed(CONNECTED.transitions)
post	init'ed(TRANSIENTLY_DISCONNECTED.transitions)
post	init'ed(DISCONNECTED.transitions)
post	init'ed(DISCONNECTING.transitions)
post	$VALUES.length == 7
unanalyzed	call on java.lang.Enum
unanalyzed	call on java.util.Arrays:asList

method	void com.dmdirc.ServerState(String, int, String[])
post	init'ed(this.transitions)

method	bool canTransitionTo(ServerState)
pre	state != null
pre	this.transitions != null
post	init'ed(return_value)

method not available - call not analyzed Info call on String com.dmdirc.ServerState:name()

method	bool isDisconnected()
post	init'ed(return_value)