KDialogProcess.java

KDialogProcess.java

current inspection = 2009-09-03 21:56:13 (id #1)

Filter Options

Annotation Kind:

pre

presumption

post

unanalyzed

test_vector

void com.dmdirc.addons.dcc.kde.KDialogProcess(String[])

Kind	Annotation Text
pre	params != null
presumption	java.lang.Runtime:exec(...)@57 != null
presumption	java.lang.Runtime:getRuntime(...)@57 != null
post	init'ed(this.stdErrorStream.prefix)
post	init'ed(this.stdErrorStream.stream)
post	init'ed(this.stdOutputStream.prefix)
post	init'ed(this.stdOutputStream.stream)
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.process != null
post	this.stdErrorStream == &new StreamReader(KDialo gProcess#4)
post	this.stdErrorStream.list == &new ArrayList(KDialogProcess#5)
post	this.stdOutputStream == &new StreamReader(KDial ogProcess#2)
post	this.stdOutputStream.list == &new ArrayList(KDialogProcess#3)
unanalyzed	call on java.lang.Thread

com.dmdirc.addons.dcc.kde.KDialogProcess__static_init

Kind	Annotation Text
post	init'ed(hasKDialog)
post	init'ed(isBin)

Process getProcess()

Kind	Annotation Text
post	init'ed(return_value)
post	return_value == this.process

StreamReader getStdErrStream()

Kind	Annotation Text
post	init'ed(return_value)
post	return_value == this.stdErrorStream

StreamReader getStdOutStream()

Kind	Annotation Text
post	init'ed(return_value)
post	return_value == this.stdOutputStream

bool hasKDialog()

Kind	Annotation Text
post	init'ed(return_value)

Kind	Annotation Text
pre	this.process != null