Messages

Last Msg First Msg

method	com.dmdirc.logger.ErrorManager__static_init
post	BANNED_EXCEPTIONS == &new Class[](ErrorManager_ _static_init#2)
post	me == &new ErrorManager(ErrorManager__static_ init#1)
post	new AtomicLong(ErrorManager#4) num objects == 1
post	new Class[](ErrorManager__static_init#2) num objects == 1
post	new ErrorManager(ErrorManager__static_init#1) num objects == 1
post	new LinkedBlockingQueue(ErrorManager#1) num objects == 1
post	new LinkedList(ErrorManager#3) num objects == 1
post	new ListenerList(ErrorManager#2) num objects == 1
post	BANNED_EXCEPTIONS.length == 5
post	me.errorListeners == &new ListenerList(ErrorMan ager#2)
post	me.errors == &new LinkedList(ErrorManager#3)
post	init'ed(me.logReports)
post	me.nextErrorID == &new AtomicLong(ErrorManager# 4)
post	me.reportQueue == &new LinkedBlockingQueue(Erro rManager#1)
post	init'ed(me.sendReports)
unanalyzed	call on com.dmdirc.config.IdentityManager:getGlobal Config
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionBo ol
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.concurrent.LinkedBlockingQueue
unanalyzed	call on com.dmdirc.util.ListenerList
unanalyzed	call on java.util.LinkedList
unanalyzed	call on java.util.concurrent.atomic.AtomicLong
unanalyzed	call on com.dmdirc.config.ConfigManager:addChangeLi stener

method not available - call not analyzed Info call on void com.dmdirc.util.ListenerList()

method	void com.dmdirc.logger.ErrorManager()
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@88 != null
post	this.errorListeners == &new ListenerList(ErrorM anager#2)
post	this.errors == &new LinkedList(ErrorManager#3)
post	init'ed(this.logReports)
post	this.nextErrorID == &new AtomicLong(ErrorManage r#4)
post	this.reportQueue == &new LinkedBlockingQueue(Er rorManager#1)
post	init'ed(this.sendReports)
post	new AtomicLong(ErrorManager#4) num objects == 1
post	new LinkedBlockingQueue(ErrorManager#1) num objects == 1
post	new LinkedList(ErrorManager#3) num objects == 1
post	new ListenerList(ErrorManager#2) num objects == 1
unanalyzed	call on com.dmdirc.config.IdentityManager:getGlobal Config
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionBo ol
unanalyzed	call on java.lang.Throwable:__curr_excep_obj

method not available - call not analyzed Info call on ConfigManager com.dmdirc.config. IdentityManager:getGlobalConfig()

method not available - call not analyzed Info call on void com.dmdirc.config.ConfigManager:addCha ngeListener(String, String, ConfigChangeListener)

method	ErrorManager getErrorManager()
post	return_value == &new ErrorManager(ErrorManager_ _static_init#1)

method	void addError(ErrorLevel, String)
pre	level != null
pre	message != null
pre	this.errors != null
pre	init'ed(this.logReports)
pre	this.nextErrorID != 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(this.reportThread)
pre	(soft) this.errorListeners != null
pre	(soft) this.reportQueue != null
pre	(soft) init'ed(this.sendReports)
post	com/dmdirc/logger/ProgramError.errorDir == One-of{old com/dmdirc/logger/ProgramError. errorDir, &new File(getErrorFile#1)}
post	init'ed(com/dmdirc/logger/ProgramError.errorDir)
post	this.reportThread == old this.reportThread
post	init'ed(this.reportThread)
post	new ErrorReportingThread(sendError#1) num objects == 0
post	init'ed(new ErrorReportingThread(sendError#1). queue)
post	new File(getErrorFile#1) num objects <= 1
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.concurrent.atomic. AtomicLong:getAndIncrement
unanalyzed	call on java.util.Date
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on java.util.Arrays:copyOf
unanalyzed	call on java.util.Date:clone
unanalyzed	call on java.util.List:contains
unanalyzed	call on java.util.List:add
unanalyzed	call on com.dmdirc.logger.ErrorReportStatus:equals
unanalyzed	call on getErrorManager
unanalyzed	call on fireErrorStatusChanged
unanalyzed	call on java.lang.Object:notifyAll
unanalyzed	call on java.util.concurrent.BlockingQueue:add
unanalyzed	call on java.lang.Thread:isAlive
unanalyzed	call on java.lang.Thread
unanalyzed	call on com.dmdirc.logger.ErrorReportingThread:setD aemon
unanalyzed	call on java.lang.Thread:start
unanalyzed	call on java.awt.GraphicsEnvironment:isHeadless
unanalyzed	call on java.io.PrintStream:println
unanalyzed	call on javax.swing.SwingUtilities:invokeLater
unanalyzed	call on java.util.concurrent.Semaphore
unanalyzed	call on java.util.concurrent.Semaphore:acquireUnint erruptibly
unanalyzed	call on java.lang.Object:wait
unanalyzed	call on com.dmdirc.util.ListenerList:get
unanalyzed	call on java.util.List:iterator
unanalyzed	call on com.dmdirc.logger.ErrorReportStatus:ordinal
unanalyzed	call on javax.swing.JButton:setText
unanalyzed	call on javax.swing.JButton:setEnabled
unanalyzed	call on equals
unanalyzed	call on getReportStatus
unanalyzed	call on errorStatusChanged
unanalyzed	call on isReady
unanalyzed	call on errorAdded
unanalyzed	call on com.dmdirc.logger.ErrorFixedStatus:equals
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on java.io.File:exists
unanalyzed	call on com.dmdirc.Main:getConfigDir
unanalyzed	call on java.io.File
unanalyzed	call on java.io.File:mkdirs
unanalyzed	call on java.util.Date:getTime
unanalyzed	call on java.io.File:renameTo
unanalyzed	call on java.io.File:createNewFile
unanalyzed	call on java.io.FileOutputStream
unanalyzed	call on java.util.concurrent.Semaphore:release
unanalyzed	call on java.io.IOException:printStackTrace
unanalyzed	call on java.io.OutputStream
unanalyzed	call on java.io.PrintWriter
unanalyzed	call on java.io.PrintWriter:println
unanalyzed	call on java.io.PrintWriter:close
unanalyzed	call on java.lang.Object:getClass
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.util.Arrays:equals

method	void addError(ErrorLevel, String, Throwable, bool)
pre	level != null
pre	message != null
pre	this.errors != null
pre	init'ed(this.logReports)
pre	this.nextErrorID != null
pre	(soft) init'ed(com.dmdirc.ui.FatalErrorDialog$4__ static_init.new int[](FatalErrorDialog$4__static_in it#1)[...])
pre	(soft) BANNED_EXCEPTIONS[...] != null
pre	(soft) init'ed(com/dmdirc/logger/ProgramError. errorDir)
pre	(soft) init'ed(this.reportThread)
pre	(soft) this.errorListeners != null
pre	(soft) this.reportQueue != null
pre	(soft) init'ed(this.sendReports)
presumption	getTrace(...).length <= 2³²-1
post	com/dmdirc/logger/ProgramError.errorDir == One-of{old com/dmdirc/logger/ProgramError. errorDir, &new File(getErrorFile#1)}
post	init'ed(com/dmdirc/logger/ProgramError.errorDir)
post	this.reportThread == One-of{old this.reportThread, &new ErrorReportingThread(sendError#1)}
post	init'ed(this.reportThread)
post	new ErrorReportingThread(sendError#1) num objects <= 1
post	init'ed(new ErrorReportingThread(sendError#1). queue)
post	new File(getErrorFile#1) num objects <= 1
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.concurrent.atomic. AtomicLong:getAndIncrement
unanalyzed	call on java.util.Date
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on java.util.Arrays:copyOf
unanalyzed	call on java.util.Date:clone
unanalyzed	call on java.util.List:contains
unanalyzed	call on java.util.List:add
unanalyzed	call on com.dmdirc.logger.ErrorReportStatus:equals
unanalyzed	call on getErrorManager
unanalyzed	call on fireErrorStatusChanged
unanalyzed	call on java.lang.Object:notifyAll
unanalyzed	call on java.util.concurrent.BlockingQueue:add
unanalyzed	call on java.lang.Thread:isAlive
unanalyzed	call on java.lang.Thread
unanalyzed	call on com.dmdirc.logger.ErrorReportingThread:setD aemon
unanalyzed	call on java.lang.Thread:start
unanalyzed	call on java.awt.GraphicsEnvironment:isHeadless
unanalyzed	call on java.io.PrintStream:println
unanalyzed	call on javax.swing.SwingUtilities:invokeLater
unanalyzed	call on java.util.concurrent.Semaphore
unanalyzed	call on java.util.concurrent.Semaphore:acquireUnint erruptibly
unanalyzed	call on java.lang.Object:wait
unanalyzed	call on java.lang.Throwable:getStackTrace
unanalyzed	call on java.lang.Throwable:toString
unanalyzed	call on java.lang.StackTraceElement:toString
unanalyzed	call on java.lang.Throwable:getCause
unanalyzed	call on getTrace
unanalyzed	call on java.lang.Object:getClass
unanalyzed	call on java.lang.Object:equals
unanalyzed	call on com.dmdirc.util.ListenerList:get
unanalyzed	call on java.util.List:iterator
unanalyzed	call on com.dmdirc.logger.ErrorReportStatus:ordinal
unanalyzed	call on javax.swing.JButton:setText
unanalyzed	call on javax.swing.JButton:setEnabled
unanalyzed	call on equals
unanalyzed	call on getReportStatus
unanalyzed	call on errorStatusChanged
unanalyzed	call on isReady
unanalyzed	call on errorAdded
unanalyzed	call on com.dmdirc.logger.ErrorFixedStatus:equals
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on java.io.File:exists
unanalyzed	call on com.dmdirc.Main:getConfigDir
unanalyzed	call on java.io.File
unanalyzed	call on java.io.File:mkdirs
unanalyzed	call on java.util.Date:getTime
unanalyzed	call on java.io.File:renameTo
unanalyzed	call on java.io.File:createNewFile
unanalyzed	call on java.io.FileOutputStream
unanalyzed	call on java.util.concurrent.Semaphore:release
unanalyzed	call on java.io.IOException:printStackTrace
unanalyzed	call on java.io.OutputStream
unanalyzed	call on java.io.PrintWriter
unanalyzed	call on java.io.PrintWriter:println
unanalyzed	call on java.io.PrintWriter:close
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.util.Arrays:equals

method	void addError(ErrorLevel, String, String[], bool)
pre	details != null
pre	details.length <= 2³²-1
pre	level != null
pre	message != null
pre	this.errors != null
pre	init'ed(this.logReports)
pre	this.nextErrorID != 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(this.reportThread)
pre	(soft) this.errorListeners != null
pre	(soft) this.reportQueue != null
pre	(soft) init'ed(this.sendReports)
post	com/dmdirc/logger/ProgramError.errorDir == One-of{old com/dmdirc/logger/ProgramError. errorDir, &new File(getErrorFile#1)}
post	init'ed(com/dmdirc/logger/ProgramError.errorDir)
post	this.reportThread == One-of{old this.reportThread, &new ErrorReportingThread(sendError#1)}
post	init'ed(this.reportThread)
post	new ErrorReportingThread(sendError#1) num objects <= 1
post	init'ed(new ErrorReportingThread(sendError#1). queue)
post	new File(getErrorFile#1) num objects <= 1
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.concurrent.atomic. AtomicLong:getAndIncrement
unanalyzed	call on java.util.Date
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on java.util.Arrays:copyOf
unanalyzed	call on java.util.Date:clone
unanalyzed	call on java.util.List:contains
unanalyzed	call on java.util.List:add
unanalyzed	call on com.dmdirc.logger.ErrorReportStatus:equals
unanalyzed	call on getErrorManager
unanalyzed	call on fireErrorStatusChanged
unanalyzed	call on java.lang.Object:notifyAll
unanalyzed	call on java.util.concurrent.BlockingQueue:add
unanalyzed	call on java.lang.Thread:isAlive
unanalyzed	call on java.lang.Thread
unanalyzed	call on com.dmdirc.logger.ErrorReportingThread:setD aemon
unanalyzed	call on java.lang.Thread:start
unanalyzed	call on java.awt.GraphicsEnvironment:isHeadless
unanalyzed	call on java.io.PrintStream:println
unanalyzed	call on javax.swing.SwingUtilities:invokeLater
unanalyzed	call on java.util.concurrent.Semaphore
unanalyzed	call on java.util.concurrent.Semaphore:acquireUnint erruptibly
unanalyzed	call on java.lang.Object:wait
unanalyzed	call on com.dmdirc.util.ListenerList:get
unanalyzed	call on java.util.List:iterator
unanalyzed	call on com.dmdirc.logger.ErrorReportStatus:ordinal
unanalyzed	call on javax.swing.JButton:setText
unanalyzed	call on javax.swing.JButton:setEnabled
unanalyzed	call on equals
unanalyzed	call on getReportStatus
unanalyzed	call on errorStatusChanged
unanalyzed	call on isReady
unanalyzed	call on errorAdded
unanalyzed	call on com.dmdirc.logger.ErrorFixedStatus:equals
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on java.io.File:exists
unanalyzed	call on com.dmdirc.Main:getConfigDir
unanalyzed	call on java.io.File
unanalyzed	call on java.io.File:mkdirs
unanalyzed	call on java.util.Date:getTime
unanalyzed	call on java.io.File:renameTo
unanalyzed	call on java.io.File:createNewFile
unanalyzed	call on java.io.FileOutputStream
unanalyzed	call on java.util.concurrent.Semaphore:release
unanalyzed	call on java.io.IOException:printStackTrace
unanalyzed	call on java.io.OutputStream
unanalyzed	call on java.io.PrintWriter
unanalyzed	call on java.io.PrintWriter:println
unanalyzed	call on java.io.PrintWriter:close
unanalyzed	call on java.lang.Object:getClass
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.util.Arrays:equals

method	void addError(ErrorLevel, String, String[], bool, bool)
pre	details != null
pre	details.length <= 2³²-1
pre	level != null
pre	message != null
pre	this.errors != null
pre	init'ed(this.logReports)
pre	this.nextErrorID != 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(this.reportThread)
pre	(soft) this.errorListeners != null
pre	(soft) this.reportQueue != null
pre	(soft) init'ed(this.sendReports)
presumption	error.trace.length in {1..2³²-1}
presumption	error.trace[0] != null
presumption	error.trace[...] != null
post	com/dmdirc/logger/ProgramError.errorDir == One-of{old com/dmdirc/logger/ProgramError. errorDir, &new File(getErrorFile#1)}
post	init'ed(com/dmdirc/logger/ProgramError.errorDir)
post	this.reportThread == One-of{old this.reportThread, &new ErrorReportingThread(sendError#1)}
post	init'ed(this.reportThread)
post	new ErrorReportingThread(sendError#1) num objects <= 1
post	init'ed(new ErrorReportingThread(sendError#1). queue)
post	new File(getErrorFile#1) num objects <= 1
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.concurrent.atomic. AtomicLong:getAndIncrement
unanalyzed	call on java.util.Date
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on java.util.Arrays:copyOf
unanalyzed	call on java.util.Date:clone
unanalyzed	call on java.util.List:contains
unanalyzed	call on java.util.List:add
unanalyzed	call on com.dmdirc.logger.ErrorReportStatus:equals
unanalyzed	call on getErrorManager
unanalyzed	call on fireErrorStatusChanged
unanalyzed	call on java.lang.Object:notifyAll
unanalyzed	call on java.util.concurrent.BlockingQueue:add
unanalyzed	call on java.lang.Thread:isAlive
unanalyzed	call on java.lang.Thread
unanalyzed	call on com.dmdirc.logger.ErrorReportingThread:setD aemon
unanalyzed	call on java.lang.Thread:start
unanalyzed	call on java.awt.GraphicsEnvironment:isHeadless
unanalyzed	call on java.io.PrintStream:println
unanalyzed	call on javax.swing.SwingUtilities:invokeLater
unanalyzed	call on java.util.concurrent.Semaphore
unanalyzed	call on java.util.concurrent.Semaphore:acquireUnint erruptibly
unanalyzed	call on java.lang.Object:wait
unanalyzed	call on com.dmdirc.util.ListenerList:get
unanalyzed	call on java.util.List:iterator
unanalyzed	call on com.dmdirc.logger.ErrorReportStatus:ordinal
unanalyzed	call on javax.swing.JButton:setText
unanalyzed	call on javax.swing.JButton:setEnabled
unanalyzed	call on equals
unanalyzed	call on getReportStatus
unanalyzed	call on errorStatusChanged
unanalyzed	call on isReady
unanalyzed	call on errorAdded
unanalyzed	call on com.dmdirc.logger.ErrorFixedStatus:equals
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on java.io.File:exists
unanalyzed	call on com.dmdirc.Main:getConfigDir
unanalyzed	call on java.io.File
unanalyzed	call on java.io.File:mkdirs
unanalyzed	call on java.util.Date:getTime
unanalyzed	call on java.io.File:renameTo
unanalyzed	call on java.io.File:createNewFile
unanalyzed	call on java.io.FileOutputStream
unanalyzed	call on java.util.concurrent.Semaphore:release
unanalyzed	call on java.io.IOException:printStackTrace
unanalyzed	call on java.io.OutputStream
unanalyzed	call on java.io.PrintWriter
unanalyzed	call on java.io.PrintWriter:println
unanalyzed	call on java.io.PrintWriter:close
unanalyzed	call on java.lang.Object:getClass
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.util.Arrays:equals
test_vector	appError: {0}, {1}
test_vector	canReport: {0}, {1}
test_vector	this.logReports: {0}, {1}
test_vector	this.sendReports: {0}, {1}

Prev Msg Next Msg

precondition failure

click for all messages in this file Medium Prob.

com/dmdirc/logger/ProgramError.isValidSource: this.trace != null

Prev Msg Next Msg

Prev Msg Next Msg

precondition failure

click for all messages in this file Medium Prob.

com/dmdirc/logger/ProgramError.save: this.trace != null

Prev Msg Next Msg

Prev Msg Next Msg

precondition failure

click for all messages in this file Medium Prob.

com/dmdirc/logger/ErrorManager.fireErrorAdded: error.trace != null

Prev Msg Next Msg

method	bool addError(ProgramError)
pre	this.errors != null
post	init'ed(return_value)

method	ProgramError getError(ErrorLevel, String, String[], bool)
pre	details != null
pre	details.length <= 2³²-1
pre	level != null
pre	message != null
pre	this.nextErrorID != null
presumption	java.util.concurrent.atomic.AtomicLong:getAndIncrem ent(...)@218 >= 0
post	return_value == &new ProgramError(getError#1)
post	new ProgramError(getError#1) num objects == 1
post	return_value.date != null
post	return_value.fixedStatus == &com.dmdirc.logger. ErrorFixedStatus__static_init.new ErrorFixedStatus( ErrorFixedStatus__static_init#7)
post	return_value.id >= 0
post	return_value.level == level
post	return_value.level != null
post	return_value.message == message
post	return_value.message != null
post	return_value.reportStatus == &com.dmdirc. logger.ErrorReportStatus__static_init.new ErrorReportStatus(ErrorReportStatus__static_init#6 )
post	init'ed(return_value.trace)
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on java.util.Arrays:copyOf
unanalyzed	call on java.util.Date:clone

method	bool isValidError(Throwable)
pre	(soft) BANNED_EXCEPTIONS[...] != null
post	init'ed(return_value)
test_vector	java.lang.Object:equals(...)@235: {0}, {1}

method	String[] getTrace(Throwable)
presumption	java.lang.Throwable:getStackTrace(...)@259 != null
presumption	traceElements.length@259 <= 2³²-1
presumption	traceElements[i]@259 != null
post	java.lang.StackTraceElement:toString(...)._tainted == 0
post	possibly_updated(java.lang.StackTraceElement:toStri ng(...)._tainted)
post	init'ed(java.lang.StringBuilder:toString(...)._ tainted)
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	possibly_updated(java.lang.StringBuilder:toString(. ..)._tainted)
post	init'ed(java.lang.Throwable:toString(...)._ tainted)
post	java.lang.Throwable:toString(...)._tainted == 0
post	possibly_updated(java.lang.Throwable:toString(...). _tainted)
post	return_value == One-of{&new String[](getTrace#1 ), &new String[](getTrace#2), &new String[](getTrace#3)}
post	return_value in Addr_Set{&new String[](getTrace #2),&new String[](getTrace#3),&new String[](getTrace#1)}
post	new String[](getTrace#1) num objects <= 1
post	new String[](getTrace#1).length == 0
post	new String[](getTrace#1)[0] == null
post	new String[](getTrace#1)[...] == null
post	new String[](getTrace#2) num objects <= 1
post	new String[](getTrace#2).length in {1.. 2³²}
post	new String[](getTrace#2)[0] in Addr_Set{&java. lang.Throwable:toString(...),&java.lang. StringBuilder:toString(...)}
post	new String[](getTrace#2)[...] in Addr_Set{null,&java.lang.StackTraceElement:toS tring(...)}
post	new String[](getTrace#3) num objects <= 1
post	new String[](getTrace#3).length >= 1
post	possibly_updated(new String[](getTrace#3)[...])
unanalyzed	call on java.lang.Throwable:getStackTrace
unanalyzed	call on java.lang.Throwable:toString
unanalyzed	call on java.lang.StackTraceElement:toString
unanalyzed	call on java.lang.Throwable:getCause
unanalyzed	call on getTrace
test_vector	throwable: Inverse{null}, Addr_Set{null}
test_vector	java.lang.Throwable:getCause(...)@268: Addr_Set{null}, Inverse{null}

method	void sendError(ProgramError)
pre	error != null
pre	init'ed(error.reportStatus)
pre	(soft) init'ed(com.dmdirc.ui.FatalErrorDialog$4__ static_init.new int[](FatalErrorDialog$4__static_in it#1)[...])
pre	(soft) init'ed(this.reportThread)
pre	(soft) this.reportQueue != null
post	error.reportStatus == One-of{old error. reportStatus, &com.dmdirc.logger. ErrorReportStatus__static_init.new ErrorReportStatu s(ErrorReportStatus__static_init#5)}
post	init'ed(error.reportStatus)
post	this.reportThread == One-of{old this.reportThread, &new ErrorReportingThread(sendError#1)}
post	init'ed(this.reportThread)
post	new ErrorReportingThread(sendError#1) num objects <= 1
post	new ErrorReportingThread(sendError#1).queue == this.reportQueue
post	new ErrorReportingThread(sendError#1).queue != null
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on com.dmdirc.logger.ErrorReportStatus:equals
unanalyzed	call on getErrorManager
unanalyzed	call on fireErrorStatusChanged
unanalyzed	call on java.lang.Object:notifyAll
unanalyzed	call on java.lang.Thread
unanalyzed	call on com.dmdirc.logger.ErrorReportingThread:setD aemon
unanalyzed	call on com.dmdirc.util.ListenerList:get
unanalyzed	call on java.util.List:iterator
unanalyzed	call on com.dmdirc.logger.ErrorReportStatus:ordinal
unanalyzed	call on javax.swing.JButton:setText
unanalyzed	call on javax.swing.JButton:setEnabled
unanalyzed	call on equals
unanalyzed	call on getReportStatus
unanalyzed	call on errorStatusChanged
unanalyzed	call on java.lang.Object:getClass
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.util.Arrays:equals
test_vector	this.reportThread: Addr_Set{null}, Inverse{null}
test_vector	java.lang.Thread:isAlive(...)@298: {1}, {0}

method	void deleteError(ProgramError)
pre	this.errorListeners != null
pre	this.errors != null
unanalyzed	call on com.dmdirc.util.ListenerList:get
unanalyzed	call on java.util.List:iterator
unanalyzed	call on errorDeleted

method	void deleteAll()
pre	this.errors != null
pre	(soft) this.errorListeners != null
unanalyzed	call on com.dmdirc.util.ListenerList:get
unanalyzed	call on java.util.List:iterator
unanalyzed	call on errorDeleted
test_vector	java.util.Iterator:hasNext(...)@324: {0}, {1}

method	int getErrorCount()
pre	this.errors != null
post	init'ed(return_value)

method	List getErrors()
post	return_value == &new LinkedList(getErrors#1)
post	new LinkedList(getErrors#1) num objects == 1

method	void addErrorListener(ErrorListener)
pre	(soft) this.errorListeners != null
test_vector	listener: Inverse{null}, Addr_Set{null}

method not available - call not analyzed Info call on void com.dmdirc.util.ListenerList:add(Class , Object)

method	void removeErrorListener(ErrorListener)
pre	this.errorListeners != null

method not available - call not analyzed Info call on void com.dmdirc.util.ListenerList:remove(Cl ass, Object)

method	void fireErrorAdded(ProgramError)
pre	error != null
pre	error.trace != null
pre	error.trace.length <= 2³²-1
pre	this.errorListeners != null
presumption	arr$.length <= 2³²-1
presumption	com.dmdirc.util.ListenerList:get(...)@382 != null
presumption	java.lang.System.err != null
presumption	java.util.Arrays:copyOf(...)@148 != null
presumption	java.util.Iterator:next(...)@382 != null
unanalyzed	call on java.util.Arrays:copyOf
test_vector	java.util.Iterator:hasNext(...)@382: {0}, {1}

method not available - call not analyzed Info call on List com.dmdirc.util.ListenerList:get(Class )

Prev Msg Next Msg

test always goes same way

click for all messages in this file Low Prob.

Test predetermined because isReady(...) == 0

Prev Msg Next Msg

Prev Msg Next Msg

dead code

click for all messages in this file Low Prob.

Dead code here because isReady(...) == 0

Prev Msg Next Msg

Prev Msg Next Msg

test always goes same way

click for all messages in this file Low Prob.

Test predetermined because firedListeners == 0

Prev Msg Next Msg

method	void fireFatalError(ProgramError)
pre	error != null
pre	error.reportStatus != null
pre	(soft) error.trace != null
pre	(soft) error.trace.length <= 2³²-1
presumption	arr$.length <= 2³²-1
presumption	java.lang.System.err != null
presumption	java.util.Arrays:copyOf(...)@148 != null
unanalyzed	call on java.util.Arrays:copyOf
unanalyzed	call on javax.swing.SwingUtilities:invokeLater
unanalyzed	call on java.util.concurrent.Semaphore
unanalyzed	call on java.util.concurrent.Semaphore:acquireUnint erruptibly
test_vector	java.awt.GraphicsEnvironment:isHeadless(...)@405: {0}, {1}

method	void fireErrorDeleted(ProgramError)
pre	this.errorListeners != null
presumption	com.dmdirc.util.ListenerList:get(...)@433 != null
presumption	java.util.Iterator:next(...)@433 != null
test_vector	java.util.Iterator:hasNext(...)@433: {0}, {1}

method not available - call not analyzed Info call on List com.dmdirc.util.ListenerList:get(Class )

method	void fireErrorStatusChanged(ProgramError)
pre	this.errorListeners != null
pre	(soft) init'ed(com.dmdirc.ui.FatalErrorDialog$4__ static_init.new int[](FatalErrorDialog$4__static_in it#1)[...])
pre	(soft) error.reportStatus != null
presumption	com.dmdirc.util.ListenerList:get(...)@444 != null
presumption	java.util.Iterator:next(...)@444 != null
presumption	listener.error.message@444 != null
presumption	listener.error@444 != null
presumption	listener.okButton@444 != null
presumption	listener.sendButton@444 != null
unanalyzed	call on com.dmdirc.logger.ErrorReportStatus:ordinal
unanalyzed	call on javax.swing.JButton:setText
unanalyzed	call on javax.swing.JButton:setEnabled
unanalyzed	call on equals
unanalyzed	call on getReportStatus
unanalyzed	call on java.lang.Object:getClass
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.util.Arrays:equals
test_vector	java.util.Iterator:hasNext(...)@444: {0}, {1}

method not available - call not analyzed Info call on List com.dmdirc.util.ListenerList:get(Class )

method	void configChanged(String, String)
post	init'ed(this.logReports)
post	init'ed(this.sendReports)
unanalyzed	call on com.dmdirc.config.IdentityManager:getGlobal Config
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionBo ol
unanalyzed	call on java.lang.Throwable:__curr_excep_obj

method	void updateSettings()
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@457 != null
post	init'ed(this.logReports)
post	init'ed(this.sendReports)

method not available - call not analyzed Info call on ConfigManager com.dmdirc.config. IdentityManager:getGlobalConfig()

method not available - call not analyzed Info call on bool com.dmdirc.config.ConfigManager:getOpt ionBool(String, String)