Messages

method

com.dmdirc.actions.CoreActionComponent$7__static_ init

method

com.dmdirc.actions.CoreActionComponent$11__static_ init

method

com.dmdirc.actions.CoreActionComponent$18__static_ init

method

com.dmdirc.actions.CoreActionComponent$24__static_ init

method

com.dmdirc.actions.CoreActionComponent$6__static_ init

method

com.dmdirc.actions.CoreActionComponent$10__static_ init

method

com.dmdirc.actions.CoreActionComponent$17__static_ init

method

com.dmdirc.actions.CoreActionComponent$23__static_ init

method

com.dmdirc.actions.CoreActionComponent$5__static_ init

method

com.dmdirc.actions.CoreActionComponent$16__static_ init

method

com.dmdirc.actions.CoreActionComponent$22__static_ init

method

com.dmdirc.actions.CoreActionComponent$4__static_ init

method

com.dmdirc.actions.CoreActionComponent$15__static_ init

method

com.dmdirc.actions.CoreActionComponent$21__static_ init

method

com.dmdirc.actions.CoreActionComponent$3__static_ init

method

com.dmdirc.actions.CoreActionComponent$14__static_ init

method

com.dmdirc.actions.CoreActionComponent$20__static_ init

method

com.dmdirc.actions.CoreActionComponent$27__static_ init

method

com.dmdirc.actions.CoreActionComponent$9__static_ init

method

com.dmdirc.actions.CoreActionComponent$13__static_ init

method

com.dmdirc.actions.CoreActionComponent$2__static_ init

method

com.dmdirc.actions.CoreActionComponent$26__static_ init

method

com.dmdirc.actions.CoreActionComponent$8__static_ init

method

com.dmdirc.actions.CoreActionComponent$12__static_ init

method

com.dmdirc.actions.CoreActionComponent$19__static_ init

method

com.dmdirc.actions.CoreActionComponent$1__static_ init

method

com.dmdirc.actions.CoreActionComponent$25__static_ init

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

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

method

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

method	void com.dmdirc.actions.CoreActionComponent(String , int, CoreActionComponent$1)
unanalyzed	call on java.lang.Enum

method	void com.dmdirc.actions.CoreActionComponent$1(Stri ng, int)
unanalyzed	call on java.lang.Enum

method	com.dmdirc.actions.CoreActionComponent__static_ init
post	$VALUES == &new CoreActionComponent[](CoreActio nComponent__static_init#28)
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
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...
unanalyzed	call on com.dmdirc.actions.CoreActionComponent
unanalyzed	call on java.lang.Enum

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

method

Class appliesTo()

method

Class getType()

method	String getName()
post	return_value == &"name"

method	void com.dmdirc.actions.CoreActionComponent$2(Stri ng, int)
unanalyzed	call on java.lang.Enum

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

method

Class appliesTo()

method

Class getType()

method	String getName()
post	return_value == &"network"

method	void com.dmdirc.actions.CoreActionComponent$3(Stri ng, int)
unanalyzed	call on java.lang.Enum

method	Object get(Object)
pre	argument != null
pre	init'ed(argument.awayMessage)
post	return_value == argument.awayMessage
post	init'ed(return_value)

method

Class appliesTo()

method

Class getType()

method	String getName()
post	return_value == &"away reason"

method	void com.dmdirc.actions.CoreActionComponent$4(Stri ng, int)
unanalyzed	call on java.lang.Enum

method	Object get(Object)
pre	argument != null
pre	argument.parser != null
post	init'ed(return_value)

method not available - call not analyzed Info call on String com.dmdirc.parser.irc. IRCParser:getPrefixModes()

method

Class appliesTo()

method

Class getType()

method	String getName()
post	return_value == &"list of channel usermodes"

method	void com.dmdirc.actions.CoreActionComponent$5(Stri ng, int)
unanalyzed	call on java.lang.Enum

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

method not available - call not analyzed Info call on void com.dmdirc.logger.Logger:appError(Erro rLevel, String, Throwable)

method not available - call not analyzed Info call on ClientInfo com.dmdirc.parser.irc. IRCParser:getMyself()

method not available - call not analyzed Info call on String com.dmdirc.parser.irc. ClientInfo:getNickname()

method

Class appliesTo()

method

Class getType()

method	String getName()
post	return_value == &"nickname"

method	void com.dmdirc.actions.CoreActionComponent$6(Stri ng, int)
unanalyzed	call on java.lang.Enum

method	Object get(Object)
pre	argument != null
pre	argument.channelInfo != null
post	init'ed(return_value)

method not available - call not analyzed Info call on String com.dmdirc.parser.irc. ChannelInfo:getName()

method

Class appliesTo()

method

Class getType()

method	String getName()
post	return_value == &"name"

method	void com.dmdirc.actions.CoreActionComponent$7(Stri ng, int)
unanalyzed	call on java.lang.Enum

method	Object get(Object)
pre	argument != null
pre	init'ed(argument.notification)
post	return_value == argument.notification
post	init'ed(return_value)

method

Class appliesTo()

method

Class getType()

method	String getName()
post	return_value == &"notification colour"

method	void com.dmdirc.actions.CoreActionComponent$8(Stri ng, int)
unanalyzed	call on java.lang.Enum

method	Object get(Object)
pre	argument != null
post	init'ed(return_value)

method not available - call not analyzed Info call on String com.dmdirc.parser.irc. ClientInfo:getNickname()

method

Class appliesTo()

method

Class getType()

method	String getName()
post	return_value == &"nickname"

method	void com.dmdirc.actions.CoreActionComponent$9(Stri ng, int)
unanalyzed	call on java.lang.Enum

method	Object get(Object)
pre	argument != null
post	init'ed(return_value)

method not available - call not analyzed Info call on String com.dmdirc.parser.irc. ClientInfo:getHost()

method

Class appliesTo()

method

Class getType()

method	String getName()
post	return_value == &"host"

method	void com.dmdirc.actions.CoreActionComponent$10(Str ing, int)
unanalyzed	call on java.lang.Enum

method	Object get(Object)
pre	argument != null
post	init'ed(return_value)

method not available - call not analyzed Info call on String com.dmdirc.parser.irc. ChannelClientInfo:getNickname()

method

Class appliesTo()

method

Class getType()

method	String getName()
post	return_value == &"nickname"

method	void com.dmdirc.actions.CoreActionComponent$11(Str ing, int)
unanalyzed	call on java.lang.Enum

method	Object get(Object)
pre	argument != null
post	init'ed(return_value)

method not available - call not analyzed Info call on String com.dmdirc.parser.irc. ChannelClientInfo:getChanModeStr(bool)

method

Class appliesTo()

method

Class getType()

method	String getName()
post	return_value == &"modes"

method	void com.dmdirc.actions.CoreActionComponent$12(Str ing, int)
unanalyzed	call on java.lang.Enum

method	Object get(Object)
pre	argument != null
presumption	com.dmdirc.parser.irc.ChannelClientInfo:getClient(. ..)@244 != null
post	init'ed(return_value)

method not available - call not analyzed Info call on ClientInfo com.dmdirc.parser.irc. ChannelClientInfo:getClient()

method not available - call not analyzed Info call on String com.dmdirc.parser.irc. ClientInfo:getHost()

method

Class appliesTo()

method

Class getType()

method	String getName()
post	return_value == &"host"

method	void com.dmdirc.actions.CoreActionComponent$13(Str ing, int)
unanalyzed	call on java.lang.Enum

method	Object get(Object)
pre	argument != null
presumption	com.dmdirc.parser.irc.ChannelClientInfo:getClient(. ..)@260 != null
post	init'ed(return_value)

method not available - call not analyzed Info call on ClientInfo com.dmdirc.parser.irc. ChannelClientInfo:getClient()

method not available - call not analyzed Info call on int com.dmdirc.parser.irc.ClientInfo:channe lCount()

method

Class appliesTo()

method

Class getType()

method	String getName()
post	return_value == &"number of common channels"

method	void com.dmdirc.actions.CoreActionComponent$14(Str ing, int)
unanalyzed	call on java.lang.Enum

method	Object get(Object)
post	return_value == argument
post	init'ed(return_value)

method

Class appliesTo()

method

Class getType()

method	String getName()
post	return_value == &"content"

method	void com.dmdirc.actions.CoreActionComponent$15(Str ing, int)
unanalyzed	call on java.lang.Enum

method	Object get(Object)
post	init'ed(return_value)

method not available - call not analyzed Info call on String com.dmdirc.ui.messages. Styliser:stipControlCodes(String)

method

Class appliesTo()

method

Class getType()

method	String getName()
post	return_value == &"content (without formatting)"

method	void com.dmdirc.actions.CoreActionComponent$16(Str ing, int)
unanalyzed	call on java.lang.Enum

method	Object get(Object)
pre	argument != null
post	init'ed(return_value)

method

Class appliesTo()

method

Class getType()

method	String getName()
post	return_value == &"length"

method	void com.dmdirc.actions.CoreActionComponent$17(Str ing, int)
unanalyzed	call on java.lang.Enum

method	Object get(Object)
pre	argument != null
pre	argument.length <= 2³²-1
post	init'ed(return_value)

method

Class appliesTo()

method

Class getType()

method	String getName()
post	return_value == &"size"

method	void com.dmdirc.actions.CoreActionComponent$18(Str ing, int)
unanalyzed	call on java.lang.Enum

method	Object get(Object)
pre	argument != null
presumption	java.util.GregorianCalendar:getTime(...)@340 != null
post	java.util.Date:toString(...)._tainted == 0
post	return_value == &java.util.Date:toString(...)

method

Class appliesTo()

method

Class getType()

method	String getName()
post	return_value == &"full date"

method	void com.dmdirc.actions.CoreActionComponent$19(Str ing, int)
unanalyzed	call on java.lang.Enum

method	Object get(Object)
pre	argument != null
post	init'ed(return_value)

method

Class appliesTo()

method

Class getType()

method	String getName()
post	return_value == &"key name"

method	void com.dmdirc.actions.CoreActionComponent$20(Str ing, int)
unanalyzed	call on java.lang.Enum

method	Object get(Object)
pre	argument != null
post	init'ed(return_value)

method

Class appliesTo()

method

Class getType()

method	String getName()
post	return_value == &"control key state"

method	void com.dmdirc.actions.CoreActionComponent$21(Str ing, int)
unanalyzed	call on java.lang.Enum

method	Object get(Object)
pre	argument != null
post	init'ed(return_value)

method

Class appliesTo()

method

Class getType()

method	String getName()
post	return_value == &"shift key state"

method	void com.dmdirc.actions.CoreActionComponent$22(Str ing, int)
unanalyzed	call on java.lang.Enum

method	Object get(Object)
pre	argument != null
post	init'ed(return_value)

method

Class appliesTo()

method

Class getType()

method	String getName()
post	return_value == &"alt key state"

method	void com.dmdirc.actions.CoreActionComponent$23(Str ing, int)
unanalyzed	call on java.lang.Enum

method	Object get(Object)
pre	argument != null
pre	init'ed(argument.host)
post	return_value == argument.host
post	init'ed(return_value)

method

Class appliesTo()

method

Class getType()

method	String getName()
post	return_value == &"host"

method	void com.dmdirc.actions.CoreActionComponent$24(Str ing, int)
unanalyzed	call on java.lang.Enum

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

method

Class appliesTo()

method

Class getType()

method	String getName()
post	return_value == &"nick"

method	void com.dmdirc.actions.CoreActionComponent$25(Str ing, int)
unanalyzed	call on java.lang.Enum

method	Object get(Object)
pre	argument != null
pre	init'ed(argument.notification)
post	return_value == argument.notification
post	init'ed(return_value)

method

Class appliesTo()

method

Class getType()

method	String getName()
post	return_value == &"notification colour"

method	void com.dmdirc.actions.CoreActionComponent$26(Str ing, int)
unanalyzed	call on java.lang.Enum

method	Object get(Object)
pre	argument != null
post	init'ed(return_value)

call too complex - analysis skipped Info call on String toString()

method

Class appliesTo()

method

Class getType()

method	String getName()
post	return_value == &"name"

method	void com.dmdirc.actions.CoreActionComponent$27(Str ing, int)
unanalyzed	call on java.lang.Enum

method	Object get(Object)
pre	argument != null
pre	init'ed(argument.notification)
post	return_value == argument.notification
post	init'ed(return_value)

method

Class appliesTo()

method

Class getType()

method	String getName()
post	return_value == &"notification colour"

	method not available - call not analyzed	Info	call on ClientInfo com.dmdirc.parser.irc. IRCParser:getMyself()
	method not available - call not analyzed	Info	call on String com.dmdirc.parser.irc. ClientInfo:getNickname()