StreamReader.java

StreamReader.java

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

Filter Options

Annotation Kind:

pre

presumption

post

unanalyzed

test_vector

void com.dmdirc.installer.StreamReader(InputStream)

Kind	Annotation Text
post	init'ed(this.stream)
post	this.data == null
post	this.prefix == null
post	this.step == null
post	this.stream == stream

void com.dmdirc.installer.StreamReader(InputStream, String, TextStep)

Kind	Annotation Text
presumption	java.lang.System.out != null
post	init'ed(this.prefix)
post	init'ed(this.step)
post	init'ed(this.stream)
post	this.data == null
post	this.prefix == prefix
post	this.step == step
post	this.stream == stream
unanalyzed	call on javax.swing.SwingUtilities:invokeLater
test_vector	step: Inverse{null}, Addr_Set{null}

void com.dmdirc.installer.StreamReader(InputStream, StringBuffer)

Kind	Annotation Text
post	init'ed(this.data)
post	init'ed(this.stream)
post	this.data == data
post	this.prefix == null
post	this.step == null
post	this.stream == stream

com.dmdirc.installer.StreamReader__static_init

Kind	Annotation Text

Kind	Annotation Text
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	java.lang.StringBuffer:length(...)@94: {-2³¹..0}, {1..2³²-1}
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}