DCCActions.java

DCCActions.java

current inspection = 2009-09-03 21:56:13 (id #1)

Filter Options

Annotation Kind:

pre

presumption

post

unanalyzed

test_vector

void com.dmdirc.addons.dcc.actions.DCCActions(String, int, ActionMetaType, String)

Kind	Annotation Text
post	init'ed(this.name)
post	init'ed(this.type)
post	this.name == name
post	this.type == type

com.dmdirc.addons.dcc.actions.DCCActions__static_init

Kind	Annotation Text
post	$VALUES == &new DCCActions[](DCCActions__ static_init#12)
post	$VALUES.length == 11
post	$VALUES[0] == &new DCCActions(DCCActions__ static_init#1)
post	$VALUES[10] == &new DCCActions(DCCActions__ static_init#11)
post	$VALUES[1] == &new DCCActions(DCCActions__ static_init#2)
post	$VALUES[2] == &new DCCActions(DCCActions__ static_init#3)
post	$VALUES[3] == &new DCCActions(DCCActions__ static_init#4)
post	$VALUES[4] == &new DCCActions(DCCActions__ static_init#5)
post	$VALUES[5] == &new DCCActions(DCCActions__ static_init#6)
post	$VALUES[6] == &new DCCActions(DCCActions__ static_init#7)
post	$VALUES[7] == &new DCCActions(DCCActions__ static_init#8)
post	$VALUES[8] == &new DCCActions(DCCActions__ static_init#9)
post	$VALUES[9] == &new DCCActions(DCCActions__ static_init#10)
post	DCC_CHAT_MESSAGE == &new DCCActions(DCCActions_ _static_init#3)
post	DCC_CHAT_MESSAGE.name == &"DCC Chat Message Recieved"
post	DCC_CHAT_MESSAGE.type == &com.dmdirc.addons. dcc.actions.DCCEvents__static_init.new DCCEvents(DCCEvents__static_init#7)
post	DCC_CHAT_REQUEST == &new DCCActions(DCCActions_ _static_init#1)
post	DCC_CHAT_REQUEST.name == &"DCC Chat Requested"
post	DCC_CHAT_REQUEST.type == &com.dmdirc.addons. dcc.actions.DCCEvents__static_init.new DCCEvents(DCCEvents__static_init#1)
post	DCC_CHAT_REQUEST_SENT == &new DCCActions(DCCAct ions__static_init#2)
post	DCC_CHAT_REQUEST_SENT.name == &"DCC Chat Request Sent"
post	DCC_CHAT_REQUEST_SENT.type == &com.dmdirc. addons.dcc.actions.DCCEvents__static_init.new DCCEvents(DCCEvents__static_init#4)
post	DCC_CHAT_SELFMESSAGE == &new DCCActions(DCCActi ons__static_init#4)
post	DCC_CHAT_SELFMESSAGE.name == &"DCC Chat Message Sent"
post	DCC_CHAT_SELFMESSAGE.type == &com.dmdirc. addons.dcc.actions.DCCEvents__static_init.new DCCEvents(DCCEvents__static_init#10)
post	DCC_CHAT_SOCKETCLOSED == &new DCCActions(DCCAct ions__static_init#5)
post	DCC_CHAT_SOCKETCLOSED.name == &"DCC Chat Socket Closed"
post	DCC_CHAT_SOCKETCLOSED.type == &com.dmdirc. addons.dcc.actions.DCCEvents__static_init.new DCCEvents(DCCEvents__static_init#13)
post	DCC_CHAT_SOCKETOPENED == &new DCCActions(DCCAct ions__static_init#6)
post	DCC_CHAT_SOCKETOPENED.name == &"DCC Chat Socket Opened"
post	DCC_CHAT_SOCKETOPENED.type == &com.dmdirc. addons.dcc.actions.DCCEvents__static_init.new DCCEvents(DCCEvents__static_init#16)
post	DCC_SEND_DATATRANSFERED == &new DCCActions(DCCActions__static_init#9)
post	DCC_SEND_DATATRANSFERED.name == &"DCC Send Socket Closed"
post	DCC_SEND_DATATRANSFERED.type == &com.dmdirc. addons.dcc.actions.DCCEvents__static_init.new DCCEvents(DCCEvents__static_init#25)
post	DCC_SEND_REQUEST == &new DCCActions(DCCActions_ _static_init#10)
post	DCC_SEND_REQUEST.name == &"DCC Chat Requested"
post	DCC_SEND_REQUEST.type == &com.dmdirc.addons. dcc.actions.DCCEvents__static_init.new DCCEvents(DCCEvents__static_init#28)
post	DCC_SEND_REQUEST_SENT == &new DCCActions(DCCAct ions__static_init#11)
post	DCC_SEND_REQUEST_SENT.name == &"DCC Chat Request Sent"
post	DCC_SEND_REQUEST_SENT.type == &com.dmdirc. addons.dcc.actions.DCCEvents__static_init.new DCCEvents(DCCEvents__static_init#31)
post	DCC_SEND_SOCKETCLOSED == &new DCCActions(DCCAct ions__static_init#7)
post	DCC_SEND_SOCKETCLOSED.name == &"DCC Send Socket Closed"
post	DCC_SEND_SOCKETCLOSED.type == &com.dmdirc. addons.dcc.actions.DCCEvents__static_init.new DCCEvents(DCCEvents__static_init#19)
post	DCC_SEND_SOCKETOPENED == &new DCCActions(DCCAct ions__static_init#8)
post	DCC_SEND_SOCKETOPENED.name == &"DCC Send Socket Opened"
post	DCC_SEND_SOCKETOPENED.type == &com.dmdirc. addons.dcc.actions.DCCEvents__static_init.new DCCEvents(DCCEvents__static_init#22)
post	new DCCActions(DCCActions__static_init#1) num objects == 1
post	new DCCActions(DCCActions__static_init#10) num objects == 1
post	new DCCActions(DCCActions__static_init#11) num objects == 1
post	new DCCActions(DCCActions__static_init#2) num objects == 1
post	new DCCActions(DCCActions__static_init#3) num objects == 1
post	new DCCActions(DCCActions__static_init#4) num objects == 1
post	new DCCActions(DCCActions__static_init#5) num objects == 1
post	new DCCActions(DCCActions__static_init#6) num objects == 1
post	new DCCActions(DCCActions__static_init#7) num objects == 1
post	new DCCActions(DCCActions__static_init#8) num objects == 1
post	new DCCActions(DCCActions__static_init#9) num objects == 1
post	new DCCActions[](DCCActions__static_init#12) num objects == 1
unanalyzed	call on java.lang.Enum

String getName()

Kind	Annotation Text
post	init'ed(return_value)
post	return_value == this.name

ActionMetaType getType()

Kind	Annotation Text
post	init'ed(return_value)
post	return_value == this.type

DCCActions valueOf(String)

Kind	Annotation Text
post	init'ed(return_value)

DCCActions[] values()

Kind	Annotation Text
pre	(soft) init'ed($VALUES[...])
post	new DCCActions[](values#1) num objects == 1
post	return_value == &new DCCActions[](values#1)
post	return_value.length == 11
post	return_value[...] == One-of{$VALUES[...], undefined}