Messages

method

com.dmdirc.commandparser.commands.channel. SetNickColour__static_init

method	void com.dmdirc.commandparser.commands.channel. SetNickColour()
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	init'ed(args.words)
pre	(soft) args.line != null
pre	(soft) channel != null
pre	(soft) init'ed(com/dmdirc/commandparser/CommandMana ger.commandChar)
presumption	offset < getArguments(...).length@77
presumption	offset < getArguments(...).length@81
presumption	offset <= getArguments(...).length@93 - 2
presumption	com.dmdirc.Channel:getChannelInfo(...)@77 != null
presumption	com.dmdirc.Channel:getFrame(...)@107 != null
presumption	com.dmdirc.Channel:getFrame(...)@90 != null
presumption	init'ed(com.dmdirc.ChannelClientProperty.NICKLIST_ FOREGROUND)
presumption	init'ed(com.dmdirc.ChannelClientProperty.TEXT_ FOREGROUND)
presumption	com.dmdirc.parser.irc.ChannelClientInfo:getMap(... )@100 != null
presumption	com.dmdirc.parser.irc.ChannelClientInfo:getMap(... )@104 != null
presumption	com.dmdirc.parser.irc.ChannelClientInfo:getMap(... )@85 != null
presumption	com.dmdirc.parser.irc.ChannelClientInfo:getMap(... )@88 != null
presumption	getArguments(...).length@64 >= 1
presumption	getArguments(...).length@67 >= 1
presumption	getArguments(...).length@77 >= 1
presumption	getArguments(...).length@81 >= 1
presumption	getArguments(...).length@93 >= 2
presumption	getArguments(...)[offset]@64 != null
presumption	getArguments(...)[offset]@67 != 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 com.dmdirc.ui.interfaces.InputWindow:addLin e
unanalyzed	call on getCommandChar
unanalyzed	call on java.lang.Character:valueOf
test_vector	com.dmdirc.parser.irc.ChannelInfo:getUser(...)@77: Inverse{null}, Addr_Set{null}
test_vector	com.dmdirc.ui.messages.ColourManager:parseColour(.. .)@93: Inverse{null}, Addr_Set{null}
test_vector	getArguments(...).length@64: {0}, {1..+Inf}
test_vector	getArguments(...).length@67: {0}, {1..+Inf}
test_vector	getArguments(...).length@72: {2..+Inf}, {0,1}
test_vector	getArguments(...).length@82: {3..+Inf}, {0..2}
test_vector	java.lang.String:equalsIgnoreCase(...)@64: {0}, {1}
test_vector	java.lang.String:equalsIgnoreCase(...)@67: {0}, {1}

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

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

method not available - call not analyzed Info call on Map com.dmdirc.parser.irc.ChannelClientInfo :getMap()

method not available - call not analyzed Info call on InputWindow com.dmdirc.Channel:getFrame()

method not available - call not analyzed Info call on void com.dmdirc.ui.interfaces. ChannelWindow:redrawNicklist()

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

method not available - call not analyzed Info call on Map com.dmdirc.parser.irc.ChannelClientInfo :getMap()

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

method	bool showInHelp()
post	return_value == 1

method	String getHelp()
post	return_value == &"setnickcolour [--nicklist\|--text] <nick> [colour] - set the specified person's display colour"

method	AdditionalTabTargets getSuggestions(int, List)
pre	(soft) previousArgs != null
presumption	init'ed(com.dmdirc.ui.input.TabCompletionType. CHANNEL_NICK)
presumption	java.util.List:get(...)@140 != null
post	return_value == &new AdditionalTabTargets(getSu ggestions#1)
post	new AdditionalTabTargets(getSuggestions#1) num objects == 1
test_vector	arg: {-2³¹..-1, 2..2³²-1}, {0}, {1}
test_vector	java.lang.String:equals(...)@140: {1}, {0}
test_vector	java.lang.String:equals(...)@140: {0}, {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 bool com.dmdirc.ui.input.AdditionalTabTarge ts:add(Object)

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 ChannelInfo com.dmdirc.Channel:getChannelIn fo()
	method not available - call not analyzed	Info	call on ChannelClientInfo com.dmdirc.parser.irc. ChannelInfo:getUser(String)

	method not available - call not analyzed	Info	call on InputWindow com.dmdirc.Channel:getFrame()
	method not available - call not analyzed	Info	call on void com.dmdirc.ui.interfaces. ChannelWindow:redrawNicklist()