Messages

method

com.dmdirc.addons.dcop.DcopCommand__static_init

method

void com.dmdirc.addons.dcop.DcopCommand()

method not available - call not analyzed Info call on void com.dmdirc.commandparser.commands. ServerCommand()

method not available - call not analyzed Info call on void com.dmdirc.commandparser. CommandManager:registerCommand(Command)

method	void execute(InputWindow, Server, bool, CommandArguments)
pre	args != null
presumption	com.dmdirc.commandparser.CommandArguments:getArgume nts(...)@52 != null
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.lang.Runtime:getRuntime
unanalyzed	call on java.lang.Runtime:exec
unanalyzed	call on java.lang.Process:getInputStream
unanalyzed	call on java.io.InputStreamReader
unanalyzed	call on java.io.BufferedReader
unanalyzed	call on java.io.BufferedReader:readLine
unanalyzed	call on java.util.ArrayList:add
unanalyzed	call on java.io.InputStreamReader:close
unanalyzed	call on java.io.BufferedReader:close
unanalyzed	call on java.lang.Process:destroy
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
test_vector	com.dmdirc.commandparser.CommandArguments:getArgume nts(...).length@52: {3}, {0..2, 4..+Inf}
test_vector	java.util.Iterator:hasNext(...)@58: {0}, {1}

method not available - call not analyzed Info call on String[] com.dmdirc.commandparser. CommandArguments:getArguments()

method not available - call not analyzed Info call on void com.dmdirc.addons.dcop. DcopCommand:showUsage(InputWindow, bool, String, String)

method not available - call not analyzed Info call on String com.dmdirc.commandparser. CommandArguments:getArgumentsAsString()

method not available - call not analyzed Info call on void com.dmdirc.addons.dcop. DcopCommand:sendLine(InputWindow, bool, String, Object[])

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

method	bool showInHelp()
post	return_value == 1

method	String getHelp()
post	return_value == &"dcop <app> <object> <function> - retrieves information from a DCOP aplication"