Downloader.java

Downloader.java

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

Filter Options

Annotation Kind:

pre

presumption

post

unanalyzed

test_vector

Kind	Annotation Text

Kind	Annotation Text

Kind	Annotation Text
unanalyzed	call on downloadProgress
unanalyzed	call on java.io.DataOutputStream
unanalyzed	call on java.io.DataOutputStream:close
unanalyzed	call on java.io.DataOutputStream:flush
unanalyzed	call on java.io.DataOutputStream:writeBytes
unanalyzed	call on java.io.File
unanalyzed	call on java.io.FileOutputStream
unanalyzed	call on java.io.FileOutputStream:close
unanalyzed	call on java.io.FileOutputStream:write
unanalyzed	call on java.io.InputStream:close
unanalyzed	call on java.io.InputStream:read
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.net.URL
unanalyzed	call on java.net.URL:openConnection
unanalyzed	call on java.net.URLConnection:getContentLength
unanalyzed	call on java.net.URLConnection:getInputStream
unanalyzed	call on java.net.URLConnection:getOutputStream
unanalyzed	call on java.net.URLConnection:setConnectTimeout
unanalyzed	call on java.net.URLConnection:setDoInput
unanalyzed	call on java.net.URLConnection:setDoOutput
unanalyzed	call on java.net.URLConnection:setRequestProperty
unanalyzed	call on java.net.URLConnection:setUseCaches
unanalyzed	call on java.util.List:iterator
unanalyzed	call on setIndeterminate
unanalyzed	call on updateProgressChange

Kind	Annotation Text
pre	(soft) listener.listeners != null
presumption	(float) (java.net.URLConnection:getContentLength(.. .)@160) != +0
presumption	java.net.URLConnection:getInputStream(...)@159 != null
post	possibly_updated(listener.progress)
unanalyzed	call on java.io.DataOutputStream
unanalyzed	call on java.io.DataOutputStream:close
unanalyzed	call on java.io.DataOutputStream:flush
unanalyzed	call on java.io.DataOutputStream:writeBytes
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.net.URL
unanalyzed	call on java.net.URL:openConnection
unanalyzed	call on java.net.URLConnection:getOutputStream
unanalyzed	call on java.net.URLConnection:setConnectTimeout
unanalyzed	call on java.net.URLConnection:setDoInput
unanalyzed	call on java.net.URLConnection:setDoOutput
unanalyzed	call on java.net.URLConnection:setRequestProperty
unanalyzed	call on java.net.URLConnection:setUseCaches
unanalyzed	call on java.util.List:iterator
unanalyzed	call on updateProgressChange
test_vector	java.io.InputStream:read(...)@171: {-2³¹. .0}, {1..2³²-1}
test_vector	java.net.URLConnection:getContentLength(...)@160: {-1}, {-2³¹..-2, 0..2³²-1}
test_vector	listener: Addr_Set{null}, Inverse{null}

Kind	Annotation Text
pre	postData != null
presumption	java.net.URL:openConnection(...)@199 != null
post	return_value != null
test_vector	java.lang.String:length(...)@206: {0}, {1..2³²-1}

Kind	Annotation Text
post	new ArrayList(getPage#1*) num objects == 1
post	return_value == &new ArrayList(getPage#1*)
unanalyzed	call on java.io.BufferedReader
unanalyzed	call on java.io.BufferedReader:close
unanalyzed	call on java.io.BufferedReader:readLine
unanalyzed	call on java.io.DataOutputStream
unanalyzed	call on java.io.DataOutputStream:close
unanalyzed	call on java.io.DataOutputStream:flush
unanalyzed	call on java.io.DataOutputStream:writeBytes
unanalyzed	call on java.io.InputStreamReader
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.net.URL
unanalyzed	call on java.net.URL:openConnection
unanalyzed	call on java.net.URLConnection:getInputStream
unanalyzed	call on java.net.URLConnection:getOutputStream
unanalyzed	call on java.net.URLConnection:setConnectTimeout
unanalyzed	call on java.net.URLConnection:setDoInput
unanalyzed	call on java.net.URLConnection:setDoOutput
unanalyzed	call on java.net.URLConnection:setRequestProperty
unanalyzed	call on java.net.URLConnection:setUseCaches
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.List:add

Kind	Annotation Text
pre	postData != null
post	new ArrayList(getPage#1) num objects == 1
post	return_value == &new ArrayList(getPage#1)
unanalyzed	call on java.io.DataOutputStream
unanalyzed	call on java.io.DataOutputStream:close
unanalyzed	call on java.io.DataOutputStream:flush
unanalyzed	call on java.io.DataOutputStream:writeBytes
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.net.URL
unanalyzed	call on java.net.URL:openConnection
unanalyzed	call on java.net.URLConnection:getOutputStream
unanalyzed	call on java.net.URLConnection:setConnectTimeout
unanalyzed	call on java.net.URLConnection:setDoInput
unanalyzed	call on java.net.URLConnection:setDoOutput
unanalyzed	call on java.net.URLConnection:setRequestProperty
unanalyzed	call on java.net.URLConnection:setUseCaches
test_vector	java.io.BufferedReader:readLine(...)@92: Addr_Set{null}, Inverse{null}

Kind	Annotation Text
pre	(soft) postData != null
presumption	init'ed(com.dmdirc.logger.ErrorLevel.MEDIUM)
presumption	java.util.Iterator:next(...)@119 != null
presumption	java.util.Map:entrySet(...)@119 != null
post	new ArrayList(getPage#1*) num objects == 1
post	return_value == &new ArrayList(getPage#1*)
unanalyzed	call on java.io.BufferedReader
unanalyzed	call on java.io.BufferedReader:close
unanalyzed	call on java.io.BufferedReader:readLine
unanalyzed	call on java.io.DataOutputStream
unanalyzed	call on java.io.DataOutputStream:close
unanalyzed	call on java.io.DataOutputStream:flush
unanalyzed	call on java.io.DataOutputStream:writeBytes
unanalyzed	call on java.io.InputStreamReader
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.net.URL
unanalyzed	call on java.net.URL:openConnection
unanalyzed	call on java.net.URLConnection:getInputStream
unanalyzed	call on java.net.URLConnection:getOutputStream
unanalyzed	call on java.net.URLConnection:setConnectTimeout
unanalyzed	call on java.net.URLConnection:setDoInput
unanalyzed	call on java.net.URLConnection:setDoOutput
unanalyzed	call on java.net.URLConnection:setRequestProperty
unanalyzed	call on java.net.URLConnection:setUseCaches
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.List:add