Update.java

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


Filter Options
Annotation Kind:
pre
presumption
post
unanalyzed
test_vector


  • UpdateComponent access$000(Update)

    • Kind Annotation Text
    prex0 != null
    postinit'ed(return_value)
    postreturn_value == x0.component

  • void addUpdateListener(UpdateListener)

    • Kind Annotation Text
    prethis.listeners != null

  • void com.dmdirc.updater.Update$1(Update)

    • Kind Annotation Text

  • com.dmdirc.updater.Update$1__static_init

    • Kind Annotation Text

  • void com.dmdirc.updater.Update(String)

    • Kind Annotation Text
    preupdateInfo != null
    presumptioninit'ed(com.dmdirc.logger.ErrorLevel.LOW)
    postnew ArrayList(WeakList#1) num objects == 1
    postnew WeakList(Update#1) num objects == 1
    postthis.component == null
    postthis.listeners == &new WeakList(Update#1)
    postthis.listeners.list == &new ArrayList(WeakList# 1)
    postthis.status == &com.dmdirc.updater. UpdateStatus__static_init.new UpdateStatus(UpdateSt atus__static_init#1)
    postthis.url == null
    postthis.versionName == null
    unanalyzedcall on getName
    unanalyzedcall on java.lang.String:equals
    unanalyzedcall on java.util.ArrayList
    unanalyzedcall on java.util.List:iterator

  • com.dmdirc.updater.Update__static_init

    • Kind Annotation Text

  • void doUpdate()

    • Kind Annotation Text

  • void downloadProgress(float)

    • Kind Annotation Text
    prethis.listeners != null
    presumptionjava.util.Iterator:next(...)@205 != null
    postinit'ed(this.progress)
    postthis.progress == percent
    test_vectorjava.util.Iterator:hasNext(...)@205: {0}, {1}

  • UpdateComponent getComponent()

    • Kind Annotation Text
    postinit'ed(return_value)
    postreturn_value == this.component

  • float getProgress()

    • Kind Annotation Text
    preinit'ed(this.progress)
    postinit'ed(return_value)
    postreturn_value == this.progress

  • String getRemoteVersion()

    • Kind Annotation Text
    postinit'ed(return_value)
    postreturn_value == this.versionName

  • UpdateStatus getStatus()

    • Kind Annotation Text
    preinit'ed(this.status)
    postinit'ed(return_value)
    postreturn_value == this.status

  • String getUrl()

    • Kind Annotation Text
    postinit'ed(return_value)
    postreturn_value == this.url

  • void removeUpdateListener(Object)

    • Kind Annotation Text
    prethis.listeners != null

  • void run()

    • Kind Annotation Text
    pre(soft) com.dmdirc.util.ListenerList.new MapList(ListenerList#1).map != null
    pre(soft) init'ed(com/dmdirc/updater/UpdateChecker. status)
    prethis.component != null
    prethis.listeners != null
    presumptiongetName(...)@182 != null
    presumptioninit'ed(com.dmdirc.logger.ErrorLevel.MEDIUM)
    postinit'ed(com/dmdirc/updater/UpdateChecker.status)
    unanalyzedcall on access$000
    unanalyzedcall on access$100
    unanalyzedcall on doUpdate
    unanalyzedcall on downloadProgress
    unanalyzedcall on getName
    unanalyzedcall on getStatus
    unanalyzedcall on java.io.DataOutputStream
    unanalyzedcall on java.io.DataOutputStream:close
    unanalyzedcall on java.io.DataOutputStream:flush
    unanalyzedcall on java.io.DataOutputStream:writeBytes
    unanalyzedcall on java.io.File
    unanalyzedcall on java.io.FileOutputStream
    unanalyzedcall on java.io.FileOutputStream:close
    unanalyzedcall on java.io.FileOutputStream:write
    unanalyzedcall on java.io.InputStream:close
    unanalyzedcall on java.io.InputStream:read
    unanalyzedcall on java.lang.String:equals
    unanalyzedcall on java.lang.String:length
    unanalyzedcall on java.lang.Thread
    unanalyzedcall on java.lang.Thread:start
    unanalyzedcall on java.net.URL
    unanalyzedcall on java.net.URL:openConnection
    unanalyzedcall on java.net.URLConnection:getContentLength
    unanalyzedcall on java.net.URLConnection:getInputStream
    unanalyzedcall on java.net.URLConnection:getOutputStream
    unanalyzedcall on java.net.URLConnection:setConnectTimeout
    unanalyzedcall on java.net.URLConnection:setDoInput
    unanalyzedcall on java.net.URLConnection:setDoOutput
    unanalyzedcall on java.net.URLConnection:setRequestProperty
    unanalyzedcall on java.net.URLConnection:setUseCaches
    unanalyzedcall on java.util.ArrayList
    unanalyzedcall on java.util.List:isEmpty
    unanalyzedcall on java.util.List:iterator
    unanalyzedcall on java.util.List:remove
    unanalyzedcall on java.util.Map:containsKey
    unanalyzedcall on java.util.Map:get
    unanalyzedcall on removeUpdate
    unanalyzedcall on removeUpdateListener
    unanalyzedcall on setIndeterminate
    unanalyzedcall on setStatus
    unanalyzedcall on statusChanged
    unanalyzedcall on updateProgressChange
    unanalyzedcall on updateStatusChange
    test_vectordoInstall(...)@178: {0}, {1}

  • void setIndeterminate(bool)

    • Kind Annotation Text

  • void setStatus(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)
    prethis.listeners != null
    presumptionjava.util.Iterator:next(...)@127 != null
    postinit'ed(com/dmdirc/updater/UpdateChecker.status)
    postinit'ed(this.status)
    postthis.progress == +0
    unanalyzedcall on access$000
    unanalyzedcall on access$100
    unanalyzedcall on doUpdate
    unanalyzedcall on getStatus
    unanalyzedcall on java.lang.Thread
    unanalyzedcall on java.lang.Thread:start
    unanalyzedcall on java.util.ArrayList
    unanalyzedcall on java.util.List:isEmpty
    unanalyzedcall on java.util.List:iterator
    unanalyzedcall on java.util.List:remove
    unanalyzedcall on java.util.Map:containsKey
    unanalyzedcall on java.util.Map:get
    unanalyzedcall on removeUpdate
    unanalyzedcall on removeUpdateListener
    unanalyzedcall on setStatus
    unanalyzedcall on statusChanged
    test_vectorjava.util.Iterator:hasNext(...)@127: {0}, {1}