Last Msg First Msg
























method com.dmdirc.commandparser.commands.server. AllChannels__static_init










method void com.dmdirc.commandparser.commands.server. AllChannels()
preinit'ed(com/dmdirc/commandparser/CommandManager. commandChar)
unanalyzedcall on java.lang.String:toLowerCase
unanalyzedcall on com.dmdirc.commandparser.commands.Command
unanalyzedcall on java.util.List:iterator
unanalyzedcall on getName
unanalyzedcall on java.util.Map:put
unanalyzedcall on java.util.Map:remove
unanalyzedcall on com.dmdirc.ui.input.TabCompleter:addEntry
unanalyzedcall on com.dmdirc.ui.input.TabCompleter:removeEntr y
unanalyzedcall on com.dmdirc.ServerManager:getServerManager
unanalyzedcall on com.dmdirc.ServerManager:getServers
unanalyzedcall on getType
unanalyzedcall on com.dmdirc.Server:getTabCompleter
unanalyzedcall on com.dmdirc.Server:getChannels
unanalyzedcall on com.dmdirc.Server:getChannel
unanalyzedcall on com.dmdirc.Channel:getTabCompleter
unanalyzedcall on com.dmdirc.Server:getQueries
unanalyzedcall on com.dmdirc.Query:getTabCompleter
unanalyzedcall on com.dmdirc.util.MapList:containsKey
unanalyzedcall on com.dmdirc.util.MapList:get










method void execute(InputWindow, Server, bool, CommandArguments)
preargs != null
preinit'ed(args.words)
preserver != null
pre(soft) args.line != null
pre(soft) init'ed(com/dmdirc/commandparser/CommandMana ger.commandChar)
pre(soft) init'ed(com/dmdirc/commandparser/CommandMana ger.silenceChar)
presumptioncom.dmdirc.Channel:getFrame(...)@58 != null
presumptioncom.dmdirc.Server:getChannel(...)@58 != null
presumptioncom.dmdirc.Server:getChannels(...)@57 != null
presumptioncom.dmdirc.ui.interfaces.InputWindow:getCommandPars er(...).commands@59 != null
presumptioncom.dmdirc.ui.interfaces.InputWindow:getCommandPars er(...).history@59 != null
presumptioncom.dmdirc.ui.interfaces.InputWindow:getCommandPars er(...)@59 != null
postargs.words != null
postinit'ed(java.lang.String:split(...)._tainted)
postjava.lang.String:split(...)._tainted == 0
postinit'ed(java.lang.String:split(...).length)
unanalyzedcall on getArgumentsAsString
unanalyzedcall on java.lang.Throwable:__curr_excep_obj
unanalyzedcall on java.util.Date
unanalyzedcall on java.util.Date:getTime
unanalyzedcall on com.dmdirc.util.RollingList:remove
unanalyzedcall on com.dmdirc.util.RollingList:add
unanalyzedcall on java.lang.String:toLowerCase
unanalyzedcall on handleNonCommand
unanalyzedcall on com.dmdirc.Server:sendLine
unanalyzedcall on com.dmdirc.Query:sendLine
unanalyzedcall on com.dmdirc.Channel:sendLine
unanalyzedcall on com.dmdirc.logger.Logger:userError
unanalyzedcall on com.dmdirc.ui.interfaces.InputWindow:addLin e
unanalyzedcall on parseCommand
unanalyzedcall on com.dmdirc.commandparser.CommandArguments
unanalyzedcall on isCommand
unanalyzedcall on isSilent
unanalyzedcall on getCommandName
unanalyzedcall on getArguments
unanalyzedcall on com.dmdirc.ui.interfaces.InputWindow:getCon tainer
unanalyzedcall on com.dmdirc.WritableFrameContainer:getServer
unanalyzedcall on com.dmdirc.Server:isValidChannelName
unanalyzedcall on isChannelCommand
unanalyzedcall on com.dmdirc.Server:hasChannel
unanalyzedcall on com.dmdirc.Server:getChannel
unanalyzedcall on com.dmdirc.Channel:getFrame
unanalyzedcall on com.dmdirc.ui.interfaces.InputWindow:getCom mandParser
unanalyzedcall on getCommandChar
unanalyzedcall on getWordsAsString
unanalyzedcall on getCommand
unanalyzedcall on java.util.Map$Entry:getValue
unanalyzedcall on execute
unanalyzedcall on java.util.Map:containsKey
unanalyzedcall on getStrippedLine
unanalyzedcall on java.util.Map:get
unanalyzedcall on executeCommand
unanalyzedcall on hasCommandOptions
unanalyzedcall on getCommandOptions
unanalyzedcall on allowOffline
unanalyzedcall on com.dmdirc.Server:getState
unanalyzedcall on com.dmdirc.Server:getParser
unanalyzedcall on handleInvalidCommand
unanalyzedcall on com.dmdirc.actions.ActionManager:processEve nt
unanalyzedcall on getName
unanalyzedcall on getType
unanalyzedcall on java.util.Map:put
unanalyzedcall on java.util.regex.Pattern:compile
unanalyzedcall on java.util.regex.Pattern:matcher
unanalyzedcall on java.util.regex.Matcher:matches
unanalyzedcall on java.util.regex.Matcher:group
unanalyzedcall on java.lang.String:split
unanalyzedcall on java.lang.Object:getClass
unanalyzedcall on java.lang.Class:getAnnotation
unanalyzedcall on java.lang.Class:isAnnotationPresent
unanalyzedcall on java.lang.String:isEmpty
unanalyzedcall on java.lang.String:charAt
unanalyzedcall on java.lang.String:length
unanalyzedcall on java.lang.String:substring
unanalyzedcall on java.util.Arrays:copyOfRange
unanalyzedcall on java.util.HashMap
unanalyzedcall on java.util.Map:entrySet
unanalyzedcall on java.util.Set:iterator
unanalyzedcall on java.util.Map$Entry:getKey
unanalyzedcall on com.dmdirc.commandparser.CommandType:equals
unanalyzedcall on java.lang.String:equals
unanalyzedcall on java.util.Map:isEmpty
unanalyzedcall on com.dmdirc.parser.irc.IRCParser:sendLine
unanalyzedcall on showUsage
unanalyzedcall on com.dmdirc.MessageTarget:sendAction
unanalyzedcall on java.lang.Character:valueOf
test_vectorjava.util.Iterator:hasNext(...)@57: {0}, {1}









  method not available - call not analyzedInfocall on List com.dmdirc.Server:getChannels()










  method not available - call not analyzedInfocall on Channel com.dmdirc.Server:getChannel(String )
  method not available - call not analyzedInfocall on InputWindow com.dmdirc.Channel:getFrame()










Prev Msg Next Msg
  precondition failure
Medium Prob.
com/dmdirc/commandparser/parsers/CommandParser. parseCommand: line != null
  method not available - call not analyzedInfocall on CommandParser com.dmdirc.ui.interfaces. InputWindow:getCommandParser()
Prev Msg Next Msg











method String getName()
postreturn_value == &"allchannels"










method bool showInHelp()
postreturn_value == 1










method String getHelp()
postreturn_value == &amp;"allchannels <command> - executes the command as though it hadbeen entered on all channels"










method AdditionalTabTargets getSuggestions(int, List)
postinit'ed(return_value)









  method not available - call not analyzedInfocall on AdditionalTabTargets com.dmdirc.ui.input. TabCompleter:getIntelligentResults(int, List, int)