method com.dmdirc.commandparser.commands.channel. ShowTopic__static_init










method void com.dmdirc.commandparser.commands.channel. ShowTopic()
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, Channel, bool, CommandArguments)
preargs != null
prechannel != null
preinit'ed(args.words)
pre(soft) args.line != null
presumptioncom.dmdirc.Channel:getChannelInfo(...)@53 != null
presumptioncom.dmdirc.parser.irc.ChannelInfo:getTopic(...)@55 != null
presumptioncom.dmdirc.parser.irc.ChannelInfo:getTopicTime(... )@60 in {-9_223_372_036_854_775..18_446_744_073_709 _551}
presumptioncom.dmdirc.parser.irc.ClientInfo:parseHostFull(... )@58 != null
presumptionjava.util.Arrays:copyOfRange(...)@99 != null
presumptionparts.length@58 >= 3
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 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 getArgumentsAsString
unanalyzedcall on com.dmdirc.ui.interfaces.InputWindow:addLin e
test_vectorgetArguments(...).length@52: {1..+Inf}, {0}
test_vectorjava.lang.String:isEmpty(...)@55: {0}, {1}









  method not available - call not analyzedInfocall on ChannelInfo com.dmdirc.Channel:getChannelIn fo()










  method not available - call not analyzedInfocall on String com.dmdirc.parser.irc. ChannelInfo:getTopic()










  method not available - call not analyzedInfocall on String com.dmdirc.parser.irc. ChannelInfo:getTopicUser()
  method not available - call not analyzedInfocall on String[] com.dmdirc.parser.irc. ClientInfo:parseHostFull(String)










  method not available - call not analyzedInfocall on String com.dmdirc.parser.irc. ChannelInfo:getTopic()
  method not available - call not analyzedInfocall on long com.dmdirc.parser.irc.ChannelInfo:getT opicTime()










  method not available - call not analyzedInfocall on void com.dmdirc.Channel:setTopic(String)











method void execute(InputWindow, Server, String, bool, CommandArguments)
preargs != null
preinit'ed(args.words)
preserver != null
pre(soft) args.line != null
presumptioncom.dmdirc.Server:getParser(...)@74 != null
presumptioncom.dmdirc.Server:getParser(...)@76 != 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 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 getArgumentsAsString
test_vectorgetArguments(...).length@73: {1..+Inf}, {0}









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










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











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










method bool showInHelp()
postreturn_value == 1










method String getHelp()
postreturn_value == &amp;"topic - displays the current topic&amp;#10;topic <newtopic> - sets the channel topic"