ErrorManager.java

ErrorManager.java

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

Filter Options

Annotation Kind:

pre

presumption

post

unanalyzed

test_vector

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

void addError(ErrorLevel, String, Throwable, bool)

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

void addError(ErrorLevel, String, String[], bool)

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

void addError(ErrorLevel, String, String[], bool, bool)

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

bool addError(ProgramError)

Kind	Annotation Text
pre	this.errors != null
post	init'ed(return_value)

void addErrorListener(ErrorListener)

Kind	Annotation Text
pre	(soft) this.errorListeners != null
test_vector	listener: Inverse{null}, Addr_Set{null}

void com.dmdirc.logger.ErrorManager()

Kind	Annotation Text
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@88 != null
post	init'ed(this.logReports)
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
post	this.errorListeners == &new ListenerList(ErrorM anager#2)
post	this.errors == &new LinkedList(ErrorManager#3)
post	this.nextErrorID == &new AtomicLong(ErrorManage r#4)
post	this.reportQueue == &new LinkedBlockingQueue(Er rorManager#1)
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionBo ol
unanalyzed	call on com.dmdirc.config.IdentityManager:getGlobal Config
unanalyzed	call on java.lang.Throwable:__curr_excep_obj

com.dmdirc.logger.ErrorManager__static_init

Kind	Annotation Text
post	BANNED_EXCEPTIONS == &new Class[](ErrorManager_ _static_init#2)
post	BANNED_EXCEPTIONS.length == 5
post	init'ed(me.logReports)
post	init'ed(me.sendReports)
post	me == &new ErrorManager(ErrorManager__static_ init#1)
post	me.errorListeners == &new ListenerList(ErrorMan ager#2)
post	me.errors == &new LinkedList(ErrorManager#3)
post	me.nextErrorID == &new AtomicLong(ErrorManager# 4)
post	me.reportQueue == &new LinkedBlockingQueue(Erro rManager#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
unanalyzed	call on com.dmdirc.config.ConfigManager:addChangeLi stener
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionBo ol
unanalyzed	call on com.dmdirc.config.IdentityManager:getGlobal Config
unanalyzed	call on com.dmdirc.util.ListenerList
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.LinkedList
unanalyzed	call on java.util.concurrent.LinkedBlockingQueue
unanalyzed	call on java.util.concurrent.atomic.AtomicLong

void configChanged(String, String)

Kind	Annotation Text
post	init'ed(this.logReports)
post	init'ed(this.sendReports)
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionBo ol
unanalyzed	call on com.dmdirc.config.IdentityManager:getGlobal Config
unanalyzed	call on java.lang.Throwable:__curr_excep_obj

void deleteAll()

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

void deleteError(ProgramError)

Kind	Annotation Text
pre	this.errorListeners != null
pre	this.errors != null
unanalyzed	call on com.dmdirc.util.ListenerList:get
unanalyzed	call on errorDeleted
unanalyzed	call on java.util.List:iterator

void fireErrorAdded(ProgramError)

Kind	Annotation Text
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}

void fireErrorDeleted(ProgramError)

Kind	Annotation Text
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}

void fireErrorStatusChanged(ProgramError)

Kind	Annotation Text
pre	(soft) error.reportStatus != null
pre	(soft) init'ed(com.dmdirc.ui.FatalErrorDialog$4__ static_init.new int[](FatalErrorDialog$4__static_in it#1)[...])
pre	this.errorListeners != 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 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
unanalyzed	call on javax.swing.JButton:setEnabled
unanalyzed	call on javax.swing.JButton:setText
test_vector	java.util.Iterator:hasNext(...)@444: {0}, {1}

void fireFatalError(ProgramError)

Kind	Annotation Text
pre	(soft) error.trace != null
pre	(soft) error.trace.length <= 2³²-1
pre	error != null
pre	error.reportStatus != null
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 java.util.concurrent.Semaphore
unanalyzed	call on java.util.concurrent.Semaphore:acquireUnint erruptibly
unanalyzed	call on javax.swing.SwingUtilities:invokeLater
test_vector	java.awt.GraphicsEnvironment:isHeadless(...)@405: {0}, {1}

ProgramError getError(ErrorLevel, String, String[], bool)

Kind	Annotation Text
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	init'ed(return_value.trace)
post	new ProgramError(getError#1) num objects == 1
post	return_value == &new ProgramError(getError#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 != null
post	return_value.level == level
post	return_value.message != null
post	return_value.message == message
post	return_value.reportStatus == &com.dmdirc. logger.ErrorReportStatus__static_init.new ErrorReportStatus(ErrorReportStatus__static_init#6 )
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

int getErrorCount()

Kind	Annotation Text
pre	this.errors != null
post	init'ed(return_value)

ErrorManager getErrorManager()

Kind	Annotation Text
post	return_value == &new ErrorManager(ErrorManager_ _static_init#1)

List getErrors()

Kind	Annotation Text
post	new LinkedList(getErrors#1) num objects == 1
post	return_value == &new LinkedList(getErrors#1)

String[] getTrace(Throwable)

Kind	Annotation Text
presumption	java.lang.Throwable:getStackTrace(...)@259 != null
presumption	traceElements.length@259 <= 2³²-1
presumption	traceElements[i]@259 != null
post	init'ed(java.lang.StringBuilder:toString(...)._ tainted)
post	init'ed(java.lang.Throwable:toString(...)._ tainted)
post	java.lang.StackTraceElement:toString(...)._tainted == 0
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	java.lang.Throwable:toString(...)._tainted == 0
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(java.lang.StackTraceElement:toStri ng(...)._tainted)
post	possibly_updated(java.lang.StringBuilder:toString(. ..)._tainted)
post	possibly_updated(java.lang.Throwable:toString(...). _tainted)
post	possibly_updated(new String[](getTrace#3)[...])
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)}
unanalyzed	call on getTrace
unanalyzed	call on java.lang.StackTraceElement:toString
unanalyzed	call on java.lang.Throwable:getCause
unanalyzed	call on java.lang.Throwable:getStackTrace
unanalyzed	call on java.lang.Throwable:toString
test_vector	java.lang.Throwable:getCause(...)@268: Addr_Set{null}, Inverse{null}
test_vector	throwable: Inverse{null}, Addr_Set{null}

bool isValidError(Throwable)

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

void removeErrorListener(ErrorListener)

Kind	Annotation Text
pre	this.errorListeners != null

void sendError(ProgramError)

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(this.reportThread)
pre	(soft) this.reportQueue != null
pre	error != null
pre	init'ed(error.reportStatus)
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	init'ed(this.reportThread)
post	new ErrorReportingThread(sendError#1) num objects <= 1
post	new ErrorReportingThread(sendError#1).queue != null
post	new ErrorReportingThread(sendError#1).queue == this.reportQueue
post	this.reportThread == One-of{old this.reportThread, &new ErrorReportingThread(sendError#1)}
unanalyzed	call on com.dmdirc.logger.ErrorReportStatus:equals
unanalyzed	call on com.dmdirc.logger.ErrorReportStatus:ordinal
unanalyzed	call on com.dmdirc.logger.ErrorReportingThread:setD aemon
unanalyzed	call on com.dmdirc.util.ListenerList:get
unanalyzed	call on equals
unanalyzed	call on errorStatusChanged
unanalyzed	call on fireErrorStatusChanged
unanalyzed	call on getErrorManager
unanalyzed	call on getReportStatus
unanalyzed	call on java.lang.Object:getClass
unanalyzed	call on java.lang.Object:notifyAll
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.lang.Thread
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.Arrays:equals
unanalyzed	call on java.util.List:iterator
unanalyzed	call on javax.swing.JButton:setEnabled
unanalyzed	call on javax.swing.JButton:setText
test_vector	java.lang.Thread:isAlive(...)@298: {1}, {0}
test_vector	this.reportThread: Addr_Set{null}, Inverse{null}

void updateSettings()

Kind	Annotation Text
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@457 != null
post	init'ed(this.logReports)
post	init'ed(this.sendReports)