Messages

method | com.dmdirc.commandparser.commands.server.Notice__ static_init

method | void com.dmdirc.commandparser.commands.server. Notice()
pre | init'ed(com/dmdirc/commandparser/CommandManager. commandChar)
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(...)@61 != null
presumption | getArguments(...).length@61 >= 1
presumption | getArguments(...).length@63 >= 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 java.lang.String:split
unanalyzed | call on java.util.Arrays:copyOfRange
unanalyzed | call on com.dmdirc.ui.interfaces.InputWindow:addLin e
unanalyzed | call on getCommandChar
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 | getArguments(...).length@58: {2..+Inf}, {0,1}

| method not available - call not analyzed | Info | call on IRCParser com.dmdirc.Server:getParser()
| method not available - call not analyzed | Info | call on void com.dmdirc.parser.irc.IRCParser:sendLi ne(String)

method | String getName()
post | return_value == &amp;"notice"

method | bool showInHelp()
post | return_value == 1

method | String getHelp()
post | return_value == &amp;"notice <target> <message> - sends a notice"

method | AdditionalTabTargets getSuggestions(int, List)
presumption | init'ed(com.dmdirc.ui.input.TabCompletionType. COMMAND)
post | return_value == &amp;new AdditionalTabTargets(getSu ggestions#1)
post | new AdditionalTabTargets(getSuggestions#1) num objects == 1
test_vector | arg: {-231..-1, 1..232-1}, {0}

| method not available - call not analyzed | Info | call on void com.dmdirc.ui.input.AdditionalTabTarge ts()

| method not available - call not analyzed | Info | call on void com.dmdirc.ui.input.AdditionalTabTarge ts:exclude(TabCompletionType)