Logger.java

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


Filter Options
Annotation Kind:
pre
presumption
post
unanalyzed
test_vector


  • void appError(ErrorLevel, String, Throwable)

    • Kind Annotation Text
    pre(soft) com.dmdirc.logger.ErrorManager__static_init. new Class[](ErrorManager__static_init#2)[...] != null
    pre(soft) init'ed(com.dmdirc.ui.FatalErrorDialog$4__ static_init.new int[](FatalErrorDialog$4__static_in it#1)[...])
    pre(soft) init'ed(com/dmdirc/logger/ProgramError. errorDir)
    pre(soft) init'ed(manager.reportThread)
    pre(soft) init'ed(manager.sendReports)
    preinit'ed(manager.logReports)
    prelevel != null
    premanager.nextErrorID != null
    premessage != null
    postcom/dmdirc/logger/ProgramError.errorDir == One-of{old com/dmdirc/logger/ProgramError. errorDir, &new File(getErrorFile#1)}
    postinit'ed(com/dmdirc/logger/ProgramError.errorDir)
    postinit'ed(manager.reportThread)
    postinit'ed(new ErrorReportingThread(sendError#1). queue)
    postmanager.reportThread == One-of{old manager. reportThread, &new ErrorReportingThread(sendErr or#1)}
    postnew ErrorReportingThread(sendError#1) num objects <= 1
    postnew File(getErrorFile#1) num objects <= 1
    unanalyzedcall on addError
    unanalyzedcall on com.dmdirc.Main:getConfigDir
    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.logger.ErrorReportingThread:setD aemon
    unanalyzedcall on com.dmdirc.util.ListenerList:get
    unanalyzedcall on equals
    unanalyzedcall on errorAdded
    unanalyzedcall on errorStatusChanged
    unanalyzedcall on fireErrorStatusChanged
    unanalyzedcall on getErrorManager
    unanalyzedcall on getReportStatus
    unanalyzedcall on getTrace
    unanalyzedcall on isReady
    unanalyzedcall on java.awt.GraphicsEnvironment:isHeadless
    unanalyzedcall on java.io.File
    unanalyzedcall on java.io.File:createNewFile
    unanalyzedcall on java.io.File:exists
    unanalyzedcall on java.io.File:mkdirs
    unanalyzedcall on java.io.File:renameTo
    unanalyzedcall on java.io.FileOutputStream
    unanalyzedcall on java.io.IOException:printStackTrace
    unanalyzedcall on java.io.OutputStream
    unanalyzedcall on java.io.PrintStream:println
    unanalyzedcall on java.io.PrintWriter
    unanalyzedcall on java.io.PrintWriter:close
    unanalyzedcall on java.io.PrintWriter:println
    unanalyzedcall on java.lang.IllegalArgumentException
    unanalyzedcall on java.lang.Object:equals
    unanalyzedcall on java.lang.Object:getClass
    unanalyzedcall on java.lang.Object:notifyAll
    unanalyzedcall on java.lang.Object:wait
    unanalyzedcall on java.lang.StackTraceElement:toString
    unanalyzedcall on java.lang.String:equals
    unanalyzedcall on java.lang.String:isEmpty
    unanalyzedcall on java.lang.String:startsWith
    unanalyzedcall on java.lang.Thread
    unanalyzedcall on java.lang.Thread:isAlive
    unanalyzedcall on java.lang.Thread:start
    unanalyzedcall on java.lang.Throwable:__curr_excep_obj
    unanalyzedcall on java.lang.Throwable:getCause
    unanalyzedcall on java.lang.Throwable:getStackTrace
    unanalyzedcall on java.lang.Throwable:toString
    unanalyzedcall on java.util.Arrays:copyOf
    unanalyzedcall on java.util.Arrays:equals
    unanalyzedcall on java.util.Date
    unanalyzedcall on java.util.Date:clone
    unanalyzedcall on java.util.Date:getTime
    unanalyzedcall on java.util.List:add
    unanalyzedcall on java.util.List:contains
    unanalyzedcall on java.util.List:iterator
    unanalyzedcall on java.util.concurrent.BlockingQueue:add
    unanalyzedcall on java.util.concurrent.Semaphore
    unanalyzedcall on java.util.concurrent.Semaphore:acquireUnint erruptibly
    unanalyzedcall on java.util.concurrent.Semaphore:release
    unanalyzedcall on java.util.concurrent.atomic. AtomicLong:getAndIncrement
    unanalyzedcall on javax.swing.JButton:setEnabled
    unanalyzedcall on javax.swing.JButton:setText
    unanalyzedcall on javax.swing.SwingUtilities:invokeLater

  • void assertTrue(bool)

    • Kind Annotation Text
    prevalue == 1

  • void com.dmdirc.logger.Logger()

    • Kind Annotation Text

  • com.dmdirc.logger.Logger__static_init

    • Kind Annotation Text
    postmanager == &amp;com.dmdirc.logger.ErrorManager__ static_init.new ErrorManager(ErrorManager__static_i nit#1)
    unanalyzedcall on java.lang.Throwable:__curr_excep_obj

  • void userError(ErrorLevel, String)

    • Kind Annotation Text
    pre(soft) init'ed(com.dmdirc.ui.FatalErrorDialog$4__ static_init.new int[](FatalErrorDialog$4__static_in it#1)[...])
    pre(soft) init'ed(com/dmdirc/logger/ProgramError. errorDir)
    pre(soft) init'ed(manager.reportThread)
    pre(soft) init'ed(manager.sendReports)
    preinit'ed(manager.logReports)
    prelevel != null
    premanager.nextErrorID != null
    premessage != null
    postcom/dmdirc/logger/ProgramError.errorDir == One-of{old com/dmdirc/logger/ProgramError. errorDir, &amp;new File(getErrorFile#1)}
    postinit'ed(com/dmdirc/logger/ProgramError.errorDir)
    postinit'ed(manager.reportThread)
    postinit'ed(new ErrorReportingThread(sendError#1). queue)
    postmanager.reportThread == old manager.reportThread
    postnew ErrorReportingThread(sendError#1) num objects == 0
    postnew File(getErrorFile#1) num objects <= 1
    unanalyzedcall on com.dmdirc.Main:getConfigDir
    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.logger.ErrorReportingThread:setD aemon
    unanalyzedcall on com.dmdirc.util.ListenerList:get
    unanalyzedcall on equals
    unanalyzedcall on errorAdded
    unanalyzedcall on errorStatusChanged
    unanalyzedcall on fireErrorStatusChanged
    unanalyzedcall on getErrorManager
    unanalyzedcall on getReportStatus
    unanalyzedcall on isReady
    unanalyzedcall on java.awt.GraphicsEnvironment:isHeadless
    unanalyzedcall on java.io.File
    unanalyzedcall on java.io.File:createNewFile
    unanalyzedcall on java.io.File:exists
    unanalyzedcall on java.io.File:mkdirs
    unanalyzedcall on java.io.File:renameTo
    unanalyzedcall on java.io.FileOutputStream
    unanalyzedcall on java.io.IOException:printStackTrace
    unanalyzedcall on java.io.OutputStream
    unanalyzedcall on java.io.PrintStream:println
    unanalyzedcall on java.io.PrintWriter
    unanalyzedcall on java.io.PrintWriter:close
    unanalyzedcall on java.io.PrintWriter:println
    unanalyzedcall on java.lang.IllegalArgumentException
    unanalyzedcall on java.lang.Object:getClass
    unanalyzedcall on java.lang.Object:notifyAll
    unanalyzedcall on java.lang.Object:wait
    unanalyzedcall on java.lang.String:equals
    unanalyzedcall on java.lang.String:isEmpty
    unanalyzedcall on java.lang.String:startsWith
    unanalyzedcall on java.lang.Thread
    unanalyzedcall on java.lang.Thread:isAlive
    unanalyzedcall on java.lang.Thread:start
    unanalyzedcall on java.lang.Throwable:__curr_excep_obj
    unanalyzedcall on java.util.Arrays:copyOf
    unanalyzedcall on java.util.Arrays:equals
    unanalyzedcall on java.util.Date
    unanalyzedcall on java.util.Date:clone
    unanalyzedcall on java.util.Date:getTime
    unanalyzedcall on java.util.List:add
    unanalyzedcall on java.util.List:contains
    unanalyzedcall on java.util.List:iterator
    unanalyzedcall on java.util.concurrent.BlockingQueue:add
    unanalyzedcall on java.util.concurrent.Semaphore
    unanalyzedcall on java.util.concurrent.Semaphore:acquireUnint erruptibly
    unanalyzedcall on java.util.concurrent.Semaphore:release
    unanalyzedcall on java.util.concurrent.atomic. AtomicLong:getAndIncrement
    unanalyzedcall on javax.swing.JButton:setEnabled
    unanalyzedcall on javax.swing.JButton:setText
    unanalyzedcall on javax.swing.SwingUtilities:invokeLater

  • void userError(ErrorLevel, String, String)

    • Kind Annotation Text
    pre(soft) init'ed(com.dmdirc.ui.FatalErrorDialog$4__ static_init.new int[](FatalErrorDialog$4__static_in it#1)[...])
    pre(soft) init'ed(com/dmdirc/logger/ProgramError. errorDir)
    pre(soft) init'ed(manager.reportThread)
    pre(soft) init'ed(manager.sendReports)
    preinit'ed(manager.logReports)
    prelevel != null
    premanager.nextErrorID != null
    premessage != null
    postcom/dmdirc/logger/ProgramError.errorDir == One-of{old com/dmdirc/logger/ProgramError. errorDir, &amp;new File(getErrorFile#1)}
    postinit'ed(com/dmdirc/logger/ProgramError.errorDir)
    postinit'ed(manager.reportThread)
    postinit'ed(new ErrorReportingThread(sendError#1). queue)
    postmanager.reportThread == old manager.reportThread
    postnew ErrorReportingThread(sendError#1) num objects == 0
    postnew File(getErrorFile#1) num objects <= 1
    unanalyzedcall on com.dmdirc.Main:getConfigDir
    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.logger.ErrorReportingThread:setD aemon
    unanalyzedcall on com.dmdirc.util.ListenerList:get
    unanalyzedcall on equals
    unanalyzedcall on errorAdded
    unanalyzedcall on errorStatusChanged
    unanalyzedcall on fireErrorStatusChanged
    unanalyzedcall on getErrorManager
    unanalyzedcall on getReportStatus
    unanalyzedcall on isReady
    unanalyzedcall on java.awt.GraphicsEnvironment:isHeadless
    unanalyzedcall on java.io.File
    unanalyzedcall on java.io.File:createNewFile
    unanalyzedcall on java.io.File:exists
    unanalyzedcall on java.io.File:mkdirs
    unanalyzedcall on java.io.File:renameTo
    unanalyzedcall on java.io.FileOutputStream
    unanalyzedcall on java.io.IOException:printStackTrace
    unanalyzedcall on java.io.OutputStream
    unanalyzedcall on java.io.PrintStream:println
    unanalyzedcall on java.io.PrintWriter
    unanalyzedcall on java.io.PrintWriter:close
    unanalyzedcall on java.io.PrintWriter:println
    unanalyzedcall on java.lang.IllegalArgumentException
    unanalyzedcall on java.lang.Object:getClass
    unanalyzedcall on java.lang.Object:notifyAll
    unanalyzedcall on java.lang.Object:wait
    unanalyzedcall on java.lang.String:equals
    unanalyzedcall on java.lang.String:isEmpty
    unanalyzedcall on java.lang.String:startsWith
    unanalyzedcall on java.lang.Thread
    unanalyzedcall on java.lang.Thread:isAlive
    unanalyzedcall on java.lang.Thread:start
    unanalyzedcall on java.lang.Throwable:__curr_excep_obj
    unanalyzedcall on java.util.Arrays:copyOf
    unanalyzedcall on java.util.Arrays:equals
    unanalyzedcall on java.util.Date
    unanalyzedcall on java.util.Date:clone
    unanalyzedcall on java.util.Date:getTime
    unanalyzedcall on java.util.List:add
    unanalyzedcall on java.util.List:contains
    unanalyzedcall on java.util.List:iterator
    unanalyzedcall on java.util.concurrent.BlockingQueue:add
    unanalyzedcall on java.util.concurrent.Semaphore
    unanalyzedcall on java.util.concurrent.Semaphore:acquireUnint erruptibly
    unanalyzedcall on java.util.concurrent.Semaphore:release
    unanalyzedcall on java.util.concurrent.atomic. AtomicLong:getAndIncrement
    unanalyzedcall on javax.swing.JButton:setEnabled
    unanalyzedcall on javax.swing.JButton:setText
    unanalyzedcall on javax.swing.SwingUtilities:invokeLater

  • void userError(ErrorLevel, String, Throwable)

    • Kind Annotation Text
    pre(soft) com.dmdirc.logger.ErrorManager__static_init. new Class[](ErrorManager__static_init#2)[...] != null
    pre(soft) init'ed(com.dmdirc.ui.FatalErrorDialog$4__ static_init.new int[](FatalErrorDialog$4__static_in it#1)[...])
    pre(soft) init'ed(com/dmdirc/logger/ProgramError. errorDir)
    pre(soft) init'ed(manager.reportThread)
    pre(soft) init'ed(manager.sendReports)
    preinit'ed(manager.logReports)
    prelevel != null
    premanager.nextErrorID != null
    premessage != null
    postcom/dmdirc/logger/ProgramError.errorDir == One-of{old com/dmdirc/logger/ProgramError. errorDir, &amp;new File(getErrorFile#1)}
    postinit'ed(com/dmdirc/logger/ProgramError.errorDir)
    postinit'ed(manager.reportThread)
    postinit'ed(new ErrorReportingThread(sendError#1). queue)
    postmanager.reportThread == old manager.reportThread
    postnew ErrorReportingThread(sendError#1) num objects == 0
    postnew File(getErrorFile#1) num objects <= 1
    unanalyzedcall on addError
    unanalyzedcall on com.dmdirc.Main:getConfigDir
    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.logger.ErrorReportingThread:setD aemon
    unanalyzedcall on com.dmdirc.util.ListenerList:get
    unanalyzedcall on equals
    unanalyzedcall on errorAdded
    unanalyzedcall on errorStatusChanged
    unanalyzedcall on fireErrorStatusChanged
    unanalyzedcall on getErrorManager
    unanalyzedcall on getReportStatus
    unanalyzedcall on getTrace
    unanalyzedcall on isReady
    unanalyzedcall on java.awt.GraphicsEnvironment:isHeadless
    unanalyzedcall on java.io.File
    unanalyzedcall on java.io.File:createNewFile
    unanalyzedcall on java.io.File:exists
    unanalyzedcall on java.io.File:mkdirs
    unanalyzedcall on java.io.File:renameTo
    unanalyzedcall on java.io.FileOutputStream
    unanalyzedcall on java.io.IOException:printStackTrace
    unanalyzedcall on java.io.OutputStream
    unanalyzedcall on java.io.PrintStream:println
    unanalyzedcall on java.io.PrintWriter
    unanalyzedcall on java.io.PrintWriter:close
    unanalyzedcall on java.io.PrintWriter:println
    unanalyzedcall on java.lang.IllegalArgumentException
    unanalyzedcall on java.lang.Object:equals
    unanalyzedcall on java.lang.Object:getClass
    unanalyzedcall on java.lang.Object:notifyAll
    unanalyzedcall on java.lang.Object:wait
    unanalyzedcall on java.lang.StackTraceElement:toString
    unanalyzedcall on java.lang.String:equals
    unanalyzedcall on java.lang.String:isEmpty
    unanalyzedcall on java.lang.String:startsWith
    unanalyzedcall on java.lang.Thread
    unanalyzedcall on java.lang.Thread:isAlive
    unanalyzedcall on java.lang.Thread:start
    unanalyzedcall on java.lang.Throwable:__curr_excep_obj
    unanalyzedcall on java.lang.Throwable:getCause
    unanalyzedcall on java.lang.Throwable:getStackTrace
    unanalyzedcall on java.lang.Throwable:toString
    unanalyzedcall on java.util.Arrays:copyOf
    unanalyzedcall on java.util.Arrays:equals
    unanalyzedcall on java.util.Date
    unanalyzedcall on java.util.Date:clone
    unanalyzedcall on java.util.Date:getTime
    unanalyzedcall on java.util.List:add
    unanalyzedcall on java.util.List:contains
    unanalyzedcall on java.util.List:iterator
    unanalyzedcall on java.util.concurrent.BlockingQueue:add
    unanalyzedcall on java.util.concurrent.Semaphore
    unanalyzedcall on java.util.concurrent.Semaphore:acquireUnint erruptibly
    unanalyzedcall on java.util.concurrent.Semaphore:release
    unanalyzedcall on java.util.concurrent.atomic. AtomicLong:getAndIncrement
    unanalyzedcall on javax.swing.JButton:setEnabled
    unanalyzedcall on javax.swing.JButton:setText
    unanalyzedcall on javax.swing.SwingUtilities:invokeLater