Messages

method

com.dmdirc.util.Downloader__static_init

method

void com.dmdirc.util.Downloader()

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

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

method	List getPage(String, Map)
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	return_value == &new ArrayList(getPage#1*)
post	new ArrayList(getPage#1*) num objects == 1
unanalyzed	call on java.net.URL
unanalyzed	call on java.net.URL:openConnection
unanalyzed	call on java.net.URLConnection:setUseCaches
unanalyzed	call on java.net.URLConnection:setDoInput
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.net.URLConnection:setDoOutput
unanalyzed	call on java.net.URLConnection:setConnectTimeout
unanalyzed	call on java.net.URLConnection:setRequestProperty
unanalyzed	call on java.net.URLConnection:getOutputStream
unanalyzed	call on java.io.DataOutputStream
unanalyzed	call on java.io.DataOutputStream:writeBytes
unanalyzed	call on java.io.DataOutputStream:flush
unanalyzed	call on java.io.DataOutputStream:close
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.net.URLConnection:getInputStream
unanalyzed	call on java.io.InputStreamReader
unanalyzed	call on java.io.BufferedReader
unanalyzed	call on java.io.BufferedReader:readLine
unanalyzed	call on java.util.List:add
unanalyzed	call on java.io.BufferedReader:close

method not available - call not analyzed Info call on void com.dmdirc.logger.Logger:appError(Erro rLevel, String, Throwable)

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

method	void downloadPage(String, String, DownloadListener )
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.net.URL
unanalyzed	call on java.net.URL:openConnection
unanalyzed	call on java.net.URLConnection:setUseCaches
unanalyzed	call on java.net.URLConnection:setDoInput
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.net.URLConnection:setDoOutput
unanalyzed	call on java.net.URLConnection:setConnectTimeout
unanalyzed	call on java.net.URLConnection:setRequestProperty
unanalyzed	call on java.net.URLConnection:getOutputStream
unanalyzed	call on java.io.DataOutputStream
unanalyzed	call on java.io.DataOutputStream:writeBytes
unanalyzed	call on java.io.DataOutputStream:flush
unanalyzed	call on java.io.DataOutputStream:close
unanalyzed	call on java.util.List:iterator
unanalyzed	call on updateProgressChange
test_vector	listener: Addr_Set{null}, Inverse{null}
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}

method	URLConnection getConnection(String, String)
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}