| method | void onLoad() |
| pre | init'ed(com/dmdirc/commandparser/CommandManager. commandChar) |
| pre | this.command != null |
| presumption | init'ed(com.dmdirc.actions.CoreActionType.CLIENT_ LINE_ADDED) |
| unanalyzed | call on java.util.List:iterator |
| unanalyzed | call on getName |
| unanalyzed | call on java.lang.String:toLowerCase |
| unanalyzed | call on java.util.Map:put |
| unanalyzed | call on java.util.Map:remove |
| unanalyzed | call on com.dmdirc.ui.input.TabCompleter:addEntry |
| unanalyzed | call on com.dmdirc.ui.input.TabCompleter:removeEntr y |
| unanalyzed | call on com.dmdirc.ServerManager:getServerManager |
| unanalyzed | call on com.dmdirc.ServerManager:getServers |
| unanalyzed | call on getType |
| unanalyzed | call on com.dmdirc.Server:getTabCompleter |
| unanalyzed | call on com.dmdirc.Server:getChannels |
| unanalyzed | call on com.dmdirc.Server:getChannel |
| unanalyzed | call on com.dmdirc.Channel:getTabCompleter |
| unanalyzed | call on com.dmdirc.Server:getQueries |
| unanalyzed | call on com.dmdirc.Query:getTabCompleter |
| unanalyzed | call on com.dmdirc.util.MapList:containsKey |
| unanalyzed | call on com.dmdirc.util.MapList:get |
| method | void onUnload() |
| pre | init'ed(com/dmdirc/commandparser/CommandManager. commandChar) |
| pre | this.command != null |
| unanalyzed | call on java.util.List:iterator |
| unanalyzed | call on getName |
| unanalyzed | call on java.lang.String:toLowerCase |
| unanalyzed | call on java.util.Map:put |
| unanalyzed | call on java.util.Map:remove |
| unanalyzed | call on com.dmdirc.ui.input.TabCompleter:addEntry |
| unanalyzed | call on com.dmdirc.ui.input.TabCompleter:removeEntr y |
| unanalyzed | call on com.dmdirc.ServerManager:getServerManager |
| unanalyzed | call on com.dmdirc.ServerManager:getServers |
| unanalyzed | call on getType |
| unanalyzed | call on com.dmdirc.Server:getTabCompleter |
| unanalyzed | call on com.dmdirc.Server:getChannels |
| unanalyzed | call on com.dmdirc.Server:getChannel |
| unanalyzed | call on com.dmdirc.Channel:getTabCompleter |
| unanalyzed | call on com.dmdirc.Server:getQueries |
| unanalyzed | call on com.dmdirc.Query:getTabCompleter |
| unanalyzed | call on com.dmdirc.util.MapList:containsKey |
| unanalyzed | call on com.dmdirc.util.MapList:get |
| unanalyzed | call on java.util.Map:get |
| method | void processEvent(ActionType, StringBuffer, Object[]) |
| pre | arguments != null |
| pre | arguments.length >= 2 |
| pre | init'ed(arguments[1]) |
| presumption | com.dmdirc.ui.messages.Styliser:doLinks(...)@64 != null |
| unanalyzed | call on java.util.Map:containsKey |
| unanalyzed | call on java.util.Map:get |
| unanalyzed | call on java.lang.Integer:intValue |
| unanalyzed | call on java.lang.Integer:valueOf |
| unanalyzed | call on java.util.Map:put |
| test_vector | java.lang.String:indexOf(...)@66: {-231.. -1}, {0..232-1} |