Messages

method

com.dmdirc.commandparser.commands.channel.Mode__ static_init

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

method	void execute(InputWindow, Server, Channel, bool, CommandArguments)
pre	args != null
pre	channel != null
pre	init'ed(args.words)
pre	(soft) args.line != null
pre	(soft) server != null
presumption	com.dmdirc.Channel:getChannelInfo(...)@57 != null
presumption	com.dmdirc.Server:getParser(...)@62 != null
presumption	java.util.Arrays:copyOfRange(...)@99 != null
post	args.words != null
post	init'ed(java.lang.String:split(...)._tainted)
post	java.lang.String:split(...)._tainted == 0
post	init'ed(java.lang.String:split(...).length)
unanalyzed	call on getArgumentsAsString
unanalyzed	call on java.lang.String:split
unanalyzed	call on java.util.Arrays:copyOfRange
unanalyzed	call on java.util.regex.Pattern:compile
unanalyzed	call on java.util.regex.Pattern:matcher
unanalyzed	call on java.util.regex.Matcher:matches
unanalyzed	call on java.util.regex.Matcher:group
unanalyzed	call on com.dmdirc.ui.interfaces.InputWindow:addLin e
test_vector	getArguments(...).length@59: {1..+Inf}, {0}

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

method not available - call not analyzed Info call on String com.dmdirc.parser.irc. ChannelInfo:getModeStr()

method not available - call not analyzed Info call on IRCParser com.dmdirc.Server:getParser()

method not available - call not analyzed Info call on void com.dmdirc.parser.irc.IRCParser:sendLi ne(String)

method	void execute(InputWindow, Server, String, bool, CommandArguments)
pre	args != null
pre	init'ed(args.words)
pre	server != null
pre	(soft) args.line != null
presumption	com.dmdirc.Server:getParser(...)@71 != null
presumption	com.dmdirc.Server:getParser(...)@73 != null
presumption	java.util.Arrays:copyOfRange(...)@99 != null
post	args.words != null
post	init'ed(java.lang.String:split(...)._tainted)
post	java.lang.String:split(...)._tainted == 0
post	init'ed(java.lang.String:split(...).length)
unanalyzed	call on java.lang.String:split
unanalyzed	call on java.util.Arrays:copyOfRange
unanalyzed	call on java.util.regex.Pattern:compile
unanalyzed	call on java.util.regex.Pattern:matcher
unanalyzed	call on java.util.regex.Matcher:matches
unanalyzed	call on java.util.regex.Matcher:group
test_vector	getArguments(...).length@70: {0, 2..+Inf}, {1}

method	String getName()
post	return_value == &"mode"

method	bool showInHelp()
post	return_value == 1

method	String getHelp()
post	return_value == &"mode [changes] - displays or changes the current channel modes"

method	AdditionalTabTargets getSuggestions(int, List)
presumption	com.dmdirc.ui.input.AdditionalTabTargets:excludeAll (...)@98 != null
presumption	init'ed(com.dmdirc.ui.input.TabCompletionType. CHANNEL_NICK)
post	return_value != null
test_vector	arg: {-2³¹..0}, {1..2³²-1}

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

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

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

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

	method not available - call not analyzed	Info	call on void com.dmdirc.ui.input.AdditionalTabTarge ts()
	method not available - call not analyzed	Info	call on AdditionalTabTargets com.dmdirc.ui.input. AdditionalTabTargets:excludeAll()