ServerEventHandler.java

ServerEventHandler.java

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

Filter Options

Annotation Kind:

pre

presumption

post

unanalyzed

test_vector

void addCallback(CallbackManager, String)

Kind	Annotation Text
pre	cbm != null

void checkParser(IRCParser)

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

void com.dmdirc.ServerEventHandler(Server)

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

com.dmdirc.ServerEventHandler__static_init

Kind	Annotation Text

Server getServer()

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

void onAwayState(IRCParser, bool, String)

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

void onChannelSelfJoin(IRCParser, ChannelInfo)

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

void onConnectError(IRCParser, ParserError)

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

void onErrorInfo(IRCParser, ParserError)

Kind	Annotation Text
pre	(soft) this.owner != null
pre	(soft) this.owner.serverInfo != null
pre	errorInfo != 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}

void onInvite(IRCParser, String, String)

Kind	Annotation Text
pre	(soft) this.owner.server != null
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
unanalyzed	call on checkParser
unanalyzed	call on com.dmdirc.interfaces.InviteListener:invite Expired
unanalyzed	call on com.dmdirc.interfaces.InviteListener:invite Received
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:disconnect
unanalyzed	call on com.dmdirc.util.ListenerList:get
unanalyzed	call on com.dmdirc.util.RollingList:getList
unanalyzed	call on getParser
unanalyzed	call on getServer
unanalyzed	call on getState
unanalyzed	call on getStatus
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.ArrayList:iterator
unanalyzed	call on java.util.Date
unanalyzed	call on java.util.Date:getTime
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.util.List:remove

void onMOTDEnd(IRCParser, bool, String)

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

void onMOTDLine(IRCParser, String)

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

void onMOTDStart(IRCParser, String)

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

void onNickChanged(IRCParser, ClientInfo, String)

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

void onNickInUse(IRCParser, String)

Kind	Annotation Text
pre	(soft) this.owner.profile != null
pre	(soft) this.owner.server != null
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
unanalyzed	call on checkParser
unanalyzed	call on com.dmdirc.config.Identity:getOptionList
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:disconnect
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:getMyNickna me
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:setNickname
unanalyzed	call on com.dmdirc.parser.irc.IRCStringConverter:eq ualsIgnoreCase
unanalyzed	call on com.dmdirc.util.RollingList:getList
unanalyzed	call on getParser
unanalyzed	call on getServer
unanalyzed	call on getState
unanalyzed	call on getStatus
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on java.lang.Math:random
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on java.util.List:get
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.util.List:size

void onNoticeAuth(IRCParser, String)

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

void onNumeric(IRCParser, int, String[])

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

void onPingFailed(IRCParser)

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

void onPingSent(IRCParser)

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

void onPingSuccess(IRCParser)

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

void onPost005(IRCParser)

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

void onPrivateAction(IRCParser, String, String)

Kind	Annotation Text
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
pre	this.owner != null
pre	this.owner.queries != null
unanalyzed	call on checkParser
unanalyzed	call on com.dmdirc.Query
unanalyzed	call on com.dmdirc.Server:getConfigManager
unanalyzed	call on com.dmdirc.WritableFrameContainer
unanalyzed	call on com.dmdirc.commandparser.CommandManager:get CommandNames
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionBo ol
unanalyzed	call on com.dmdirc.interfaces.ActionListener:proces sEvent
unanalyzed	call on com.dmdirc.logger.Logger:appError
unanalyzed	call on com.dmdirc.logger.Logger:assertTrue
unanalyzed	call on com.dmdirc.parser.irc.ClientInfo:parseHost
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:disconnect
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:getCallback Manager
unanalyzed	call on com.dmdirc.parser.irc.IRCStringConverter:eq ualsIgnoreCase
unanalyzed	call on com.dmdirc.parser.irc.callbacks. CallbackManager:addCallback
unanalyzed	call on com.dmdirc.ui.WindowManager:addWindow
unanalyzed	call on com.dmdirc.ui.input.InputHandler:setTabComp leter
unanalyzed	call on com.dmdirc.ui.input.TabCompleter
unanalyzed	call on com.dmdirc.ui.input.TabCompleter:addEntries
unanalyzed	call on com.dmdirc.ui.input.TabCompleter:addEntry
unanalyzed	call on com.dmdirc.ui.interfaces.QueryWindow:getInp utHandler
unanalyzed	call on com.dmdirc.ui.interfaces.QueryWindow:open
unanalyzed	call on com.dmdirc.ui.interfaces.QueryWindow:setTit le
unanalyzed	call on com.dmdirc.ui.interfaces.UIController:getQu ery
unanalyzed	call on com.dmdirc.util.MapList:containsKey
unanalyzed	call on com.dmdirc.util.MapList:get
unanalyzed	call on com.dmdirc.util.RollingList:getList
unanalyzed	call on getArity
unanalyzed	call on getFrame
unanalyzed	call on getParser
unanalyzed	call on getServer
unanalyzed	call on getState
unanalyzed	call on getStatus
unanalyzed	call on getTabCompleter
unanalyzed	call on getType
unanalyzed	call on getUI
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.ArrayList:iterator
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.List:iterator
unanalyzed	call on trigger

void onPrivateCTCP(IRCParser, String, String, String)

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

void onPrivateCTCPReply(IRCParser, String, String, String)

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

void onPrivateMessage(IRCParser, String, String)

Kind	Annotation Text
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
pre	this.owner != null
pre	this.owner.queries != null
unanalyzed	call on checkParser
unanalyzed	call on com.dmdirc.Query
unanalyzed	call on com.dmdirc.Server:getConfigManager
unanalyzed	call on com.dmdirc.WritableFrameContainer
unanalyzed	call on com.dmdirc.commandparser.CommandManager:get CommandNames
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionBo ol
unanalyzed	call on com.dmdirc.interfaces.ActionListener:proces sEvent
unanalyzed	call on com.dmdirc.logger.Logger:appError
unanalyzed	call on com.dmdirc.logger.Logger:assertTrue
unanalyzed	call on com.dmdirc.parser.irc.ClientInfo:parseHost
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:disconnect
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:getCallback Manager
unanalyzed	call on com.dmdirc.parser.irc.IRCStringConverter:eq ualsIgnoreCase
unanalyzed	call on com.dmdirc.parser.irc.callbacks. CallbackManager:addCallback
unanalyzed	call on com.dmdirc.ui.WindowManager:addWindow
unanalyzed	call on com.dmdirc.ui.input.InputHandler:setTabComp leter
unanalyzed	call on com.dmdirc.ui.input.TabCompleter
unanalyzed	call on com.dmdirc.ui.input.TabCompleter:addEntries
unanalyzed	call on com.dmdirc.ui.input.TabCompleter:addEntry
unanalyzed	call on com.dmdirc.ui.interfaces.QueryWindow:getInp utHandler
unanalyzed	call on com.dmdirc.ui.interfaces.QueryWindow:open
unanalyzed	call on com.dmdirc.ui.interfaces.QueryWindow:setTit le
unanalyzed	call on com.dmdirc.ui.interfaces.UIController:getQu ery
unanalyzed	call on com.dmdirc.util.MapList:containsKey
unanalyzed	call on com.dmdirc.util.MapList:get
unanalyzed	call on com.dmdirc.util.RollingList:getList
unanalyzed	call on getArity
unanalyzed	call on getFrame
unanalyzed	call on getParser
unanalyzed	call on getServer
unanalyzed	call on getState
unanalyzed	call on getStatus
unanalyzed	call on getTabCompleter
unanalyzed	call on getType
unanalyzed	call on getUI
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.ArrayList:iterator
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.List:iterator
unanalyzed	call on trigger

void onPrivateNotice(IRCParser, String, String)

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

void onServerError(IRCParser, String)

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

void onSocketClosed(IRCParser)

Kind	Annotation Text
pre	init'ed(this.owner.parser)
pre	this.owner != null
test_vector	tParser == this.owner.parser: {0}, {1}

void onUnknownNotice(IRCParser, String, String, String)

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

void onUserModeChanged(IRCParser, ClientInfo, String, String)

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

void onUserModeDiscovered(IRCParser, ClientInfo, String)

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

void onWallDesync(IRCParser, String, String)

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

void onWallop(IRCParser, String, String)

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

void onWalluser(IRCParser, String, String)

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