method com.dmdirc.commandparser.commands.global. AliasCommand__static_init










method void com.dmdirc.commandparser.commands.global. AliasCommand()
preinit'ed(com/dmdirc/commandparser/CommandManager. commandChar)
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, bool, CommandArguments)
preargs != null
preinit'ed(args.words)
pre(soft) args.line != null
pre(soft) init'ed(com/dmdirc/commandparser/CommandMana ger.commandChar)
presumptioncom.dmdirc.actions.wrappers.Alias:createAction(... )@94 != null
presumptioncom.dmdirc.actions.wrappers.AliasWrapper:getAliasWr apper(...)@83 != null
presumptioncom.dmdirc.actions.wrappers.AliasWrapper:getCommand Name(...)@84 != null
presumptioncom.dmdirc.actions.wrappers.AliasWrapper:iterator(. ..)@83 != null
presumptiongetArguments(...).length@65 >= 1
presumptiongetArguments(...).length@66 >= 2
presumptiongetArguments(...).length@80 >= 1
presumptiongetArguments(...)[0]@65 != null
presumptiongetArguments(...)[0]@80 != null
presumptiongetArguments(...)[1]@66 != null
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 com.dmdirc.actions.wrappers. AliasWrapper:getAliasWrapper
unanalyzedcall on com.dmdirc.actions.wrappers. AliasWrapper:iterator
unanalyzedcall on com.dmdirc.actions.wrappers. AliasWrapper:getCommandName
unanalyzedcall on java.lang.String:substring
unanalyzedcall on java.lang.String:equalsIgnoreCase
unanalyzedcall on com.dmdirc.actions.Action:delete
unanalyzedcall on com.dmdirc.actions.ActionManager:unregister Action
unanalyzedcall on getCommandChar
unanalyzedcall on java.lang.String:split
unanalyzedcall on java.util.Arrays:copyOfRange
unanalyzedcall on com.dmdirc.ui.interfaces.InputWindow:addLin e
unanalyzedcall on java.lang.Character:valueOf
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@60: {2..+Inf}, {0,1}
test_vectorjava.lang.String:equalsIgnoreCase(...)@65: {0}, {1}
test_vectorjava.lang.String:equalsIgnoreCase(...)@84: {0}, {1}
test_vectorjava.util.Iterator:hasNext(...)@83: {0}, {1}









  method not available - call not analyzedInfocall on AliasWrapper com.dmdirc.actions.wrappers. AliasWrapper:getAliasWrapper()
  method not available - call not analyzedInfocall on Iterator com.dmdirc.actions.wrappers. AliasWrapper:iterator()










  method not available - call not analyzedInfocall on String com.dmdirc.actions.wrappers. AliasWrapper:getCommandName(Action)










  method not available - call not analyzedInfocall on void com.dmdirc.actions.wrappers. Alias(String)










  method not available - call not analyzedInfocall on void com.dmdirc.actions.wrappers. Alias:setResponse(String[])










  method not available - call not analyzedInfocall on Action com.dmdirc.actions.wrappers. Alias:createAction()
  method not available - call not analyzedInfocall on void com.dmdirc.actions.Action:save()











method bool doRemove(String)
presumptioncom.dmdirc.actions.wrappers.AliasWrapper:getAliasWr apper(...)@107 != null
presumptioncom.dmdirc.actions.wrappers.AliasWrapper:getCommand Name(...)@108 != null
presumptioncom.dmdirc.actions.wrappers.AliasWrapper:iterator(. ..)@107 != null
presumptionjava.util.Iterator:next(...)@107 != null
postinit'ed(return_value)
test_vectorjava.lang.String:equalsIgnoreCase(...)@108: {0}, {1}
test_vectorjava.util.Iterator:hasNext(...)@107: {0}, {1}









  method not available - call not analyzedInfocall on AliasWrapper com.dmdirc.actions.wrappers. AliasWrapper:getAliasWrapper()
  method not available - call not analyzedInfocall on Iterator com.dmdirc.actions.wrappers. AliasWrapper:iterator()










  method not available - call not analyzedInfocall on String com.dmdirc.actions.wrappers. AliasWrapper:getCommandName(Action)










  method not available - call not analyzedInfocall on void com.dmdirc.actions.Action:delete()










  method not available - call not analyzedInfocall on void com.dmdirc.actions.ActionManager:unreg isterAction(Action)











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










method bool showInHelp()
postreturn_value == 1










method String getHelp()
postreturn_value == &amp;"alias [--remove] <name> [command] - creates or removes the specified alias"










method AdditionalTabTargets getSuggestions(int, List)
pre(soft) previousArgs != null
presumptioncom.dmdirc.actions.wrappers.AliasWrapper:getAliasWr apper(...)@147 != null
presumptioncom.dmdirc.actions.wrappers.AliasWrapper:iterator(. ..)@147 != null
presumptioncom.dmdirc.ui.input.AdditionalTabTargets:excludeAll (...)@142 != null
presumptionjava.util.List:get(...)@146 != null
presumptionjava.util.List:get(...)@150 != null
postinit'ed(return_value)
test_vectorarg: {-231..-1}, {0}, {1}
test_vectorjava.lang.String:equals(...)@146: {0}, {1}
test_vectorjava.lang.String:equals(...)@150: {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 bool com.dmdirc.ui.input.AdditionalTabTarge ts:add(Object)










  method not available - call not analyzedInfocall on AliasWrapper com.dmdirc.actions.wrappers. AliasWrapper:getAliasWrapper()
  method not available - call not analyzedInfocall on Iterator com.dmdirc.actions.wrappers. AliasWrapper:iterator()










  method not available - call not analyzedInfocall on String com.dmdirc.actions.wrappers. AliasWrapper:getCommandName(Action)
  method not available - call not analyzedInfocall on bool com.dmdirc.ui.input.AdditionalTabTarge ts:add(Object)










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