| method | void com.dmdirc.commandparser.commands.server. JoinChannelCommand() |
| pre | init'ed(com/dmdirc/commandparser/CommandManager. commandChar) |
| presumption | init'ed(com.dmdirc.actions.CoreActionType.CHANNEL_ ACTION) |
| presumption | init'ed(com.dmdirc.actions.CoreActionType.CHANNEL_ MESSAGE) |
| unanalyzed | call on com.dmdirc.commandparser.commands.Command |
| 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 execute(InputWindow, Server, bool, CommandArguments) |
| pre | args != null |
| pre | init'ed(args.words) |
| pre | (soft) args.line != null |
| pre | (soft) init'ed(com/dmdirc/commandparser/CommandMana ger.commandChar) |
| pre | (soft) server != null |
| presumption | com.dmdirc.Server:getParser(...)@78 != null |
| presumption | com.dmdirc.Server:getQuery(...)@89 != null |
| presumption | com.dmdirc.Server:getQuery(...)@92 != null |
| presumption | com.dmdirc.Server:getQuery(...)@96 != null |
| presumption | getArguments(...).length@78 >= 1 |
| presumption | getArguments(...).length@88 >= 1 |
| presumption | getArguments(...).length@89 >= 1 |
| presumption | getArguments(...).length@91 >= 1 |
| presumption | getArguments(...).length@92 >= 1 |
| presumption | getArguments(...).length@96 >= 1 |
| presumption | java.util.Arrays:copyOfRange(...)@99 != null |
| post | args.words != null |
| post | init'ed(java.lang.String:split(...)._tainted) |
| post | java.lang.String:split(...)._tainted == 0 |
| post | init'ed(java.lang.String:split(...).length) |
| unanalyzed | call on getCommandChar |
| unanalyzed | call on getArgumentsAsString |
| unanalyzed | call on java.lang.String:split |
| unanalyzed | call on java.util.Arrays:copyOfRange |
| unanalyzed | call on com.dmdirc.ui.interfaces.InputWindow:addLin e |
| unanalyzed | call on java.lang.Character:valueOf |
| unanalyzed | call on java.util.regex.Pattern:compile |
| unanalyzed | call on java.util.regex.Pattern:matcher |
| unanalyzed | call on java.util.regex.Matcher:matches |
| unanalyzed | call on java.util.regex.Matcher:group |
| test_vector | com.dmdirc.Server:hasQuery(...)@88: {0}, {1} |
| test_vector | com.dmdirc.parser.irc.IRCParser:isValidChannelName( ...)@78: {0}, {1} |
| test_vector | getArguments(...).length@65: {1..+Inf}, {0} |
| test_vector | getArguments(...).length@95: {0,1}, {2..+Inf} |