Messages

method	com.dmdirc.addons.dcc.kde.KDialogProcess__static_ init
post	init'ed(hasKDialog)
post	init'ed(isBin)

method	void com.dmdirc.addons.dcc.kde.KDialogProcess(Stri ng[])
pre	params != null
presumption	java.lang.Runtime:exec(...)@57 != null
presumption	java.lang.Runtime:getRuntime(...)@57 != null
post	this.process != null
post	this.stdErrorStream == &new StreamReader(KDialo gProcess#4)
post	this.stdOutputStream == &new StreamReader(KDial ogProcess#2)
post	new ArrayList(KDialogProcess#3) num objects == 1
post	new ArrayList(KDialogProcess#5) num objects == 1
post	new StreamReader(KDialogProcess#2) num objects == 1
post	new StreamReader(KDialogProcess#4) num objects == 1
post	this.stdOutputStream.list == &new ArrayList(KDialogProcess#3)
post	init'ed(this.stdOutputStream.prefix)
post	init'ed(this.stdOutputStream.stream)
post	this.stdErrorStream.list == &new ArrayList(KDialogProcess#5)
post	init'ed(this.stdErrorStream.prefix)
post	init'ed(this.stdErrorStream.stream)
unanalyzed	call on java.lang.Thread

method not available - call not analyzed Info call on void com.dmdirc.addons.dcc.kde. StreamReader:start()

method not available - call not analyzed Info call on void com.dmdirc.addons.dcc.kde. StreamReader:start()

method	bool hasKDialog()
post	init'ed(return_value)

method	Process getProcess()
post	return_value == this.process
post	init'ed(return_value)

method	StreamReader getStdOutStream()
post	return_value == this.stdOutputStream
post	init'ed(return_value)

method	StreamReader getStdErrStream()
post	return_value == this.stdErrorStream
post	init'ed(return_value)

method	void waitFor()
pre	this.process != null