method com.dmdirc.commandparser.commands.server. OpenQuery__static_init










method void com.dmdirc.commandparser.commands.server. OpenQuery()
preinit'ed(com/dmdirc/commandparser/CommandManager. commandChar)
unanalyzedcall on com.dmdirc.commandparser.commands.Command
unanalyzedcall on java.util.List:iterator
unanalyzedcall on getName
unanalyzedcall on java.lang.String:toLowerCase
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)
pre(soft) args.line != null
pre(soft) init'ed(com/dmdirc/commandparser/CommandMana ger.commandChar)
pre(soft) server != null
presumptioncom.dmdirc.Server:getParser(...)@63 != null
presumptioncom.dmdirc.Server:getQuery(...)@74 != null
presumptioncom.dmdirc.Server:getQuery(...)@77 != null
presumptioncom.dmdirc.Server:getQuery(...)@81 != null
presumptiongetArguments(...).length@63 >= 1
presumptiongetArguments(...).length@73 >= 1
presumptiongetArguments(...).length@74 >= 1
presumptiongetArguments(...).length@76 >= 1
presumptiongetArguments(...).length@77 >= 1
presumptiongetArguments(...).length@81 >= 1
presumptionjava.util.Arrays:copyOfRange(...)@99 != 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 getCommandChar
unanalyzedcall on java.lang.String:split
unanalyzedcall on java.util.Arrays:copyOfRange
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 com.dmdirc.ui.interfaces.InputWindow:addLin e
unanalyzedcall on java.lang.Character:valueOf
test_vectorcom.dmdirc.Server:hasQuery(...)@73: {0}, {1}
test_vectorcom.dmdirc.parser.irc.IRCParser:isValidChannelName( ...)@63: {0}, {1}
test_vectorgetArguments(...).length@58: {1..+Inf}, {0}
test_vectorgetArguments(...).length@80: {0,1}, {2..+Inf}









  method not available - call not analyzedInfocall on IRCParser com.dmdirc.Server:getParser()
  method not available - call not analyzedInfocall on bool com.dmdirc.parser.irc.IRCParser:isVali dChannelName(String)










  method not available - call not analyzedInfocall on bool com.dmdirc.Server:hasQuery(String)










  method not available - call not analyzedInfocall on Query com.dmdirc.Server:getQuery(String)
  method not available - call not analyzedInfocall on void com.dmdirc.Query:activateFrame()










  method not available - call not analyzedInfocall on void com.dmdirc.Server:addQuery(String)










  method not available - call not analyzedInfocall on Query com.dmdirc.Server:getQuery(String)
  method not available - call not analyzedInfocall on void com.dmdirc.Query:show()










  method not available - call not analyzedInfocall on Query com.dmdirc.Server:getQuery(String)
  method not available - call not analyzedInfocall on void com.dmdirc.Query:sendLine(String)











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










method bool showInHelp()
postreturn_value == 1










method String getHelp()
postreturn_value == &amp;"query <user> [message] - opens a query with the specified user"










method AdditionalTabTargets getSuggestions(int, List)
presumptioninit'ed(com.dmdirc.ui.input.TabCompletionType. CHANNEL_NICK)
postreturn_value == &amp;new AdditionalTabTargets(getSu ggestions#1)
postnew AdditionalTabTargets(getSuggestions#1) num objects == 1
test_vectorarg: {-231..-1, 1..232-1}, {0}









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










  method not available - call not analyzedInfocall on AdditionalTabTargets com.dmdirc.ui.input. AdditionalTabTargets:excludeAll()










  method not available - call not analyzedInfocall on void com.dmdirc.ui.input.AdditionalTabTarge ts:include(TabCompletionType)











method int getLineCount(InputWindow, CommandArguments)
prearguments != null
preinit'ed(arguments.words)
pre(soft) arguments.line != null
pre(soft) origin != null
presumptioncom.dmdirc.WritableFrameContainer:getServer(... )@122 != null
presumptioncom.dmdirc.ui.interfaces.InputWindow:getContainer(. ..)@122 != null
presumptiongetArguments(...).length@121 >= 1
presumptionjava.util.Arrays:copyOfRange(...)@99 != null
postarguments.words != null
postinit'ed(java.lang.String:split(...)._tainted)
postjava.lang.String:split(...)._tainted == 0
postinit'ed(java.lang.String:split(...).length)
postinit'ed(return_value)
unanalyzedcall on java.lang.String:split
unanalyzedcall on java.util.Arrays:copyOfRange
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
test_vectorgetArguments(...).length@120: {0,1}, {2..+Inf}









  method not available - call not analyzedInfocall on WritableFrameContainer com.dmdirc.ui. interfaces.InputWindow:getContainer()
  method not available - call not analyzedInfocall on Server com.dmdirc.WritableFrameContainer:ge tServer()
  method not available - call not analyzedInfocall on int com.dmdirc.Server:getNumLines(String)