method	com.dmdirc.logger.Logger__static_init
post	manager == &com.dmdirc.logger.ErrorManager__ static_init.new ErrorManager(ErrorManager__static_i nit#1)
unanalyzed	call on java.lang.Throwable:__curr_excep_obj

method

void com.dmdirc.logger.Logger()

method	void userError(ErrorLevel, String)
pre	init'ed(manager.logReports)
pre	manager.nextErrorID != null
pre	level != null
pre	message != null
pre	(soft) init'ed(manager.sendReports)
pre	(soft) init'ed(com.dmdirc.ui.FatalErrorDialog$4__ static_init.new int[](FatalErrorDialog$4__static_in it#1)[...])
pre	(soft) init'ed(manager.reportThread)
pre	(soft) init'ed(com/dmdirc/logger/ProgramError. errorDir)
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	manager.reportThread == old manager.reportThread
post	init'ed(manager.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 getErrorManager
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 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 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 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

method	void userError(ErrorLevel, String, String)
pre	init'ed(manager.logReports)
pre	manager.nextErrorID != null
pre	level != null
pre	message != null
pre	(soft) init'ed(manager.sendReports)
pre	(soft) init'ed(com.dmdirc.ui.FatalErrorDialog$4__ static_init.new int[](FatalErrorDialog$4__static_in it#1)[...])
pre	(soft) init'ed(manager.reportThread)
pre	(soft) init'ed(com/dmdirc/logger/ProgramError. errorDir)
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	manager.reportThread == old manager.reportThread
post	init'ed(manager.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 getErrorManager
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 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 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 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

method	void userError(ErrorLevel, String, Throwable)
pre	init'ed(manager.logReports)
pre	manager.nextErrorID != null
pre	level != null
pre	message != null
pre	(soft) com.dmdirc.logger.ErrorManager__static_init. new Class[](ErrorManager__static_init#2)[...] != null
pre	(soft) init'ed(manager.sendReports)
pre	(soft) init'ed(com.dmdirc.ui.FatalErrorDialog$4__ static_init.new int[](FatalErrorDialog$4__static_in it#1)[...])
pre	(soft) init'ed(manager.reportThread)
pre	(soft) init'ed(com/dmdirc/logger/ProgramError. errorDir)
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	manager.reportThread == old manager.reportThread
post	init'ed(manager.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 getErrorManager
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 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 addError
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.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.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.String:equals
unanalyzed	call on java.util.Arrays:equals

method	void appError(ErrorLevel, String, Throwable)
pre	init'ed(manager.logReports)
pre	manager.nextErrorID != null
pre	level != null
pre	message != null
pre	(soft) com.dmdirc.logger.ErrorManager__static_init. new Class[](ErrorManager__static_init#2)[...] != null
pre	(soft) init'ed(manager.sendReports)
pre	(soft) init'ed(com.dmdirc.ui.FatalErrorDialog$4__ static_init.new int[](FatalErrorDialog$4__static_in it#1)[...])
pre	(soft) init'ed(manager.reportThread)
pre	(soft) init'ed(com/dmdirc/logger/ProgramError. errorDir)
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	manager.reportThread == One-of{old manager. reportThread, &new ErrorReportingThread(sendErr or#1)}
post	init'ed(manager.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 getErrorManager
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 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 addError
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.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.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.String:equals
unanalyzed	call on java.util.Arrays:equals

method	void assertTrue(bool)
pre	value == 1