method com.dmdirc.commandparser.commands.global.Notify__ static_init










method void com.dmdirc.commandparser.commands.global. Notify()
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.ui.interfaces.InputWindow:getContainer(. ..)@71 != null
presumptiongetArguments(...).length@62 >= 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 java.lang.String:split
unanalyzedcall on java.util.Arrays:copyOfRange
unanalyzedcall on com.dmdirc.ui.interfaces.InputWindow:addLin e
unanalyzedcall on getCommandChar
unanalyzedcall on java.lang.Character:valueOf
test_vectororigin: Addr_Set{null}, Inverse{null}
test_vectorcom.dmdirc.ui.messages.ColourManager:parseColour(.. .)@62: Inverse{null}, Addr_Set{null}
test_vectorgetArguments(...).length@57: {1..+Inf}, {0}









  method not available - call not analyzedInfocall on Color com.dmdirc.ui.messages. ColourManager:parseColour(String, Color)










  method not available - call not analyzedInfocall on WritableFrameContainer com.dmdirc.ui. interfaces.InputWindow:getContainer()
  method not available - call not analyzedInfocall on void com.dmdirc.WritableFrameContainer:send Notification(Color)











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










method bool showInHelp()
postreturn_value == 0










method String getHelp()
postreturn_value == &amp;"notify <colour> - sets the notification colour for this window"










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









  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()