| method | void onChannelGotNames(IRCParser, ChannelInfo) |
| 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 |
| 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 |
| 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 == 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 getServer |
| unanalyzed | call on getParser |
| unanalyzed | call on com.dmdirc.parser.irc.IRCParser:disconnect |
| 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.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 com.dmdirc.ui.input.TabCompleter:addEntry |
| unanalyzed | call on com.dmdirc.parser.irc.ChannelClientInfo:get Nickname |
| unanalyzed | call on com.dmdirc.ui.interfaces.ChannelWindow:upda teNames |
| unanalyzed | call on com.dmdirc.ui.input.TabCompleter:clear |
| 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 getState |
| 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 getUI |
| unanalyzed | call on com.dmdirc.ui.interfaces.UIController:getAc tiveWindow |
| unanalyzed | call on getFrame |
| 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 onChannelTopic(IRCParser, ChannelInfo, bool) |
| pre | cChannel != null |
| pre | this.owner != null |
| pre | this.owner.channelInfo != null |
| pre | this.owner.topics != null |
| pre | this.owner.window != null |
| pre | (soft) this.owner.server != null |
| unanalyzed | call on getServer |
| unanalyzed | call on getParser |
| unanalyzed | call on com.dmdirc.parser.irc.IRCParser:disconnect |
| 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.ChannelInfo:getName |
| unanalyzed | call on com.dmdirc.ui.messages.Styliser:stipControl Codes |
| unanalyzed | call on com.dmdirc.parser.irc.ChannelInfo:getTopic |
| unanalyzed | call on java.lang.String:isEmpty |
| unanalyzed | call on com.dmdirc.ui.interfaces.ChannelWindow:setT itle |
| unanalyzed | call on com.dmdirc.util.RollingList:add |
| test_vector | bIsJoinTopic: {0}, {1} |
| method | void onChannelPart(IRCParser, ChannelInfo, ChannelClientInfo, String) |
| 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 |
| pre | (soft) this.owner.config != null |
| pre | (soft) this.owner.listeners != null |
| post | this.owner.icon == One-of{old this.owner.icon, &"channel-inactive"} |
| post | possibly_updated(this.owner.onChannel) |
| unanalyzed | call on getServer |
| unanalyzed | call on getParser |
| unanalyzed | call on com.dmdirc.parser.irc.IRCParser:disconnect |
| 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.ChannelClientInfo:get Client |
| unanalyzed | call on com.dmdirc.parser.irc.IRCParser:getMyself |
| unanalyzed | call on java.lang.Object:equals |
| unanalyzed | call on com.dmdirc.ui.input.TabCompleter:removeEntr y |
| unanalyzed | call on com.dmdirc.parser.irc.ChannelClientInfo:get Nickname |
| unanalyzed | call on com.dmdirc.ui.interfaces.ChannelWindow:upda teNames |
| unanalyzed | call on setIcon |
| unanalyzed | call on java.util.ArrayList |
| unanalyzed | call on com.dmdirc.ui.interfaces.ChannelWindow:remo veName |
| unanalyzed | call on com.dmdirc.ui.IconManager:getIconManager |
| unanalyzed | call on com.dmdirc.ui.IconManager:getIcon |
| unanalyzed | call on java.lang.Throwable:__curr_excep_obj |
| unanalyzed | call on getFrame |
| unanalyzed | call on com.dmdirc.util.ListenerList:get |
| unanalyzed | call on com.dmdirc.interfaces.IconChangeListener:ic onChanged |
| unanalyzed | call on com.dmdirc.config.ConfigManager:removeListe ner |
| unanalyzed | call on com.dmdirc.config.ConfigManager:addChangeLi stener |
| method | void onChannelKick(IRCParser, ChannelInfo, ChannelClientInfo, ChannelClientInfo, String, String) |
| 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 |
| pre | (soft) this.owner.config != null |
| pre | (soft) this.owner.listeners != null |
| post | this.owner.icon == One-of{old this.owner.icon, &"channel-inactive"} |
| post | possibly_updated(this.owner.onChannel) |
| unanalyzed | call on getServer |
| unanalyzed | call on getParser |
| unanalyzed | call on com.dmdirc.parser.irc.IRCParser:disconnect |
| 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.ui.input.TabCompleter:removeEntr y |
| unanalyzed | call on com.dmdirc.parser.irc.ChannelClientInfo:get Nickname |
| unanalyzed | call on com.dmdirc.ui.interfaces.ChannelWindow:upda teNames |
| unanalyzed | call on setIcon |
| unanalyzed | call on java.util.ArrayList |
| unanalyzed | call on com.dmdirc.parser.irc.ChannelClientInfo:get Client |
| unanalyzed | call on com.dmdirc.parser.irc.IRCParser:getMyself |
| unanalyzed | call on com.dmdirc.ui.interfaces.ChannelWindow:remo veName |
| unanalyzed | call on java.lang.Object:equals |
| unanalyzed | call on com.dmdirc.ui.IconManager:getIconManager |
| unanalyzed | call on com.dmdirc.ui.IconManager:getIcon |
| unanalyzed | call on java.lang.Throwable:__curr_excep_obj |
| unanalyzed | call on getFrame |
| unanalyzed | call on com.dmdirc.util.ListenerList:get |
| unanalyzed | call on com.dmdirc.interfaces.IconChangeListener:ic onChanged |
| unanalyzed | call on com.dmdirc.config.ConfigManager:removeListe ner |
| unanalyzed | call on com.dmdirc.config.ConfigManager:addChangeLi stener |
| method | void onChannelQuit(IRCParser, ChannelInfo, ChannelClientInfo, String) |
| 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 |
| pre | (soft) this.owner.config != null |
| pre | (soft) this.owner.listeners != null |
| post | this.owner.icon == One-of{old this.owner.icon, &"channel-inactive"} |
| post | possibly_updated(this.owner.onChannel) |
| unanalyzed | call on getServer |
| unanalyzed | call on getParser |
| unanalyzed | call on com.dmdirc.parser.irc.IRCParser:disconnect |
| 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.ui.input.TabCompleter:removeEntr y |
| unanalyzed | call on com.dmdirc.parser.irc.ChannelClientInfo:get Nickname |
| unanalyzed | call on com.dmdirc.ui.interfaces.ChannelWindow:upda teNames |
| unanalyzed | call on setIcon |
| unanalyzed | call on java.util.ArrayList |
| unanalyzed | call on com.dmdirc.parser.irc.ChannelClientInfo:get Client |
| unanalyzed | call on com.dmdirc.parser.irc.IRCParser:getMyself |
| unanalyzed | call on com.dmdirc.ui.interfaces.ChannelWindow:remo veName |
| unanalyzed | call on java.lang.Object:equals |
| unanalyzed | call on com.dmdirc.ui.IconManager:getIconManager |
| unanalyzed | call on com.dmdirc.ui.IconManager:getIcon |
| unanalyzed | call on java.lang.Throwable:__curr_excep_obj |
| unanalyzed | call on getFrame |
| unanalyzed | call on com.dmdirc.util.ListenerList:get |
| unanalyzed | call on com.dmdirc.interfaces.IconChangeListener:ic onChanged |
| unanalyzed | call on com.dmdirc.config.ConfigManager:removeListe ner |
| unanalyzed | call on com.dmdirc.config.ConfigManager:addChangeLi stener |
| method | void onChannelNickChanged(IRCParser, ChannelInfo, ChannelClientInfo, String) |
| 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 getServer |
| unanalyzed | call on getParser |
| unanalyzed | call on com.dmdirc.parser.irc.IRCParser:disconnect |
| 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.ChannelClientInfo:get Client |
| unanalyzed | call on com.dmdirc.parser.irc.IRCParser:getMyself |
| unanalyzed | call on java.lang.Object:equals |
| unanalyzed | call on com.dmdirc.ui.input.TabCompleter:addEntry |
| unanalyzed | call on com.dmdirc.ui.interfaces.ChannelWindow:upda teNames |
| unanalyzed | call on com.dmdirc.ui.input.TabCompleter:removeEntr y |
| method | void onChannelModeChanged(IRCParser, ChannelInfo, ChannelClientInfo, String, String) |
| pre | sHost != null |
| pre | this.owner != null |
| pre | this.owner.window != null |
| pre | (soft) cChannelClient != null |
| pre | (soft) sModes != null |
| pre | (soft) this.owner.server != null |
| pre | (soft) this.owner.server.parser != null |
| unanalyzed | call on getServer |
| unanalyzed | call on getParser |
| unanalyzed | call on com.dmdirc.parser.irc.IRCParser:disconnect |
| 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.ChannelClientInfo:get Client |
| unanalyzed | call on com.dmdirc.parser.irc.IRCParser:getMyself |
| unanalyzed | call on java.lang.Object:equals |
| unanalyzed | call on com.dmdirc.ui.interfaces.ChannelWindow:upda teNames |
| test_vector | java.lang.String:isEmpty(...)@205: {0}, {1} |