UpdateChecker.java

UpdateChecker.java

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

Filter Options

Annotation Kind:

pre

presumption

post

unanalyzed

test_vector

UpdateChecker$STATE access$000()

Kind	Annotation Text
pre	init'ed(status)
post	init'ed(return_value)
post	return_value == status

void access$100()

Kind	Annotation Text
pre	(soft) new MapList(ListenerList#1).map != null
post	status == One-of{old status, &com.dmdirc. updater.UpdateChecker$STATE__static_init.new UpdateChecker$STATE(UpdateChecker$STATE__static_ init#5), &com.dmdirc.updater.UpdateChecker$STAT E__static_init.new UpdateChecker$STATE(UpdateChecke r$STATE...
unanalyzed	call on doUpdate
unanalyzed	call on getStatus
unanalyzed	call on java.lang.Thread
unanalyzed	call on java.lang.Thread:start
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on setStatus
unanalyzed	call on statusChanged

void addListener(UpdateCheckerListener)

Kind	Annotation Text
pre	new MapList(ListenerList#1).map != null
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.util.Map:put

void applyUpdates()

Kind	Annotation Text
pre	(soft) new MapList(ListenerList#1).map != null
post	status == One-of{old status, &com.dmdirc. updater.UpdateChecker$STATE__static_init.new UpdateChecker$STATE(UpdateChecker$STATE__static_ init#3), &com.dmdirc.updater.UpdateChecker$STAT E__static_init.new UpdateChecker$STATE(UpdateChecke r$STATE...
unanalyzed	call on doUpdate
unanalyzed	call on getStatus
unanalyzed	call on java.lang.Thread
unanalyzed	call on java.lang.Thread:start
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on setStatus
unanalyzed	call on statusChanged
test_vector	java.util.List:isEmpty(...)@349: {1}, {0}

void checkLine(String)

Kind	Annotation Text
pre	line != null
presumption	init'ed(com.dmdirc.logger.ErrorLevel.LOW)
unanalyzed	call on addUpdateListener
unanalyzed	call on com.dmdirc.logger.Logger:appError
unanalyzed	call on com.dmdirc.updater.Update
unanalyzed	call on getName
unanalyzed	call on getUrl
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.lang.String:split
unanalyzed	call on java.lang.UnsupportedOperationException
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.List:iterator
test_vector	java.lang.String:startsWith(...)@214: {0}, {1}
test_vector	java.lang.String:startsWith(...)@216: {0}, {1}
test_vector	java.lang.String:startsWith(...)@219: {1}, {0}

void checkNow()

Kind	Annotation Text

void com.dmdirc.updater.UpdateChecker$1()

Kind	Annotation Text

com.dmdirc.updater.UpdateChecker$1__static_init

Kind	Annotation Text

void com.dmdirc.updater.UpdateChecker$2()

Kind	Annotation Text

com.dmdirc.updater.UpdateChecker$2__static_init

Kind	Annotation Text

void com.dmdirc.updater.UpdateChecker$STATE(String, int)

Kind	Annotation Text

com.dmdirc.updater.UpdateChecker$STATE__static_init

Kind	Annotation Text
post	$VALUES == &new UpdateChecker$STATE[](UpdateChe cker$STATE__static_init#6)
post	$VALUES.length == 5
post	$VALUES[0] == &new UpdateChecker$STATE(UpdateCh ecker$STATE__static_init#1)
post	$VALUES[1] == &new UpdateChecker$STATE(UpdateCh ecker$STATE__static_init#2)
post	$VALUES[2] == &new UpdateChecker$STATE(UpdateCh ecker$STATE__static_init#3)
post	$VALUES[3] == &new UpdateChecker$STATE(UpdateCh ecker$STATE__static_init#4)
post	$VALUES[4] == &new UpdateChecker$STATE(UpdateCh ecker$STATE__static_init#5)
post	CHECKING == &new UpdateChecker$STATE(UpdateChec ker$STATE__static_init#2)
post	IDLE == &new UpdateChecker$STATE(UpdateChecker$ STATE__static_init#1)
post	RESTART_REQUIRED == &new UpdateChecker$STATE(Up dateChecker$STATE__static_init#5)
post	UPDATES_AVAILABLE == &new UpdateChecker$STATE(U pdateChecker$STATE__static_init#4)
post	UPDATING == &new UpdateChecker$STATE(UpdateChec ker$STATE__static_init#3)
post	new UpdateChecker$STATE(UpdateChecker$STATE__ static_init#1) num objects == 1
post	new UpdateChecker$STATE(UpdateChecker$STATE__ static_init#2) num objects == 1
post	new UpdateChecker$STATE(UpdateChecker$STATE__ static_init#3) num objects == 1
post	new UpdateChecker$STATE(UpdateChecker$STATE__ static_init#4) num objects == 1
post	new UpdateChecker$STATE(UpdateChecker$STATE__ static_init#5) num objects == 1
post	new UpdateChecker$STATE[](UpdateChecker$STATE__ static_init#6) num objects == 1
unanalyzed	call on java.lang.Enum

void com.dmdirc.updater.UpdateChecker()

Kind	Annotation Text

com.dmdirc.updater.UpdateChecker__static_init

Kind	Annotation Text
post	components == &new ArrayList(UpdateChecker__ static_init#2)
post	listener == &new UpdateChecker$1(UpdateChecker_ _static_init#6)
post	listeners == &new ListenerList(UpdateChecker__ static_init#5)
post	listeners.listeners == &new MapList(ListenerLis t#1)
post	mutex == &new Semaphore(UpdateChecker__static_ init#1)
post	new ArrayList(UpdateChecker__static_init#2) num objects == 1
post	new ArrayList(UpdateChecker__static_init#4) num objects == 1
post	new HashMap(MapList#1) num objects == 1
post	new ListenerList(UpdateChecker__static_init#5) num objects == 1
post	new MapList(ListenerList#1) num objects == 1
post	new MapList(ListenerList#1).map == &new HashMap(MapList#1)
post	new Semaphore(UpdateChecker__static_init#1) num objects == 1
post	new Timer(UpdateChecker__static_init#3) num objects == 1
post	new UpdateChecker$1(UpdateChecker__static_init#6) num objects == 1
post	status == &com.dmdirc.updater.UpdateChecker$STA TE__static_init.new UpdateChecker$STATE(UpdateCheck er$STATE__static_init#1)
post	timer == &new Timer(UpdateChecker__static_ init#3)
post	updates == &new ArrayList(UpdateChecker__ static_init#4)
unanalyzed	call on java.util.HashMap

void doNextUpdate()

Kind	Annotation Text
pre	(soft) new MapList(ListenerList#1).map != null
presumption	java.util.Iterator:next(...)@362 != null
post	status == One-of{old status, &com.dmdirc. updater.UpdateChecker$STATE__static_init.new UpdateChecker$STATE(UpdateChecker$STATE__static_ init#5), &com.dmdirc.updater.UpdateChecker$STAT E__static_init.new UpdateChecker$STATE(UpdateChecke r$STATE...
unanalyzed	call on java.lang.Thread
unanalyzed	call on java.lang.Thread:start
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on statusChanged
test_vector	java.util.Iterator:hasNext(...)@362: {0}, {1}
test_vector	update.status@362: Inverse{&com.dmdirc.updater. UpdateStatus__static_init.new UpdateStatus(UpdateSt atus__static_init#1),&com.dmdirc.updater. UpdateStatus__static_init.new UpdateStatus(UpdateSt atus__static_init#6)}, Addr_Set{&com.dmdirc.u...

void doUpdateAvailable(String)

Kind	Annotation Text
pre	line != null
unanalyzed	call on com.dmdirc.logger.Logger:appError
unanalyzed	call on getName
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.lang.String:split
unanalyzed	call on java.lang.UnsupportedOperationException
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.List:iterator

UpdateComponent findComponent(String)

Kind	Annotation Text
pre	name != null
presumption	java.util.Iterator:next(...)@318 != null
post	init'ed(return_value)
test_vector	java.lang.String:equals(...)@319: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@318: {0}, {1}

List getAvailableUpdates()

Kind	Annotation Text
post	return_value == &new ArrayList(UpdateChecker__ static_init#4)

List getComponents()

Kind	Annotation Text
post	return_value == &new ArrayList(UpdateChecker__ static_init#2)

UpdateChecker$STATE getStatus()

Kind	Annotation Text
pre	init'ed(status)
post	init'ed(return_value)
post	return_value == status

void init()

Kind	Annotation Text
pre	timer != null
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@244 != null
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@246 != null
presumption	init'ed(com.dmdirc.logger.ErrorLevel.LOW)
presumption	java.util.Date:getTime(...)@248 in {-2_147_483_648_ 999..4_294_967_295_999}
presumption	java.util.Date:getTime(...)@248/1_000 - (com.dmdirc.config.ConfigManager:getOptionInt(... )@244 + com.dmdirc.config.ConfigManager:getOptionIn t(...)@246) in {-2³²+1..8_589_934_591}
post	new Timer(init#3) num objects == 1
post	timer == &new Timer(init#3)
unanalyzed	call on java.util.TimerTask
test_vector	java.util.Date:getTime(...)@248/1_000 - (com.dmdirc.config.ConfigManager:getOptionInt(... )@244 + com.dmdirc.config.ConfigManager:getOptionIn t(...)@246): {0..8_589_934_591}, {-2³²+1.. -1}

bool isEnabled(UpdateComponent)

Kind	Annotation Text
pre	component != null
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@441 != null
post	init'ed(return_value)

void registerComponent(UpdateComponent)

Kind	Annotation Text

void removeComponent(String)

Kind	Annotation Text
pre	(soft) name != null
presumption	java.util.Iterator:next(...)@297 != null
test_vector	java.lang.String:equals(...)@298: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@297: {0}, {1}

void removeListener(UpdateCheckerListener)

Kind	Annotation Text
pre	new MapList(ListenerList#1).map != null
unanalyzed	call on java.util.List:remove
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get

void removeUpdate(Update)

Kind	Annotation Text
pre	(soft) init'ed(status)
pre	(soft) new MapList(ListenerList#1).map != null
pre	update != null
pre	update.listeners != null
post	init'ed(status)
post	status == One-of{&com.dmdirc.updater. UpdateChecker$STATE__static_init.new UpdateChecker$STATE(UpdateChecker$STATE__static_ init#1), old status, &com.dmdirc.updater. UpdateChecker$STATE__static_init.new UpdateChecker$STATE(UpdateChecker$STATE...
unanalyzed	call on doUpdate
unanalyzed	call on getStatus
unanalyzed	call on java.lang.Thread
unanalyzed	call on java.lang.Thread:start
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.util.List:remove
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on setStatus
unanalyzed	call on statusChanged
test_vector	java.util.List:isEmpty(...)@338: {0}, {1}

void run()

Kind	Annotation Text
pre	(soft) init'ed(status)
pre	(soft) new MapList(ListenerList#1).map != null
pre	(soft) timer != null
presumption	com.dmdirc.config.IdentityManager:getConfigIdentity (...)@131 != null
presumption	com.dmdirc.config.IdentityManager:getConfigIdentity (...)@198 != null
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@127 != null
presumption	init'ed(com.dmdirc.logger.ErrorLevel.LOW)
presumption	java.util.ArrayList:iterator(...)@142 != null
presumption	java.util.Date:getTime(...)@131 in {-2_147_483_648_ 999..4_294_967_295_999}
presumption	java.util.Date:getTime(...)@198 in {-2_147_483_648_ 999..4_294_967_295_999}
presumption	java.util.Iterator:next(...)@142 != null
presumption	java.util.Iterator:next(...)@152 != null
presumption	java.util.Iterator:next(...)@169 != null
presumption	java.util.Iterator:next(...)@187 != null
post	new Timer(init#3) num objects <= 1
post	status == One-of{old status, &com.dmdirc. updater.UpdateChecker$STATE__static_init.new UpdateChecker$STATE(UpdateChecker$STATE__static_ init#1), &com.dmdirc.updater.UpdateChecker$STAT E__static_init.new UpdateChecker$STATE(UpdateChecke r$STATE...
post	timer != null
post	timer == One-of{old timer, &new Timer(init#3)}
unanalyzed	call on addUpdateListener
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionBo ol
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionIn t
unanalyzed	call on com.dmdirc.config.ConfigManager:hasOptionSt ring
unanalyzed	call on com.dmdirc.config.IdentityManager:getGlobal Config
unanalyzed	call on com.dmdirc.logger.Logger:appError
unanalyzed	call on com.dmdirc.logger.Logger:userError
unanalyzed	call on com.dmdirc.updater.Update
unanalyzed	call on doUpdate
unanalyzed	call on getName
unanalyzed	call on getStatus
unanalyzed	call on getUrl
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:equals
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String:split
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.lang.Thread
unanalyzed	call on java.lang.Thread:start
unanalyzed	call on java.lang.UnsupportedOperationException
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.Date
unanalyzed	call on java.util.Date:getTime
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.List:isEmpty
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.util.Timer
unanalyzed	call on java.util.Timer:cancel
unanalyzed	call on java.util.Timer:schedule
unanalyzed	call on java.util.TimerTask
unanalyzed	call on setStatus
unanalyzed	call on statusChanged
test_vector	com.dmdirc.config.ConfigManager:getOptionBool(... )@129: {0}, {1}
test_vector	com.dmdirc.config.ConfigManager:getOptionBool(... )@203: {0}, {1}
test_vector	java.lang.StringBuilder:length(...)@164: {-2³¹..0}, {1..2³²-1}
test_vector	java.util.Iterator:hasNext(...)@142: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@152: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@187: {0}, {1}
test_vector	java.util.List:isEmpty(...)@180: {0}, {1}
test_vector	java.util.concurrent.Semaphore:tryAcquire(... )@121: {1}, {0}
test_vector	update.status@142: Addr_Set{&com.dmdirc. updater.UpdateStatus__static_init.new UpdateStatus(UpdateStatus__static_init#6)}, Inverse{&com.dmdirc.updater.UpdateStatus__ static_init.new UpdateStatus(UpdateStatus__static_i nit#6)}
test_vector	update.status@187: Inverse{&com.dmdirc.updater. UpdateStatus__static_init.new UpdateStatus(UpdateSt atus__static_init#1)}, Addr_Set{&com.dmdirc. updater.UpdateStatus__static_init.new UpdateStatus(UpdateStatus__static_init#1)}

void run()

Kind	Annotation Text
unanalyzed	call on java.lang.Thread
unanalyzed	call on java.lang.Thread:start

void setStatus(UpdateChecker$STATE)

Kind	Annotation Text
pre	new MapList(ListenerList#1).map != null
presumption	java.util.Iterator:next(...)@428 != null
post	init'ed(status)
post	status == newStatus
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
test_vector	java.util.Iterator:hasNext(...)@428: {0}, {1}

void updateProgressChange(Update, float)

Kind	Annotation Text

void updateStatusChange(Update, UpdateStatus)

Kind	Annotation Text
pre	(soft) com.dmdirc.util.ListenerList.new MapList(ListenerList#1).map != null
pre	(soft) init'ed(com/dmdirc/updater/UpdateChecker. status)
pre	(soft) update != null
pre	(soft) update.listeners != null
post	com/dmdirc/updater/UpdateChecker.status == One-of{&com.dmdirc.updater.UpdateChecker$STATE __static_init.new UpdateChecker$STATE(UpdateChecker $STATE__static_init#1), old com/dmdirc/updater/Upda teChecker.status, &com.dmdirc.updater. UpdateChec...
post	init'ed(com/dmdirc/updater/UpdateChecker.status)
unanalyzed	call on doUpdate
unanalyzed	call on getStatus
unanalyzed	call on java.lang.Thread
unanalyzed	call on java.lang.Thread:start
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.List:isEmpty
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.util.List:remove
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on removeUpdateListener
unanalyzed	call on setStatus
unanalyzed	call on statusChanged

UpdateChecker$STATE valueOf(String)

Kind	Annotation Text
post	init'ed(return_value)

UpdateChecker$STATE[] values()

Kind	Annotation Text
pre	(soft) init'ed($VALUES[...])
post	new UpdateChecker$STATE[](values#1) num objects == 1
post	return_value == &new UpdateChecker$STATE[](valu es#1)
post	return_value.length == 5
post	return_value[...] == One-of{$VALUES[...], undefined}