Messages

method

com.dmdirc.commandparser.commands.global. OpenWindow__static_init

method	void com.dmdirc.commandparser.commands.global. OpenWindow()
pre	init'ed(com/dmdirc/commandparser/CommandManager. commandChar)
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, bool, CommandArguments)
pre	args != null
pre	init'ed(args.words)
pre	(soft) args.line != null
pre	(soft) init'ed(com/dmdirc/commandparser/CommandMana ger.commandChar)
pre	(soft) origin != null
presumption	start < getArguments(...).length@71
presumption	start < getArguments(...).length@78
presumption	start < getArguments(...).length@80
presumption	start < getArguments(...).length@83
presumption	start < getArguments(...).length@88
presumption	start < getArguments(...).length@90
presumption	com.dmdirc.WritableFrameContainer:getServer(... )@64 != null
presumption	com.dmdirc.ui.interfaces.InputWindow:getContainer(. ..)@58 != null
presumption	com.dmdirc.ui.interfaces.InputWindow:getContainer(. ..)@64 != null
presumption	getArguments(...).length@57 >= 1
presumption	getArguments(...).length@66 >= 1
presumption	getArguments(...).length@71 >= 1
presumption	getArguments(...).length@78 >= 1
presumption	getArguments(...).length@80 >= 1
presumption	getArguments(...).length@83 >= 1
presumption	getArguments(...).length@88 >= 1
presumption	getArguments(...).length@90 >= 1
presumption	getArguments(...)[start]@71 != 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
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	com.dmdirc.WritableFrameContainer:getServer(... )@58: Inverse{null}, Addr_Set{null}
test_vector	getArguments(...).length@57: {0}, {1..+Inf}
test_vector	getArguments(...).length@66: {0}, {1..+Inf}
test_vector	java.lang.String:equals(...)@57: {0}, {1}
test_vector	java.lang.String:equals(...)@66: {0}, {1}
test_vector	java.lang.String:isEmpty(...)@71: {0}, {1}

method not available - call not analyzed Info call on WritableFrameContainer com.dmdirc.ui. interfaces.InputWindow:getContainer()

method not available - call not analyzed Info call on Server com.dmdirc.WritableFrameContainer:ge tServer()

method not available - call not analyzed Info call on Window com.dmdirc.ui.WindowManager:findCust omWindow(String)

method not available - call not analyzed Info call on Window com.dmdirc.ui.WindowManager:findCust omWindow(Window, String)

method not available - call not analyzed Info call on void com.dmdirc.CustomWindow(String, String)

method not available - call not analyzed Info call on void com.dmdirc.CustomWindow(String, String, Window)

method	String getHelp()
post	return_value == &"openwindow [--server\|--child] <name> [title] - opens a window with the specified name and title"

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

method	bool showInHelp()
post	return_value == 1

method	AdditionalTabTargets getSuggestions(int, List)
post	return_value == &new AdditionalTabTargets(getSu ggestions#1)
post	new AdditionalTabTargets(getSuggestions#1) num objects == 1
test_vector	arg: {-2³¹..-1, 1..2³²-1}, {0}

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 bool com.dmdirc.ui.input.AdditionalTabTarge ts:add(Object)

	method not available - call not analyzed	Info	call on WritableFrameContainer com.dmdirc.ui. interfaces.InputWindow:getContainer()
	method not available - call not analyzed	Info	call on Server com.dmdirc.WritableFrameContainer:ge tServer()