method

com.dmdirc.addons.dcc.kde.StreamReader__static_ init

method	void com.dmdirc.addons.dcc.kde.StreamReader(InputS tream, List)
post	this.list == list
post	init'ed(this.list)
post	this.prefix == null
post	this.stream == stream
post	init'ed(this.stream)

method	void com.dmdirc.addons.dcc.kde.StreamReader(InputS tream, List, String)
presumption	java.lang.System.out != null
post	this.list == list
post	init'ed(this.list)
post	this.prefix == prefix
post	init'ed(this.prefix)
post	this.stream == stream
post	init'ed(this.stream)

method	List getList()
pre	init'ed(this.list)
post	return_value == this.list
post	init'ed(return_value)

method	void run()
pre	(soft) init'ed(this.list)
pre	(soft) init'ed(this.prefix)
pre	(soft) this.stream != null
presumption	java.lang.System.out != null
test_vector	this.list: Addr_Set{null}, Inverse{null}
test_vector	this.prefix: Addr_Set{null}, Inverse{null}