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










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










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










method List getList()
preinit'ed(this.list)
postreturn_value == this.list
postinit'ed(return_value)










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