ErrorReportingThread.java

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


Filter Options
Annotation Kind:
pre
presumption
post
unanalyzed
test_vector


  • void com.dmdirc.logger.ErrorReportingThread(BlockingQueue)

    • Kind Annotation Text
    postinit'ed(this.queue)
    postthis.queue == queue

  • com.dmdirc.logger.ErrorReportingThread__static_init

    • Kind Annotation Text

  • void run()

    • Kind Annotation Text
    pre(soft) init'ed(com.dmdirc.ui.FatalErrorDialog$4__ static_init.new int[](FatalErrorDialog$4__static_in it#1)[...])
    pre(soft) this.queue != null
    presumptionerror.fixedStatus@55 != null
    presumptionerror.trace.length@55 <= 232-1
    presumptionerror.trace@55 != null
    presumptionjava.util.concurrent.BlockingQueue:take(...)@55 != null
    unanalyzedcall on com.dmdirc.config.ConfigManager:getOption
    unanalyzedcall on com.dmdirc.config.IdentityManager:getGlobal Config
    unanalyzedcall on com.dmdirc.logger.ErrorFixedStatus:equals
    unanalyzedcall on com.dmdirc.logger.ErrorReportStatus:equals
    unanalyzedcall on com.dmdirc.logger.ErrorReportStatus:ordinal
    unanalyzedcall on com.dmdirc.util.Downloader:getPage
    unanalyzedcall on com.dmdirc.util.ListenerList:get
    unanalyzedcall on equals
    unanalyzedcall on errorStatusChanged
    unanalyzedcall on fireErrorStatusChanged
    unanalyzedcall on getErrorManager
    unanalyzedcall on getReportStatus
    unanalyzedcall on java.lang.Object:getClass
    unanalyzedcall on java.lang.Object:notifyAll
    unanalyzedcall on java.lang.String:equals
    unanalyzedcall on java.lang.String:equalsIgnoreCase
    unanalyzedcall on java.lang.String:matches
    unanalyzedcall on java.lang.Thread:sleep
    unanalyzedcall on java.lang.Throwable:__curr_excep_obj
    unanalyzedcall on java.util.ArrayList
    unanalyzedcall on java.util.Arrays:copyOf
    unanalyzedcall on java.util.Arrays:equals
    unanalyzedcall on java.util.Arrays:toString
    unanalyzedcall on java.util.HashMap
    unanalyzedcall on java.util.List:get
    unanalyzedcall on java.util.List:isEmpty
    unanalyzedcall on java.util.List:iterator
    unanalyzedcall on java.util.List:size
    unanalyzedcall on java.util.Map:put
    unanalyzedcall on javax.swing.JButton:setEnabled
    unanalyzedcall on javax.swing.JButton:setText
    test_vectorerror.reportStatus@55: Inverse{&amp;com.dmdirc. logger.ErrorReportStatus__static_init.new ErrorReportStatus(ErrorReportStatus__static_ init#5)}, Addr_Set{&amp;com.dmdirc.logger. ErrorReportStatus__static_init.new ErrorReportStatu s(ErrorReportStatus__...