Messages

Last Msg First Msg

method

com.dmdirc.ServerEventHandler__static_init

method	void com.dmdirc.ServerEventHandler(Server)
post	this.owner == owner
post	init'ed(this.owner)

method	void addCallback(CallbackManager, String)
pre	cbm != null

method not available - call not analyzed Info call on void com.dmdirc.parser.irc.callbacks. CallbackManager:addCallback(String, ICallbackInterface)

method	Server getServer()
post	return_value == this.owner
post	init'ed(return_value)

method	void onChannelSelfJoin(IRCParser, ChannelInfo)
pre	this.owner != null
pre	this.owner.myState != null
pre	this.owner.myState.state != null
pre	(soft) cChannel != null
pre	(soft) this.owner.channels != null
pre	(soft) this.owner.converter != null
pre	(soft) this.owner.server != null
pre	(soft) this.owner.tabCompleter != null
unanalyzed	call on com.dmdirc.parser.irc.callbacks. CallbackManager:addCallback
unanalyzed	call on getName
unanalyzed	call on com.dmdirc.logger.Logger:assertTrue
unanalyzed	call on getType
unanalyzed	call on com.dmdirc.util.MapList:containsKey
unanalyzed	call on com.dmdirc.util.MapList:get
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.ArrayList:iterator
unanalyzed	call on trigger
unanalyzed	call on getArity
unanalyzed	call on com.dmdirc.interfaces.ActionListener:proces sEvent
unanalyzed	call on getParser
unanalyzed	call on checkParser
unanalyzed	call on getState
unanalyzed	call on getStatus
unanalyzed	call on com.dmdirc.util.RollingList:getList
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on com.dmdirc.parser.irc.ServerInfo:getHost
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on getTabCompleter
unanalyzed	call on com.dmdirc.MessageTarget
unanalyzed	call on getUI
unanalyzed	call on getFrame
unanalyzed	call on com.dmdirc.ui.input.TabCompleter:addEntry
unanalyzed	call on getConfigManager
unanalyzed	call on addLine
unanalyzed	call on setIcon
unanalyzed	call on java.lang.IllegalStateException
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:getIRCD
unanalyzed	call on java.lang.String:split
unanalyzed	call on java.lang.String:endsWith
unanalyzed	call on getNetwork
unanalyzed	call on com.dmdirc.parser.irc.ChannelInfo:getName
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.String:equals
unanalyzed	call on com.dmdirc.util.ListenerList:get
unanalyzed	call on java.util.List:remove
unanalyzed	call on com.dmdirc.interfaces.InviteListener:invite Expired
unanalyzed	call on getServer
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:disconnect
unanalyzed	call on com.dmdirc.parser.irc.IRCStringConverter:to LowerCase
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on removeInvites
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:getCallback Manager
unanalyzed	call on java.lang.Object:getClass
unanalyzed	call on java.lang.Class:getInterfaces
unanalyzed	call on java.lang.Class:getName
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String:substring
unanalyzed	call on addCallback
unanalyzed	call on com.dmdirc.logger.Logger:appError
unanalyzed	call on registerCallbacks
unanalyzed	call on getIrcd
unanalyzed	call on com.dmdirc.config.ConfigManager:migrate
unanalyzed	call on com.dmdirc.parser.irc.ClientInfo:getIdent
unanalyzed	call on com.dmdirc.parser.irc.ClientInfo:getHost
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:getMyself
unanalyzed	call on com.dmdirc.parser.irc.ClientInfo:getNicknam e
unanalyzed	call on com.dmdirc.ui.messages.Styliser:stipControl Codes
unanalyzed	call on com.dmdirc.parser.irc.ChannelInfo:getTopic
unanalyzed	call on com.dmdirc.ui.interfaces.ChannelWindow:setT itle
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionBo ol
unanalyzed	call on com.dmdirc.config.ConfigManager
unanalyzed	call on com.dmdirc.config.ConfigManager:addChangeLi stener
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionIn t
unanalyzed	call on com.dmdirc.util.RollingList
unanalyzed	call on com.dmdirc.ui.input.TabCompleter
unanalyzed	call on com.dmdirc.commandparser.CommandManager:get CommandNames
unanalyzed	call on com.dmdirc.ui.input.TabCompleter:addEntries
unanalyzed	call on com.dmdirc.ui.interfaces.UIController:getCh annel
unanalyzed	call on com.dmdirc.ui.WindowManager:addWindow
unanalyzed	call on com.dmdirc.ui.interfaces.ChannelWindow:getI nputHandler
unanalyzed	call on com.dmdirc.ui.input.InputHandler:setTabComp leter
unanalyzed	call on com.dmdirc.Channel
unanalyzed	call on java.util.Map:put
unanalyzed	call on com.dmdirc.ui.interfaces.ChannelWindow:open
unanalyzed	call on com.dmdirc.ui.interfaces.Window:addLine
unanalyzed	call on com.dmdirc.ui.IconManager:getIconManager
unanalyzed	call on com.dmdirc.ui.IconManager:getIcon
unanalyzed	call on com.dmdirc.interfaces.IconChangeListener:ic onChanged
unanalyzed	call on com.dmdirc.config.ConfigManager:removeListe ner
unanalyzed	call on getChannelInfo

method	void onPrivateMessage(IRCParser, String, String)
pre	this.owner != null
pre	this.owner.queries != null
pre	(soft) this.owner.converter != null
pre	(soft) this.owner.myState != null
pre	(soft) this.owner.myState.state != null
pre	(soft) this.owner.server != null
pre	(soft) this.owner.tabCompleter != null
unanalyzed	call on com.dmdirc.logger.Logger:assertTrue
unanalyzed	call on getType
unanalyzed	call on com.dmdirc.util.MapList:containsKey
unanalyzed	call on com.dmdirc.util.MapList:get
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.ArrayList:iterator
unanalyzed	call on trigger
unanalyzed	call on getArity
unanalyzed	call on com.dmdirc.interfaces.ActionListener:proces sEvent
unanalyzed	call on getParser
unanalyzed	call on checkParser
unanalyzed	call on getState
unanalyzed	call on getStatus
unanalyzed	call on com.dmdirc.util.RollingList:getList
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on com.dmdirc.parser.irc.IRCStringConverter:eq ualsIgnoreCase
unanalyzed	call on com.dmdirc.parser.irc.ClientInfo:parseHost
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.List:add
unanalyzed	call on com.dmdirc.ui.interfaces.QueryWindow:open
unanalyzed	call on com.dmdirc.ui.interfaces.QueryWindow:setTit le
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:getCallback Manager
unanalyzed	call on com.dmdirc.parser.irc.callbacks. CallbackManager:addCallback
unanalyzed	call on com.dmdirc.logger.Logger:appError
unanalyzed	call on getTabCompleter
unanalyzed	call on com.dmdirc.Server:getConfigManager
unanalyzed	call on com.dmdirc.WritableFrameContainer
unanalyzed	call on getUI
unanalyzed	call on com.dmdirc.ui.interfaces.UIController:getQu ery
unanalyzed	call on getFrame
unanalyzed	call on com.dmdirc.ui.WindowManager:addWindow
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionBo ol
unanalyzed	call on com.dmdirc.ui.input.TabCompleter
unanalyzed	call on com.dmdirc.commandparser.CommandManager:get CommandNames
unanalyzed	call on com.dmdirc.ui.input.TabCompleter:addEntries
unanalyzed	call on com.dmdirc.ui.interfaces.QueryWindow:getInp utHandler
unanalyzed	call on com.dmdirc.ui.input.InputHandler:setTabComp leter
unanalyzed	call on com.dmdirc.Query
unanalyzed	call on com.dmdirc.ui.input.TabCompleter:addEntry
unanalyzed	call on getServer
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:disconnect

call too complex - analysis skipped Info call on void onPrivateMessage(IRCParser, String, String)

method	void onPrivateAction(IRCParser, String, String)
pre	this.owner != null
pre	this.owner.queries != null
pre	(soft) this.owner.converter != null
pre	(soft) this.owner.myState != null
pre	(soft) this.owner.myState.state != null
pre	(soft) this.owner.server != null
pre	(soft) this.owner.tabCompleter != null
unanalyzed	call on com.dmdirc.logger.Logger:assertTrue
unanalyzed	call on getType
unanalyzed	call on com.dmdirc.util.MapList:containsKey
unanalyzed	call on com.dmdirc.util.MapList:get
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.ArrayList:iterator
unanalyzed	call on trigger
unanalyzed	call on getArity
unanalyzed	call on com.dmdirc.interfaces.ActionListener:proces sEvent
unanalyzed	call on getParser
unanalyzed	call on checkParser
unanalyzed	call on getState
unanalyzed	call on getStatus
unanalyzed	call on com.dmdirc.util.RollingList:getList
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on com.dmdirc.parser.irc.IRCStringConverter:eq ualsIgnoreCase
unanalyzed	call on com.dmdirc.parser.irc.ClientInfo:parseHost
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.List:add
unanalyzed	call on com.dmdirc.ui.interfaces.QueryWindow:open
unanalyzed	call on com.dmdirc.ui.interfaces.QueryWindow:setTit le
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:getCallback Manager
unanalyzed	call on com.dmdirc.parser.irc.callbacks. CallbackManager:addCallback
unanalyzed	call on com.dmdirc.logger.Logger:appError
unanalyzed	call on getTabCompleter
unanalyzed	call on com.dmdirc.Server:getConfigManager
unanalyzed	call on com.dmdirc.WritableFrameContainer
unanalyzed	call on getUI
unanalyzed	call on com.dmdirc.ui.interfaces.UIController:getQu ery
unanalyzed	call on getFrame
unanalyzed	call on com.dmdirc.ui.WindowManager:addWindow
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionBo ol
unanalyzed	call on com.dmdirc.ui.input.TabCompleter
unanalyzed	call on com.dmdirc.commandparser.CommandManager:get CommandNames
unanalyzed	call on com.dmdirc.ui.input.TabCompleter:addEntries
unanalyzed	call on com.dmdirc.ui.interfaces.QueryWindow:getInp utHandler
unanalyzed	call on com.dmdirc.ui.input.InputHandler:setTabComp leter
unanalyzed	call on com.dmdirc.Query
unanalyzed	call on com.dmdirc.ui.input.TabCompleter:addEntry
unanalyzed	call on getServer
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:disconnect

call too complex - analysis skipped Info call on void onPrivateAction(IRCParser, String, String)

method	void onErrorInfo(IRCParser, ParserError)
pre	errorInfo != null
pre	(soft) this.owner != null
pre	(soft) this.owner.serverInfo != null
presumption	init'ed(com.dmdirc.logger.ErrorLevel.UNKNOWN)
unanalyzed	call on com.dmdirc.parser.irc.ServerInfo:getHost
test_vector	com.dmdirc.parser.irc.ParserError:isException(... )@114: {0}, {1}
test_vector	com.dmdirc.parser.irc.ParserError:isUserError(... )@118: {0}, {1}

method not available - call not analyzed Info call on bool com.dmdirc.parser.irc.ParserError:isEx ception()

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

method not available - call not analyzed Info call on Exception com.dmdirc.parser.irc. ParserError:getException()

method not available - call not analyzed Info call on bool com.dmdirc.parser.irc.ParserError:isUs erError()

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

method not available - call not analyzed Info call on void com.dmdirc.logger.Logger:userError(Err orLevel, String, Throwable)

method	void onPrivateCTCP(IRCParser, String, String, String)
pre	sType != null
pre	tParser != null
pre	this.owner != null
pre	this.owner.myState != null
pre	this.owner.myState.state != null
pre	(soft) this.owner.config != null
pre	(soft) this.owner.parser != null
pre	(soft) this.owner.server != null
unanalyzed	call on getParser
unanalyzed	call on checkParser
unanalyzed	call on getState
unanalyzed	call on getStatus
unanalyzed	call on com.dmdirc.util.RollingList:getList
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on getConfigManager
unanalyzed	call on com.dmdirc.config.ConfigManager:getOption
unanalyzed	call on java.lang.String:equalsIgnoreCase
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:sendCTCPRep ly
unanalyzed	call on getServer
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:disconnect

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

method not available - call not analyzed Info call on void com.dmdirc.Server:doNotification(Strin g, ActionType, Object[])

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

method	void onPrivateCTCPReply(IRCParser, String, String, String)
pre	tParser != null
pre	this.owner != null
pre	this.owner.myState != null
pre	this.owner.myState.state != null
pre	(soft) this.owner.server != null
unanalyzed	call on getParser
unanalyzed	call on checkParser
unanalyzed	call on getState
unanalyzed	call on getStatus
unanalyzed	call on com.dmdirc.util.RollingList:getList
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on getServer
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:disconnect

method	void onSocketClosed(IRCParser)
pre	this.owner != null
pre	init'ed(this.owner.parser)
test_vector	tParser == this.owner.parser: {0}, {1}

call too complex - analysis skipped Info call on void onSocketClosed()

method	void onPrivateNotice(IRCParser, String, String)
pre	tParser != null
pre	this.owner != null
pre	this.owner.myState != null
pre	this.owner.myState.state != null
pre	(soft) this.owner.server != null
unanalyzed	call on getParser
unanalyzed	call on checkParser
unanalyzed	call on getState
unanalyzed	call on getStatus
unanalyzed	call on com.dmdirc.util.RollingList:getList
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on getServer
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:disconnect

method	void onMOTDStart(IRCParser, String)
pre	this.owner != null
pre	this.owner.myState != null
pre	this.owner.myState.state != null
pre	(soft) this.owner.server != null
unanalyzed	call on getParser
unanalyzed	call on checkParser
unanalyzed	call on getState
unanalyzed	call on getStatus
unanalyzed	call on com.dmdirc.util.RollingList:getList
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on getServer
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:disconnect

method not available - call not analyzed Info call on void com.dmdirc.Server:doNotification(Strin g, ActionType, Object[])

method	void onMOTDLine(IRCParser, String)
pre	this.owner != null
pre	this.owner.myState != null
pre	this.owner.myState.state != null
pre	(soft) this.owner.server != null
unanalyzed	call on getParser
unanalyzed	call on checkParser
unanalyzed	call on getState
unanalyzed	call on getStatus
unanalyzed	call on com.dmdirc.util.RollingList:getList
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on getServer
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:disconnect

method not available - call not analyzed Info call on void com.dmdirc.Server:doNotification(Strin g, ActionType, Object[])

method	void onMOTDEnd(IRCParser, bool, String)
pre	this.owner != null
pre	this.owner.myState != null
pre	this.owner.myState.state != null
pre	(soft) this.owner.server != null
unanalyzed	call on getParser
unanalyzed	call on checkParser
unanalyzed	call on getState
unanalyzed	call on getStatus
unanalyzed	call on com.dmdirc.util.RollingList:getList
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on getServer
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:disconnect

method not available - call not analyzed Info call on void com.dmdirc.Server:doNotification(Strin g, ActionType, Object[])

method	void onNumeric(IRCParser, int, String[])
pre	this.owner != null
pre	this.owner.myState != null
pre	this.owner.myState.state != null
pre	(soft) this.owner.server != null
unanalyzed	call on getParser
unanalyzed	call on checkParser
unanalyzed	call on getState
unanalyzed	call on getStatus
unanalyzed	call on com.dmdirc.util.RollingList:getList
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on getServer
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:disconnect

call too complex - analysis skipped Info call on void onNumeric(int, String[])

method	void onPingFailed(IRCParser)
pre	this.owner != null
pre	this.owner.myState != null
pre	this.owner.myState.state != null
pre	(soft) this.owner.server != null
unanalyzed	call on getParser
unanalyzed	call on checkParser
unanalyzed	call on getState
unanalyzed	call on getStatus
unanalyzed	call on com.dmdirc.util.RollingList:getList
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on getServer
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:disconnect

call too complex - analysis skipped Info call on void onPingFailed()

method	void onPingSent(IRCParser)
pre	init'ed(com/dmdirc/actions/ActionManager. killSwitch)
pre	this.owner != null
pre	this.owner.myState != null
pre	this.owner.myState.state != null
pre	(soft) com.dmdirc.actions.CoreActionType__static_ init.new CoreActionType(CoreActionType__static_init #34).type != null
pre	(soft) init'ed(com/dmdirc/ServerManager.me)
pre	(soft) this.owner.server != null
post	com/dmdirc/ServerManager.me == old com/dmdirc/Serve rManager.me
post	new ArrayList(ServerManager#1) num objects == undefined
post	new ArrayList(ServerManager#1) num objects == 0, if init'ed
post	new ServerManager(getServerManager#1) num objects == new ArrayList(ServerManager#1) num objects
post	new ServerManager(getServerManager#1).servers == undefined
post	new ServerManager(getServerManager#1).servers == null
unanalyzed	call on com.dmdirc.logger.Logger:assertTrue
unanalyzed	call on getType
unanalyzed	call on com.dmdirc.util.MapList:containsKey
unanalyzed	call on com.dmdirc.util.MapList:get
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.ArrayList:iterator
unanalyzed	call on trigger
unanalyzed	call on getArity
unanalyzed	call on com.dmdirc.interfaces.ActionListener:proces sEvent
unanalyzed	call on triggerActions
unanalyzed	call on getParser
unanalyzed	call on checkParser
unanalyzed	call on getState
unanalyzed	call on getStatus
unanalyzed	call on com.dmdirc.util.RollingList:getList
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on getUI
unanalyzed	call on getFrame
unanalyzed	call on getServer
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:disconnect
unanalyzed	call on com.dmdirc.actions.ConditionTree$OPERATION: ordinal
unanalyzed	call on java.util.List:size
unanalyzed	call on java.util.Deque:pollFirst
unanalyzed	call on java.lang.Character:instanceof
unanalyzed	call on java.lang.Character:charValue
unanalyzed	call on java.util.Deque:isEmpty
unanalyzed	call on readTerm
unanalyzed	call on java.util.ArrayDeque
unanalyzed	call on java.util.Deque:pollLast
unanalyzed	call on java.util.Deque:addFirst
unanalyzed	call on parseStack
unanalyzed	call on java.util.Deque:poll
unanalyzed	call on java.util.Deque:add
unanalyzed	call on java.util.Deque:size
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String:charAt
unanalyzed	call on java.lang.String:valueOf
unanalyzed	call on java.lang.Integer:parseInt
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.lang.Character:valueOf
unanalyzed	call on com.dmdirc.config.IdentityManager:getGlobal Config
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptions
unanalyzed	call on java.util.Map:entrySet
unanalyzed	call on java.util.Set:iterator
unanalyzed	call on java.util.Map$Entry:getKey
unanalyzed	call on java.util.Map$Entry:getValue
unanalyzed	call on [Ljava.lang.String;:instanceof
unanalyzed	call on java.lang.String:instanceof
unanalyzed	call on java.lang.String:split
unanalyzed	call on doServerSubstitutions
unanalyzed	call on doComponentSubstitutions
unanalyzed	call on com.dmdirc.ServerState:equals
unanalyzed	call on getCompatibleComponents
unanalyzed	call on java.lang.Object:toString
unanalyzed	call on get
unanalyzed	call on getArgTypes
unanalyzed	call on test
unanalyzed	call on evaluate
unanalyzed	call on com.dmdirc.ui.interfaces.UIController:getAc tiveWindow
unanalyzed	call on com.dmdirc.ui.interfaces.InputWindow:instan ceof
unanalyzed	call on java.util.List:get
unanalyzed	call on com.dmdirc.commandparser.parsers. GlobalCommandParser:getGlobalCommandParser
unanalyzed	call on com.dmdirc.ui.interfaces.InputWindow:getCom mandParser
unanalyzed	call on com.dmdirc.commandparser.parsers. CommandParser:parseCommand

method	void onPingSuccess(IRCParser)
pre	init'ed(com/dmdirc/actions/ActionManager. killSwitch)
pre	tParser != null
pre	this.owner != null
pre	this.owner.myState != null
pre	this.owner.myState.state != null
pre	(soft) com.dmdirc.actions.CoreActionType__static_ init.new CoreActionType(CoreActionType__static_init #32).type != null
pre	(soft) init'ed(com/dmdirc/ServerManager.me)
pre	(soft) this.owner.server != null
post	com/dmdirc/ServerManager.me == old com/dmdirc/Serve rManager.me
post	new ArrayList(ServerManager#1) num objects == undefined
post	new ArrayList(ServerManager#1) num objects == 0, if init'ed
post	new ServerManager(getServerManager#1) num objects == new ArrayList(ServerManager#1) num objects
post	new ServerManager(getServerManager#1).servers == undefined
post	new ServerManager(getServerManager#1).servers == null
unanalyzed	call on com.dmdirc.logger.Logger:assertTrue
unanalyzed	call on getType
unanalyzed	call on com.dmdirc.util.MapList:containsKey
unanalyzed	call on com.dmdirc.util.MapList:get
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.ArrayList:iterator
unanalyzed	call on trigger
unanalyzed	call on getArity
unanalyzed	call on com.dmdirc.interfaces.ActionListener:proces sEvent
unanalyzed	call on triggerActions
unanalyzed	call on getParser
unanalyzed	call on checkParser
unanalyzed	call on getState
unanalyzed	call on getStatus
unanalyzed	call on com.dmdirc.util.RollingList:getList
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on getUI
unanalyzed	call on getFrame
unanalyzed	call on getServer
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:disconnect
unanalyzed	call on com.dmdirc.actions.ConditionTree$OPERATION: ordinal
unanalyzed	call on java.util.List:size
unanalyzed	call on java.util.Deque:pollFirst
unanalyzed	call on java.lang.Character:instanceof
unanalyzed	call on java.lang.Character:charValue
unanalyzed	call on java.util.Deque:isEmpty
unanalyzed	call on readTerm
unanalyzed	call on java.util.ArrayDeque
unanalyzed	call on java.util.Deque:pollLast
unanalyzed	call on java.util.Deque:addFirst
unanalyzed	call on parseStack
unanalyzed	call on java.util.Deque:poll
unanalyzed	call on java.util.Deque:add
unanalyzed	call on java.util.Deque:size
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String:charAt
unanalyzed	call on java.lang.String:valueOf
unanalyzed	call on java.lang.Integer:parseInt
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.lang.Character:valueOf
unanalyzed	call on com.dmdirc.config.IdentityManager:getGlobal Config
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptions
unanalyzed	call on java.util.Map:entrySet
unanalyzed	call on java.util.Set:iterator
unanalyzed	call on java.util.Map$Entry:getKey
unanalyzed	call on java.util.Map$Entry:getValue
unanalyzed	call on [Ljava.lang.String;:instanceof
unanalyzed	call on java.lang.String:instanceof
unanalyzed	call on java.lang.String:split
unanalyzed	call on doServerSubstitutions
unanalyzed	call on doComponentSubstitutions
unanalyzed	call on com.dmdirc.ServerState:equals
unanalyzed	call on getCompatibleComponents
unanalyzed	call on java.lang.Object:toString
unanalyzed	call on get
unanalyzed	call on getArgTypes
unanalyzed	call on test
unanalyzed	call on evaluate
unanalyzed	call on com.dmdirc.ui.interfaces.UIController:getAc tiveWindow
unanalyzed	call on com.dmdirc.ui.interfaces.InputWindow:instan ceof
unanalyzed	call on java.util.List:get
unanalyzed	call on com.dmdirc.commandparser.parsers. GlobalCommandParser:getGlobalCommandParser
unanalyzed	call on com.dmdirc.ui.interfaces.InputWindow:getCom mandParser
unanalyzed	call on com.dmdirc.commandparser.parsers. CommandParser:parseCommand

method not available - call not analyzed Info call on long com.dmdirc.parser.irc.IRCParser:getSer verLag()

method	void onAwayState(IRCParser, bool, String)
pre	init'ed(this.owner.awayMessage)
pre	this.owner != null
pre	this.owner.myState != null
pre	this.owner.myState.state != null
pre	(soft) this.owner.listeners != null
pre	(soft) this.owner.server != null
post	this.owner.awayMessage == One-of{old this.owner.awayMessage, reason, null}
post	init'ed(this.owner.awayMessage)
unanalyzed	call on getParser
unanalyzed	call on checkParser
unanalyzed	call on getState
unanalyzed	call on getStatus
unanalyzed	call on com.dmdirc.util.RollingList:getList
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.lang.String:equals
unanalyzed	call on com.dmdirc.util.ListenerList:get
unanalyzed	call on com.dmdirc.interfaces.AwayStateListener:onB ack
unanalyzed	call on com.dmdirc.interfaces.AwayStateListener:onA way
unanalyzed	call on getServer
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:disconnect
test_vector	currentState: {0}, {1}

method not available - call not analyzed Info call on void com.dmdirc.Server:doNotification(Strin g, ActionType, Object[])

method	void onConnectError(IRCParser, ParserError)
pre	this.owner.myState.state != null
pre	this.owner != null
pre	this.owner.myState != null
pre	(soft) this.owner.server != null
post	this.owner.myState.state == old this.owner.myState. state
post	this.owner.myState.state != null
post	this.owner.parser == old this.owner.parser
post	this.owner.reconnectTimer == old this.owner. reconnectTimer
post	new Timer(doDelayedReconnect#4) num objects == undefined
post	new Timer(doDelayedReconnect#4) num objects == 0, if init'ed
unanalyzed	call on getParser
unanalyzed	call on checkParser
unanalyzed	call on getState
unanalyzed	call on getStatus
unanalyzed	call on com.dmdirc.util.RollingList:getList
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on getServer
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:disconnect

call too complex - analysis skipped Info call on void onConnectError(ParserError)

method	void onNickInUse(IRCParser, String)
pre	this.owner != null
pre	this.owner.converter != null
pre	this.owner.myState != null
pre	this.owner.myState.state != null
pre	this.owner.parser != null
pre	(soft) this.owner.profile != null
pre	(soft) this.owner.server != null
unanalyzed	call on getParser
unanalyzed	call on checkParser
unanalyzed	call on getState
unanalyzed	call on getStatus
unanalyzed	call on com.dmdirc.util.RollingList:getList
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on com.dmdirc.config.Identity:getOptionList
unanalyzed	call on java.util.List:get
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:getMyNickna me
unanalyzed	call on com.dmdirc.parser.irc.IRCStringConverter:eq ualsIgnoreCase
unanalyzed	call on java.lang.Math:random
unanalyzed	call on java.util.List:size
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:setNickname
unanalyzed	call on getServer
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:disconnect

method	void onPost005(IRCParser)
pre	this.owner.myState.state != null
pre	this.owner != null
pre	this.owner.myState != null
pre	(soft) this.owner.server != null
post	this.owner.converter == old this.owner.converter
post	this.owner.myState.state == old this.owner.myState. state
post	this.owner.myState.state != null
unanalyzed	call on getParser
unanalyzed	call on checkParser
unanalyzed	call on getState
unanalyzed	call on getStatus
unanalyzed	call on com.dmdirc.util.RollingList:getList
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on getServer
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:disconnect

call too complex - analysis skipped Info call on void onPost005()

method	void onNoticeAuth(IRCParser, String)
pre	this.owner != null
pre	this.owner.myState != null
pre	this.owner.myState.state != null
pre	(soft) this.owner.server != null
unanalyzed	call on getParser
unanalyzed	call on checkParser
unanalyzed	call on getState
unanalyzed	call on getStatus
unanalyzed	call on com.dmdirc.util.RollingList:getList
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on getServer
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:disconnect

method not available - call not analyzed Info call on void com.dmdirc.Server:doNotification(Strin g, ActionType, Object[])

method	void onUnknownNotice(IRCParser, String, String, String)
pre	this.owner != null
pre	this.owner.myState != null
pre	this.owner.myState.state != null
pre	(soft) this.owner.server != null
unanalyzed	call on getParser
unanalyzed	call on checkParser
unanalyzed	call on getState
unanalyzed	call on getStatus
unanalyzed	call on com.dmdirc.util.RollingList:getList
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on getServer
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:disconnect

method not available - call not analyzed Info call on void com.dmdirc.Server:doNotification(Strin g, ActionType, Object[])

method	void onUserModeChanged(IRCParser, ClientInfo, String, String)
pre	tParser != null
pre	this.owner != null
pre	this.owner.myState != null
pre	this.owner.myState.state != null
pre	(soft) this.owner.server != null
unanalyzed	call on getParser
unanalyzed	call on checkParser
unanalyzed	call on getState
unanalyzed	call on getStatus
unanalyzed	call on com.dmdirc.util.RollingList:getList
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on getServer
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:disconnect

method	void onUserModeDiscovered(IRCParser, ClientInfo, String)
pre	this.owner != null
pre	this.owner.myState != null
pre	this.owner.myState.state != null
pre	(soft) this.owner.server != null
unanalyzed	call on getParser
unanalyzed	call on checkParser
unanalyzed	call on getState
unanalyzed	call on getStatus
unanalyzed	call on com.dmdirc.util.RollingList:getList
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on getServer
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:disconnect

method not available - call not analyzed Info call on void com.dmdirc.Server:doNotification(Strin g, ActionType, Object[])

method	void onInvite(IRCParser, String, String)
pre	tParser != null
pre	this.owner != null
pre	this.owner.invites != null
pre	this.owner.listeners != null
pre	this.owner.myState != null
pre	this.owner.myState.state != null
pre	(soft) this.owner.server != null
unanalyzed	call on getParser
unanalyzed	call on java.util.Date
unanalyzed	call on java.util.Date:getTime
unanalyzed	call on checkParser
unanalyzed	call on getState
unanalyzed	call on getStatus
unanalyzed	call on com.dmdirc.util.RollingList:getList
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.List:add
unanalyzed	call on java.lang.String:equals
unanalyzed	call on com.dmdirc.util.ListenerList:get
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.List:remove
unanalyzed	call on com.dmdirc.interfaces.InviteListener:invite Expired
unanalyzed	call on java.util.ArrayList:iterator
unanalyzed	call on com.dmdirc.interfaces.InviteListener:invite Received
unanalyzed	call on getServer
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:disconnect

method	void onWallop(IRCParser, String, String)
pre	tParser != null
pre	this.owner != null
pre	this.owner.myState != null
pre	this.owner.myState.state != null
pre	(soft) this.owner.server != null
unanalyzed	call on getParser
unanalyzed	call on checkParser
unanalyzed	call on getState
unanalyzed	call on getStatus
unanalyzed	call on com.dmdirc.util.RollingList:getList
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on getServer
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:disconnect

method	void onWalluser(IRCParser, String, String)
pre	tParser != null
pre	this.owner != null
pre	this.owner.myState != null
pre	this.owner.myState.state != null
pre	(soft) this.owner.server != null
unanalyzed	call on getParser
unanalyzed	call on checkParser
unanalyzed	call on getState
unanalyzed	call on getStatus
unanalyzed	call on com.dmdirc.util.RollingList:getList
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on getServer
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:disconnect

method	void onWallDesync(IRCParser, String, String)
pre	tParser != null
pre	this.owner != null
pre	this.owner.myState != null
pre	this.owner.myState.state != null
pre	(soft) this.owner.server != null
unanalyzed	call on getParser
unanalyzed	call on checkParser
unanalyzed	call on getState
unanalyzed	call on getStatus
unanalyzed	call on com.dmdirc.util.RollingList:getList
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on getServer
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:disconnect

method	void onNickChanged(IRCParser, ClientInfo, String)
pre	cClient != null
pre	tParser != null
pre	this.owner.myState != null
pre	this.owner.myState.state != null
pre	(soft) this.owner != null
pre	(soft) this.owner.server != null
unanalyzed	call on getParser
unanalyzed	call on checkParser
unanalyzed	call on getState
unanalyzed	call on getStatus
unanalyzed	call on com.dmdirc.util.RollingList:getList
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on getServer
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:disconnect
test_vector	java.lang.Object:equals(...)@344: {0}, {1}

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 not available - call not analyzed Info call on void com.dmdirc.Server:doNotification(Strin g, ActionType, Object[])

method	void onServerError(IRCParser, String)
pre	this.owner != null
pre	this.owner.myState != null
pre	this.owner.myState.state != null
pre	(soft) this.owner.server != null
unanalyzed	call on getParser
unanalyzed	call on checkParser
unanalyzed	call on getState
unanalyzed	call on getStatus
unanalyzed	call on com.dmdirc.util.RollingList:getList
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on getServer
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:disconnect

method not available - call not analyzed Info call on void com.dmdirc.Server:doNotification(Strin g, ActionType, Object[])

method	void checkParser(IRCParser)
pre	this.owner != null
pre	this.owner.myState != null
pre	this.owner.myState.state != null
pre	(soft) this.owner.server != null
unanalyzed	call on getParser
unanalyzed	call on getStatus
unanalyzed	call on com.dmdirc.util.RollingList:getList
unanalyzed	call on java.util.List:iterator
unanalyzed	call on getServer
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:disconnect
unanalyzed	call on java.lang.IllegalArgumentException

Prev Msg Next Msg

conditional throw

click for all messages in this file Low Prob.

check that getState(...)@363 == com/dmdirc/ServerSt ate.DISCONNECTING

Prev Msg Next Msg

method not available - call not analyzed	Info	call on bool com.dmdirc.parser.irc.ParserError:isEx ception()
method not available - call not analyzed	Info	call on String com.dmdirc.parser.irc. ParserError:getLastLine()
method not available - call not analyzed	Info	call on Exception com.dmdirc.parser.irc. ParserError:getException()

	method not available - call not analyzed	Info	call on ClientInfo com.dmdirc.parser.irc. IRCParser:getClientInfoOrFake(String)
	method not available - call not analyzed	Info	call on void com.dmdirc.Server:doNotification(Strin g, ActionType, Object[])

	method not available - call not analyzed	Info	call on String com.dmdirc.parser.irc. ClientInfo:getNickname()
	method not available - call not analyzed	Info	call on void com.dmdirc.Server:doNotification(Strin g, ActionType, Object[])