ChannelEventHandler.java

ChannelEventHandler.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	(soft) this.owner != null
pre	(soft) this.owner.channelInfo != null
pre	cbm != null
test_vector	java.lang.String:equals(...)@64: {0}, {1}

void com.dmdirc.ChannelEventHandler(Channel)

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

com.dmdirc.ChannelEventHandler__static_init

Kind	Annotation Text

Server getServer()

Kind	Annotation Text
pre	init'ed(this.owner.server)
pre	this.owner != null
post	init'ed(return_value)
post	return_value == this.owner.server

bool isMyself(ChannelClientInfo)

Kind	Annotation Text
pre	client != null
pre	this.owner != null
pre	this.owner.server != null
pre	this.owner.server.parser != null
presumption	com.dmdirc.parser.irc.ChannelClientInfo:getClient(. ..)@84 != null
post	init'ed(return_value)

void onAwayStateOther(IRCParser, ClientInfo, bool)

Kind	Annotation Text
pre	(soft) this.owner.server != null
pre	this.owner != null
pre	this.owner.channelInfo != 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
test_vector	com.dmdirc.parser.irc.ChannelInfo:getUser(... )@255: Addr_Set{null}, Inverse{null}

void onChannelAction(IRCParser, ChannelInfo, ChannelClientInfo, String, String)

Kind	Annotation Text
pre	cChannelClient != null
pre	this.owner != null
pre	this.owner.server != null
pre	this.owner.server.parser != null
unanalyzed	call on com.dmdirc.parser.irc.ChannelClientInfo:get Client
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:disconnect
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:getMyself
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.lang.Object:equals
unanalyzed	call on java.util.List:iterator

void onChannelCTCP(IRCParser, ChannelInfo, ChannelClientInfo, String, String, String)

Kind	Annotation Text
pre	(soft) this.owner.server.config != null
pre	(soft) this.owner.server.parser != null
pre	cChannelClient != null
pre	sType != null
pre	this.owner != null
pre	this.owner.server != null
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 getStatus
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on java.lang.String:equalsIgnoreCase
unanalyzed	call on java.util.List:iterator

void onChannelGotNames(IRCParser, ChannelInfo)

Kind	Annotation Text
pre	(soft) com.dmdirc.actions.CoreActionType__static_ init.new CoreActionType(CoreActionType__static_init #42).type != null
pre	(soft) init'ed(com/dmdirc/ServerManager.me)
pre	(soft) this.owner.server != null
pre	cChannel != null
pre	init'ed(com/dmdirc/actions/ActionManager. killSwitch)
pre	this.owner != null
pre	this.owner.tabCompleter != null
pre	this.owner.window != null
presumption	com.dmdirc.parser.irc.ChannelInfo:getChannelClients (...)@104 != 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 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.ChannelClientInfo:get Nickname
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:disconnect
unanalyzed	call on com.dmdirc.ui.input.TabCompleter:addEntry
unanalyzed	call on com.dmdirc.ui.input.TabCompleter:clear
unanalyzed	call on com.dmdirc.ui.interfaces.ChannelWindow:upda teNames
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 onChannelJoin(IRCParser, ChannelInfo, ChannelClientInfo)

Kind	Annotation Text
pre	(soft) this.owner.server != null
pre	cChannelClient != null
pre	this.owner != null
pre	this.owner.tabCompleter != null
pre	this.owner.window != null
unanalyzed	call on com.dmdirc.parser.irc.ChannelClientInfo:get Nickname
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:disconnect
unanalyzed	call on com.dmdirc.ui.input.TabCompleter:addEntry
unanalyzed	call on com.dmdirc.ui.interfaces.ChannelWindow:addN ame
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 onChannelKick(IRCParser, ChannelInfo, ChannelClientInfo, ChannelClientInfo, String, String)

Kind	Annotation Text
pre	(soft) this.owner.config != null
pre	(soft) this.owner.listeners != null
pre	cKickedClient != null
pre	sReason != null
pre	this.owner != null
pre	this.owner.server != null
pre	this.owner.server.parser != null
pre	this.owner.tabCompleter != null
pre	this.owner.window != null
post	possibly_updated(this.owner.onChannel)
post	this.owner.icon == One-of{old this.owner.icon, &"channel-inactive"}
unanalyzed	call on com.dmdirc.config.ConfigManager:addChangeLi stener
unanalyzed	call on com.dmdirc.config.ConfigManager:removeListe ner
unanalyzed	call on com.dmdirc.interfaces.IconChangeListener:ic onChanged
unanalyzed	call on com.dmdirc.parser.irc.ChannelClientInfo:get Client
unanalyzed	call on com.dmdirc.parser.irc.ChannelClientInfo:get Nickname
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:disconnect
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:getMyself
unanalyzed	call on com.dmdirc.ui.IconManager:getIcon
unanalyzed	call on com.dmdirc.ui.IconManager:getIconManager
unanalyzed	call on com.dmdirc.ui.input.TabCompleter:removeEntr y
unanalyzed	call on com.dmdirc.ui.interfaces.ChannelWindow:remo veName
unanalyzed	call on com.dmdirc.ui.interfaces.ChannelWindow:upda teNames
unanalyzed	call on com.dmdirc.util.ListenerList:get
unanalyzed	call on com.dmdirc.util.RollingList:getList
unanalyzed	call on getFrame
unanalyzed	call on getParser
unanalyzed	call on getServer
unanalyzed	call on getStatus
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on java.lang.Object:equals
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.List:iterator
unanalyzed	call on setIcon

void onChannelMessage(IRCParser, ChannelInfo, ChannelClientInfo, String, String)

Kind	Annotation Text
pre	cChannelClient != null
pre	this.owner != null
pre	this.owner.server != null
pre	this.owner.server.parser != null
unanalyzed	call on com.dmdirc.parser.irc.ChannelClientInfo:get Client
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:disconnect
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:getMyself
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.lang.Object:equals
unanalyzed	call on java.util.List:iterator

void onChannelModeChanged(IRCParser, ChannelInfo, ChannelClientInfo, String, String)

Kind	Annotation Text
pre	(soft) cChannelClient != null
pre	(soft) sModes != null
pre	(soft) this.owner.server != null
pre	(soft) this.owner.server.parser != null
pre	sHost != null
pre	this.owner != null
pre	this.owner.window != null
unanalyzed	call on com.dmdirc.parser.irc.ChannelClientInfo:get Client
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:disconnect
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:getMyself
unanalyzed	call on com.dmdirc.ui.interfaces.ChannelWindow:upda teNames
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.lang.Object:equals
unanalyzed	call on java.util.List:iterator
test_vector	java.lang.String:isEmpty(...)@205: {0}, {1}

void onChannelNickChanged(IRCParser, ChannelInfo, ChannelClientInfo, String)

Kind	Annotation Text
pre	cChannelClient != null
pre	this.owner != null
pre	this.owner.server != null
pre	this.owner.server.parser != null
pre	this.owner.tabCompleter != null
pre	this.owner.window != null
unanalyzed	call on com.dmdirc.parser.irc.ChannelClientInfo:get Client
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:disconnect
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:getMyself
unanalyzed	call on com.dmdirc.ui.input.TabCompleter:addEntry
unanalyzed	call on com.dmdirc.ui.input.TabCompleter:removeEntr y
unanalyzed	call on com.dmdirc.ui.interfaces.ChannelWindow:upda teNames
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.lang.Object:equals
unanalyzed	call on java.util.List:iterator

void onChannelNotice(IRCParser, ChannelInfo, ChannelClientInfo, String, String)

Kind	Annotation Text
pre	(soft) this.owner.server != null
pre	this.owner != 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 onChannelPart(IRCParser, ChannelInfo, ChannelClientInfo, String)

Kind	Annotation Text
pre	(soft) this.owner.config != null
pre	(soft) this.owner.listeners != null
pre	cChannelClient != null
pre	sReason != null
pre	this.owner != null
pre	this.owner.server != null
pre	this.owner.server.parser != null
pre	this.owner.tabCompleter != null
pre	this.owner.window != null
post	possibly_updated(this.owner.onChannel)
post	this.owner.icon == One-of{old this.owner.icon, &"channel-inactive"}
unanalyzed	call on com.dmdirc.config.ConfigManager:addChangeLi stener
unanalyzed	call on com.dmdirc.config.ConfigManager:removeListe ner
unanalyzed	call on com.dmdirc.interfaces.IconChangeListener:ic onChanged
unanalyzed	call on com.dmdirc.parser.irc.ChannelClientInfo:get Client
unanalyzed	call on com.dmdirc.parser.irc.ChannelClientInfo:get Nickname
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:disconnect
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:getMyself
unanalyzed	call on com.dmdirc.ui.IconManager:getIcon
unanalyzed	call on com.dmdirc.ui.IconManager:getIconManager
unanalyzed	call on com.dmdirc.ui.input.TabCompleter:removeEntr y
unanalyzed	call on com.dmdirc.ui.interfaces.ChannelWindow:remo veName
unanalyzed	call on com.dmdirc.ui.interfaces.ChannelWindow:upda teNames
unanalyzed	call on com.dmdirc.util.ListenerList:get
unanalyzed	call on com.dmdirc.util.RollingList:getList
unanalyzed	call on getFrame
unanalyzed	call on getParser
unanalyzed	call on getServer
unanalyzed	call on getStatus
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on java.lang.Object:equals
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.List:iterator
unanalyzed	call on setIcon

void onChannelQuit(IRCParser, ChannelInfo, ChannelClientInfo, String)

Kind	Annotation Text
pre	(soft) this.owner.config != null
pre	(soft) this.owner.listeners != null
pre	cChannelClient != null
pre	sReason != null
pre	this.owner != null
pre	this.owner.server != null
pre	this.owner.server.parser != null
pre	this.owner.tabCompleter != null
pre	this.owner.window != null
post	possibly_updated(this.owner.onChannel)
post	this.owner.icon == One-of{old this.owner.icon, &"channel-inactive"}
unanalyzed	call on com.dmdirc.config.ConfigManager:addChangeLi stener
unanalyzed	call on com.dmdirc.config.ConfigManager:removeListe ner
unanalyzed	call on com.dmdirc.interfaces.IconChangeListener:ic onChanged
unanalyzed	call on com.dmdirc.parser.irc.ChannelClientInfo:get Client
unanalyzed	call on com.dmdirc.parser.irc.ChannelClientInfo:get Nickname
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:disconnect
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:getMyself
unanalyzed	call on com.dmdirc.ui.IconManager:getIcon
unanalyzed	call on com.dmdirc.ui.IconManager:getIconManager
unanalyzed	call on com.dmdirc.ui.input.TabCompleter:removeEntr y
unanalyzed	call on com.dmdirc.ui.interfaces.ChannelWindow:remo veName
unanalyzed	call on com.dmdirc.ui.interfaces.ChannelWindow:upda teNames
unanalyzed	call on com.dmdirc.util.ListenerList:get
unanalyzed	call on com.dmdirc.util.RollingList:getList
unanalyzed	call on getFrame
unanalyzed	call on getParser
unanalyzed	call on getServer
unanalyzed	call on getStatus
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on java.lang.Object:equals
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.List:iterator
unanalyzed	call on setIcon

void onChannelTopic(IRCParser, ChannelInfo, bool)

Kind	Annotation Text
pre	(soft) this.owner.server != null
pre	cChannel != null
pre	this.owner != null
pre	this.owner.channelInfo != null
pre	this.owner.topics != null
pre	this.owner.window != null
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.IRCParser:disconnect
unanalyzed	call on com.dmdirc.ui.interfaces.ChannelWindow:setT itle
unanalyzed	call on com.dmdirc.ui.messages.Styliser:stipControl Codes
unanalyzed	call on com.dmdirc.util.RollingList:add
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.lang.String:isEmpty
unanalyzed	call on java.util.List:iterator
test_vector	bIsJoinTopic: {0}, {1}

void onChannelUserModeChanged(IRCParser, ChannelInfo, ChannelClientInfo, ChannelClientInfo, String, String)

Kind	Annotation Text
pre	(soft) this.owner.server != null
pre	this.owner != null
presumption	com.dmdirc.Channel:getConfigManager(...)@225 != null
presumption	com.dmdirc.Channel:getConfigManager(...)@228 != 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
test_vector	com.dmdirc.config.ConfigManager:getOptionBool(... )@225: {0}, {1}
test_vector	com.dmdirc.config.ConfigManager:hasOptionString(... )@228: {1}, {0}