method

com.dmdirc.installer.StreamReader__static_init

method	void com.dmdirc.installer.StreamReader(InputStream )
post	this.data == null
post	this.prefix == null
post	this.step == null
post	this.stream == stream
post	init'ed(this.stream)

method	void com.dmdirc.installer.StreamReader(InputStream , StringBuffer)
post	this.data == data
post	init'ed(this.data)
post	this.prefix == null
post	this.step == null
post	this.stream == stream
post	init'ed(this.stream)

method	void com.dmdirc.installer.StreamReader(InputStream , String, TextStep)
presumption	java.lang.System.out != null
post	this.data == null
post	this.prefix == prefix
post	init'ed(this.prefix)
post	this.step == step
post	init'ed(this.step)
post	this.stream == stream
post	init'ed(this.stream)
unanalyzed	call on javax.swing.SwingUtilities:invokeLater
test_vector	step: Inverse{null}, Addr_Set{null}

method	void run()
pre	(soft) init'ed(this.data)
pre	(soft) init'ed(this.prefix)
pre	(soft) init'ed(this.step)
pre	(soft) this.stream != null
presumption	java.lang.System.out != null
post	init'ed(this.data._tainted)
unanalyzed	call on javax.swing.SwingUtilities:invokeLater
test_vector	this.data: Addr_Set{null}, Inverse{null}
test_vector	this.prefix: Addr_Set{null}, Inverse{null}
test_vector	this.step: Inverse{null}, Addr_Set{null}
test_vector	java.lang.StringBuffer:length(...)@94: {-231..0}, {1..232-1}