Messages

Last Msg First Msg

method

com.dmdirc.addons.dcop.DcopPlugin__static_init

method	void com.dmdirc.addons.dcop.DcopPlugin()
post	this.command == null

method not available - call not analyzed Info call on void com.dmdirc.plugins.Plugin()

method	List getDcopResult(String)
presumption	java.lang.Runtime:exec(...)@62 != null
presumption	java.lang.Runtime:getRuntime(...)@62 != null
post	return_value == &new ArrayList(getDcopResult#1)
post	new ArrayList(getDcopResult#1) num objects == 1
test_vector	java.io.BufferedReader:readLine(...)@69: Addr_Set{null}, Inverse{null}

Prev Msg Next Msg

unused assignment

click for all messages in this file Low Prob.

Unused assignment into line

Prev Msg Next Msg

method	void onLoad()
post	this.command == &new DcopCommand(onLoad#1)
post	new DcopCommand(onLoad#1) num objects == 1
unanalyzed	call on com.dmdirc.commandparser.commands. ServerCommand
unanalyzed	call on com.dmdirc.commandparser.CommandManager:reg isterCommand

method	void onUnload()
pre	init'ed(this.command)

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