CoreActionComponent.java

CoreActionComponent.java

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

Filter Options

Annotation Kind:

pre

presumption

post

unanalyzed

test_vector

Class appliesTo()

Kind	Annotation Text

Class appliesTo()

Kind	Annotation Text

Class appliesTo()

Kind	Annotation Text

Class appliesTo()

Kind	Annotation Text

Class appliesTo()

Kind	Annotation Text

Class appliesTo()

Kind	Annotation Text

Class appliesTo()

Kind	Annotation Text

Class appliesTo()

Kind	Annotation Text

Class appliesTo()

Kind	Annotation Text

Class appliesTo()

Kind	Annotation Text

Class appliesTo()

Kind	Annotation Text

Class appliesTo()

Kind	Annotation Text

Class appliesTo()

Kind	Annotation Text

Class appliesTo()

Kind	Annotation Text

Class appliesTo()

Kind	Annotation Text

Class appliesTo()

Kind	Annotation Text

Class appliesTo()

Kind	Annotation Text

Class appliesTo()

Kind	Annotation Text

Class appliesTo()

Kind	Annotation Text

Class appliesTo()

Kind	Annotation Text

Class appliesTo()

Kind	Annotation Text

Class appliesTo()

Kind	Annotation Text

Class appliesTo()

Kind	Annotation Text

Class appliesTo()

Kind	Annotation Text

Class appliesTo()

Kind	Annotation Text

Class appliesTo()

Kind	Annotation Text

Class appliesTo()

Kind	Annotation Text

void com.dmdirc.actions.CoreActionComponent$1(String, int)

Kind	Annotation Text
unanalyzed	call on java.lang.Enum

void com.dmdirc.actions.CoreActionComponent$10(String, int)

Kind	Annotation Text
unanalyzed	call on java.lang.Enum

com.dmdirc.actions.CoreActionComponent$10__static_init

Kind	Annotation Text

void com.dmdirc.actions.CoreActionComponent$11(String, int)

Kind	Annotation Text
unanalyzed	call on java.lang.Enum

com.dmdirc.actions.CoreActionComponent$11__static_init

Kind	Annotation Text

void com.dmdirc.actions.CoreActionComponent$12(String, int)

Kind	Annotation Text
unanalyzed	call on java.lang.Enum

com.dmdirc.actions.CoreActionComponent$12__static_init

Kind	Annotation Text

void com.dmdirc.actions.CoreActionComponent$13(String, int)

Kind	Annotation Text
unanalyzed	call on java.lang.Enum

com.dmdirc.actions.CoreActionComponent$13__static_init

Kind	Annotation Text

void com.dmdirc.actions.CoreActionComponent$14(String, int)

Kind	Annotation Text
unanalyzed	call on java.lang.Enum

com.dmdirc.actions.CoreActionComponent$14__static_init

Kind	Annotation Text

void com.dmdirc.actions.CoreActionComponent$15(String, int)

Kind	Annotation Text
unanalyzed	call on java.lang.Enum

com.dmdirc.actions.CoreActionComponent$15__static_init

Kind	Annotation Text

void com.dmdirc.actions.CoreActionComponent$16(String, int)

Kind	Annotation Text
unanalyzed	call on java.lang.Enum

com.dmdirc.actions.CoreActionComponent$16__static_init

Kind	Annotation Text

void com.dmdirc.actions.CoreActionComponent$17(String, int)

Kind	Annotation Text
unanalyzed	call on java.lang.Enum

com.dmdirc.actions.CoreActionComponent$17__static_init

Kind	Annotation Text

void com.dmdirc.actions.CoreActionComponent$18(String, int)

Kind	Annotation Text
unanalyzed	call on java.lang.Enum

com.dmdirc.actions.CoreActionComponent$18__static_init

Kind	Annotation Text

void com.dmdirc.actions.CoreActionComponent$19(String, int)

Kind	Annotation Text
unanalyzed	call on java.lang.Enum

com.dmdirc.actions.CoreActionComponent$19__static_init

Kind	Annotation Text

com.dmdirc.actions.CoreActionComponent$1__static_init

Kind	Annotation Text

void com.dmdirc.actions.CoreActionComponent$2(String, int)

Kind	Annotation Text
unanalyzed	call on java.lang.Enum

void com.dmdirc.actions.CoreActionComponent$20(String, int)

Kind	Annotation Text
unanalyzed	call on java.lang.Enum

com.dmdirc.actions.CoreActionComponent$20__static_init

Kind	Annotation Text

void com.dmdirc.actions.CoreActionComponent$21(String, int)

Kind	Annotation Text
unanalyzed	call on java.lang.Enum

com.dmdirc.actions.CoreActionComponent$21__static_init

Kind	Annotation Text

void com.dmdirc.actions.CoreActionComponent$22(String, int)

Kind	Annotation Text
unanalyzed	call on java.lang.Enum

com.dmdirc.actions.CoreActionComponent$22__static_init

Kind	Annotation Text

void com.dmdirc.actions.CoreActionComponent$23(String, int)

Kind	Annotation Text
unanalyzed	call on java.lang.Enum

com.dmdirc.actions.CoreActionComponent$23__static_init

Kind	Annotation Text

void com.dmdirc.actions.CoreActionComponent$24(String, int)

Kind	Annotation Text
unanalyzed	call on java.lang.Enum

com.dmdirc.actions.CoreActionComponent$24__static_init

Kind	Annotation Text

void com.dmdirc.actions.CoreActionComponent$25(String, int)

Kind	Annotation Text
unanalyzed	call on java.lang.Enum

com.dmdirc.actions.CoreActionComponent$25__static_init

Kind	Annotation Text

void com.dmdirc.actions.CoreActionComponent$26(String, int)

Kind	Annotation Text
unanalyzed	call on java.lang.Enum

com.dmdirc.actions.CoreActionComponent$26__static_init

Kind	Annotation Text

void com.dmdirc.actions.CoreActionComponent$27(String, int)

Kind	Annotation Text
unanalyzed	call on java.lang.Enum

com.dmdirc.actions.CoreActionComponent$27__static_init

Kind	Annotation Text

com.dmdirc.actions.CoreActionComponent$2__static_init

Kind	Annotation Text

void com.dmdirc.actions.CoreActionComponent$3(String, int)

Kind	Annotation Text
unanalyzed	call on java.lang.Enum

com.dmdirc.actions.CoreActionComponent$3__static_init

Kind	Annotation Text

void com.dmdirc.actions.CoreActionComponent$4(String, int)

Kind	Annotation Text
unanalyzed	call on java.lang.Enum

com.dmdirc.actions.CoreActionComponent$4__static_init

Kind	Annotation Text

void com.dmdirc.actions.CoreActionComponent$5(String, int)

Kind	Annotation Text
unanalyzed	call on java.lang.Enum

com.dmdirc.actions.CoreActionComponent$5__static_init

Kind	Annotation Text

void com.dmdirc.actions.CoreActionComponent$6(String, int)

Kind	Annotation Text
unanalyzed	call on java.lang.Enum

com.dmdirc.actions.CoreActionComponent$6__static_init

Kind	Annotation Text

void com.dmdirc.actions.CoreActionComponent$7(String, int)

Kind	Annotation Text
unanalyzed	call on java.lang.Enum

com.dmdirc.actions.CoreActionComponent$7__static_init

Kind	Annotation Text

void com.dmdirc.actions.CoreActionComponent$8(String, int)

Kind	Annotation Text
unanalyzed	call on java.lang.Enum

com.dmdirc.actions.CoreActionComponent$8__static_init

Kind	Annotation Text

void com.dmdirc.actions.CoreActionComponent$9(String, int)

Kind	Annotation Text
unanalyzed	call on java.lang.Enum

com.dmdirc.actions.CoreActionComponent$9__static_init

Kind	Annotation Text

void com.dmdirc.actions.CoreActionComponent(String, int)

Kind	Annotation Text

void com.dmdirc.actions.CoreActionComponent(String, int, CoreActionComponent$1)

Kind	Annotation Text
unanalyzed	call on java.lang.Enum

com.dmdirc.actions.CoreActionComponent__static_init

Kind	Annotation Text
post	$VALUES == &new CoreActionComponent[](CoreActio nComponent__static_init#28)
post	$VALUES.length == 27
post	$VALUES[...] in Addr_Set{&new CoreActionComponent$1(CoreActionComponent__static_ init#1),&new CoreActionComponent$2(CoreActionCo mponent__static_init#2),&new CoreActionComponen t$3(CoreActionComponent__static_init#3),&new CoreAction...
post	CALENDAR_FULLSTRING == &new CoreActionComponent $18(CoreActionComponent__static_init#18)
post	CHANNEL_COLOUR == &new CoreActionComponent$7(Co reActionComponent__static_init#7)
post	CHANNEL_NAME == &new CoreActionComponent$6(Core ActionComponent__static_init#6)
post	CLIENT_HOST == &new CoreActionComponent$9(CoreA ctionComponent__static_init#9)
post	CLIENT_NAME == &new CoreActionComponent$8(CoreA ctionComponent__static_init#8)
post	KEYEVENT_ALTSTATE == &new CoreActionComponent$2 2(CoreActionComponent__static_init#22)
post	KEYEVENT_CTRLSTATE == &new CoreActionComponent$ 20(CoreActionComponent__static_init#20)
post	KEYEVENT_KEYNAME == &new CoreActionComponent$19 (CoreActionComponent__static_init#19)
post	KEYEVENT_SHIFTSTATE == &new CoreActionComponent $21(CoreActionComponent__static_init#21)
post	QUERY_COLOUR == &new CoreActionComponent$25(Cor eActionComponent__static_init#25)
post	QUERY_HOST == &new CoreActionComponent$23(CoreA ctionComponent__static_init#23)
post	QUERY_NICK == &new CoreActionComponent$24(CoreA ctionComponent__static_init#24)
post	SERVER_CHANNELUMODES == &new CoreActionComponen t$4(CoreActionComponent__static_init#4)
post	SERVER_MYAWAYREASON == &new CoreActionComponent $3(CoreActionComponent__static_init#3)
post	SERVER_MYNICKNAME == &new CoreActionComponent$5 (CoreActionComponent__static_init#5)
post	SERVER_NAME == &new CoreActionComponent$1(CoreA ctionComponent__static_init#1)
post	SERVER_NETWORK == &new CoreActionComponent$2(Co reActionComponent__static_init#2)
post	STRINGARRAY_LENGTH == &new CoreActionComponent$ 17(CoreActionComponent__static_init#17)
post	STRING_LENGTH == &new CoreActionComponent$16(Co reActionComponent__static_init#16)
post	STRING_STRING == &new CoreActionComponent$14(Co reActionComponent__static_init#14)
post	STRING_STRIPPED == &new CoreActionComponent$15( CoreActionComponent__static_init#15)
post	USER_COMCHANS == &new CoreActionComponent$13(Co reActionComponent__static_init#13)
post	USER_HOST == &new CoreActionComponent$12(CoreAc tionComponent__static_init#12)
post	USER_MODES == &new CoreActionComponent$11(CoreA ctionComponent__static_init#11)
post	USER_NAME == &new CoreActionComponent$10(CoreAc tionComponent__static_init#10)
post	WINDOW_COLOUR == &new CoreActionComponent$27(Co reActionComponent__static_init#27)
post	WINDOW_NAME == &new CoreActionComponent$26(Core ActionComponent__static_init#26)
post	new CoreActionComponent$1(CoreActionComponent__ static_init#1) num objects == 1
post	new CoreActionComponent$10(CoreActionComponent__ static_init#10) num objects == 1
post	new CoreActionComponent$11(CoreActionComponent__ static_init#11) num objects == 1
post	new CoreActionComponent$12(CoreActionComponent__ static_init#12) num objects == 1
post	new CoreActionComponent$13(CoreActionComponent__ static_init#13) num objects == 1
post	new CoreActionComponent$14(CoreActionComponent__ static_init#14) num objects == 1
post	new CoreActionComponent$15(CoreActionComponent__ static_init#15) num objects == 1
post	new CoreActionComponent$16(CoreActionComponent__ static_init#16) num objects == 1
post	new CoreActionComponent$17(CoreActionComponent__ static_init#17) num objects == 1
post	new CoreActionComponent$18(CoreActionComponent__ static_init#18) num objects == 1
post	new CoreActionComponent$19(CoreActionComponent__ static_init#19) num objects == 1
post	new CoreActionComponent$2(CoreActionComponent__ static_init#2) num objects == 1
post	new CoreActionComponent$20(CoreActionComponent__ static_init#20) num objects == 1
post	new CoreActionComponent$21(CoreActionComponent__ static_init#21) num objects == 1
post	new CoreActionComponent$22(CoreActionComponent__ static_init#22) num objects == 1
post	new CoreActionComponent$23(CoreActionComponent__ static_init#23) num objects == 1
post	new CoreActionComponent$24(CoreActionComponent__ static_init#24) num objects == 1
post	new CoreActionComponent$25(CoreActionComponent__ static_init#25) num objects == 1
post	new CoreActionComponent$26(CoreActionComponent__ static_init#26) num objects == 1
post	new CoreActionComponent$27(CoreActionComponent__ static_init#27) num objects == 1
post	new CoreActionComponent$3(CoreActionComponent__ static_init#3) num objects == 1
post	new CoreActionComponent$4(CoreActionComponent__ static_init#4) num objects == 1
post	new CoreActionComponent$5(CoreActionComponent__ static_init#5) num objects == 1
post	new CoreActionComponent$6(CoreActionComponent__ static_init#6) num objects == 1
post	new CoreActionComponent$7(CoreActionComponent__ static_init#7) num objects == 1
post	new CoreActionComponent$8(CoreActionComponent__ static_init#8) num objects == 1
post	new CoreActionComponent$9(CoreActionComponent__ static_init#9) num objects == 1
post	new CoreActionComponent[](CoreActionComponent__ static_init#28) num objects == 1
unanalyzed	call on com.dmdirc.actions.CoreActionComponent
unanalyzed	call on java.lang.Enum

Object get(Object)

Kind	Annotation Text
pre	argument != null
pre	init'ed(argument.notification)
post	init'ed(return_value)
post	return_value == argument.notification

Object get(Object)

Kind	Annotation Text
pre	argument != null
pre	init'ed(argument.host)
post	init'ed(return_value)
post	return_value == argument.host

Object get(Object)

Kind	Annotation Text
pre	argument != null
pre	argument.channelInfo != null
post	init'ed(return_value)

Object get(Object)

Kind	Annotation Text
pre	argument != null
post	init'ed(return_value)

Object get(Object)

Kind	Annotation Text
pre	argument != null
presumption	com.dmdirc.parser.irc.ChannelClientInfo:getClient(. ..)@244 != null
post	init'ed(return_value)

Object get(Object)

Kind	Annotation Text
pre	(soft) init'ed(argument.parser)
presumption	com.dmdirc.parser.irc.IRCParser:getMyself(...)@130 != null
presumption	init'ed(com.dmdirc.logger.ErrorLevel.LOW)
post	init'ed(return_value)
test_vector	argument.parser: Inverse{null}, Addr_Set{null}
test_vector	argument: Addr_Set{null}, Inverse{null}

Object get(Object)

Kind	Annotation Text
pre	argument != null
post	init'ed(return_value)

Object get(Object)

Kind	Annotation Text
pre	argument != null
post	init'ed(return_value)

Object get(Object)

Kind	Annotation Text
pre	argument != null
post	init'ed(return_value)

Object get(Object)

Kind	Annotation Text
pre	argument != null
pre	argument.parser != null
post	init'ed(return_value)

Object get(Object)

Kind	Annotation Text
pre	argument != null
pre	init'ed(argument.host)
post	init'ed(return_value)
unanalyzed	call on com.dmdirc.parser.irc.ClientInfo:parseHost

Object get(Object)

Kind	Annotation Text
pre	argument != null
post	init'ed(return_value)

Object get(Object)

Kind	Annotation Text
pre	argument != null
presumption	java.util.GregorianCalendar:getTime(...)@340 != null
post	java.util.Date:toString(...)._tainted == 0
post	return_value == &java.util.Date:toString(...)

Object get(Object)

Kind	Annotation Text
pre	argument != null
pre	init'ed(argument.awayMessage)
post	init'ed(return_value)
post	return_value == argument.awayMessage

Object get(Object)

Kind	Annotation Text
post	init'ed(return_value)
post	return_value == argument

Object get(Object)

Kind	Annotation Text
pre	argument != null
pre	argument.parser != null
post	init'ed(return_value)
post	java.lang.StringBuilder:toString(...)._tainted == 0
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:getNetworkN ame
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:getServerNa me
unanalyzed	call on java.lang.IllegalStateException
unanalyzed	call on java.lang.String:endsWith
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on java.lang.String:split

Object get(Object)

Kind	Annotation Text
pre	argument != null
post	init'ed(return_value)

Object get(Object)

Kind	Annotation Text
pre	argument != null
pre	argument.serverInfo != null
post	init'ed(return_value)
unanalyzed	call on com.dmdirc.parser.irc.ServerInfo:getHost

Object get(Object)

Kind	Annotation Text
pre	argument != null
presumption	com.dmdirc.parser.irc.ChannelClientInfo:getClient(. ..)@260 != null
post	init'ed(return_value)

Object get(Object)

Kind	Annotation Text
post	init'ed(return_value)

Object get(Object)

Kind	Annotation Text
pre	argument != null
post	init'ed(return_value)

Object get(Object)

Kind	Annotation Text
pre	argument != null
pre	argument.length <= 2³²-1
post	init'ed(return_value)

Object get(Object)

Kind	Annotation Text
pre	argument != null
pre	init'ed(argument.notification)
post	init'ed(return_value)
post	return_value == argument.notification

Object get(Object)

Kind	Annotation Text
pre	argument != null
post	init'ed(return_value)

Object get(Object)

Kind	Annotation Text
pre	argument != null
post	init'ed(return_value)

Object get(Object)

Kind	Annotation Text
pre	argument != null
pre	init'ed(argument.notification)
post	init'ed(return_value)
post	return_value == argument.notification

Object get(Object)

Kind	Annotation Text
pre	argument != null
post	init'ed(return_value)

String getName()

Kind	Annotation Text
post	return_value == &"length"

String getName()

Kind	Annotation Text
post	return_value == &"name"

String getName()

Kind	Annotation Text
post	return_value == &"content (without formatting)"

String getName()

Kind	Annotation Text
post	return_value == &"network"

String getName()

Kind	Annotation Text
post	return_value == &"notification colour"

String getName()

Kind	Annotation Text
post	return_value == &"size"

String getName()

Kind	Annotation Text
post	return_value == &"content"

String getName()

Kind	Annotation Text
post	return_value == &"away reason"

String getName()

Kind	Annotation Text
post	return_value == &"number of common channels"

String getName()

Kind	Annotation Text
post	return_value == &"nick"

String getName()

Kind	Annotation Text
post	return_value == &"full date"

String getName()

Kind	Annotation Text
post	return_value == &"list of channel usermodes"

String getName()

Kind	Annotation Text
post	return_value == &"host"

String getName()

Kind	Annotation Text
post	return_value == &"nickname"

String getName()

Kind	Annotation Text
post	return_value == &"host"

String getName()

Kind	Annotation Text
post	return_value == &"key name"

String getName()

Kind	Annotation Text
post	return_value == &"modes"

String getName()

Kind	Annotation Text
post	return_value == &"name"

String getName()

Kind	Annotation Text
post	return_value == &"nickname"

String getName()

Kind	Annotation Text
post	return_value == &"alt key state"

String getName()

Kind	Annotation Text
post	return_value == &"control key state"

String getName()

Kind	Annotation Text
post	return_value == &"notification colour"

String getName()

Kind	Annotation Text
post	return_value == &"host"

String getName()

Kind	Annotation Text
post	return_value == &"name"

String getName()

Kind	Annotation Text
post	return_value == &"nickname"

String getName()

Kind	Annotation Text
post	return_value == &"shift key state"

String getName()

Kind	Annotation Text
post	return_value == &"notification colour"

Class getType()

Kind	Annotation Text

Class getType()

Kind	Annotation Text

Class getType()

Kind	Annotation Text

Class getType()

Kind	Annotation Text

Class getType()

Kind	Annotation Text

Class getType()

Kind	Annotation Text

Class getType()

Kind	Annotation Text

Class getType()

Kind	Annotation Text

Class getType()

Kind	Annotation Text

Class getType()

Kind	Annotation Text

Class getType()

Kind	Annotation Text

Class getType()

Kind	Annotation Text

Class getType()

Kind	Annotation Text

Class getType()

Kind	Annotation Text

Class getType()

Kind	Annotation Text

Class getType()

Kind	Annotation Text

Class getType()

Kind	Annotation Text

Class getType()

Kind	Annotation Text

Class getType()

Kind	Annotation Text

Class getType()

Kind	Annotation Text

Class getType()

Kind	Annotation Text

Class getType()

Kind	Annotation Text

Class getType()

Kind	Annotation Text

Class getType()

Kind	Annotation Text

Class getType()

Kind	Annotation Text

Class getType()

Kind	Annotation Text

Class getType()

Kind	Annotation Text

CoreActionComponent valueOf(String)

Kind	Annotation Text
post	init'ed(return_value)

CoreActionComponent[] values()

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