FatalErrorDialog.java

FatalErrorDialog.java

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

Filter Options

Annotation Kind:

pre

presumption

post

unanalyzed

test_vector

ProgramError access$000(FatalErrorDialog)

Kind	Annotation Text
pre	x0 != null
post	init'ed(return_value)
post	return_value == x0.error

void actionPerformed(ActionEvent)

Kind	Annotation Text
pre	(soft) this.okButton != null
pre	(soft) this.sendButton != null
pre	actionEvent != null
unanalyzed	call on javax.swing.SwingWorker

void com.dmdirc.ui.FatalErrorDialog$1(FatalErrorDialog)

Kind	Annotation Text

com.dmdirc.ui.FatalErrorDialog$1__static_init

Kind	Annotation Text

void com.dmdirc.ui.FatalErrorDialog$2(ProgramError)

Kind	Annotation Text
post	init'ed(this.val$error)
post	this.val$error == Param_1

com.dmdirc.ui.FatalErrorDialog$2__static_init

Kind	Annotation Text

void com.dmdirc.ui.FatalErrorDialog$3$1(FatalErrorDialog$3)

Kind	Annotation Text

com.dmdirc.ui.FatalErrorDialog$3$1__static_init

Kind	Annotation Text

void com.dmdirc.ui.FatalErrorDialog$3(ProgramError, Semaphore)

Kind	Annotation Text
post	init'ed(this.val$error)
post	init'ed(this.val$semaphore)
post	this.val$error == Param_1
post	this.val$semaphore == Param_2

com.dmdirc.ui.FatalErrorDialog$3__static_init

Kind	Annotation Text

com.dmdirc.ui.FatalErrorDialog$4__static_init

Kind	Annotation Text
pre	(soft) init'ed(com.dmdirc.logger.ErrorReportStatus_ _static_init.new ErrorReportStatus[](ErrorReportSta tus__static_init#7)[...])
presumption	com.dmdirc.logger.ErrorReportStatus:ordinal(... )@274 in {0..5}
post	new int[](FatalErrorDialog$4__static_init#1) num objects == 1

void com.dmdirc.ui.FatalErrorDialog(ProgramError)

Kind	Annotation Text
presumption	getErrorManager(...)@100 init'ed
presumption	init'ed(java.awt.Dialog$ModalityType.TOOLKIT_ MODAL)
post	init'ed(this.error)
post	init'ed(this.icon)
post	init'ed(this.infoLabel)
post	init'ed(this.messageLabel)
post	init'ed(this.okButton)
post	init'ed(this.scrollPane)
post	init'ed(this.sendButton)
post	this.error == error
unanalyzed	call on com.dmdirc.ui.FatalErrorDialog:getContentPa ne
unanalyzed	call on com.dmdirc.ui.FatalErrorDialog:setSize
unanalyzed	call on com.dmdirc.util.ListenerList:add
unanalyzed	call on java.awt.BorderLayout
unanalyzed	call on java.awt.Container:add
unanalyzed	call on java.awt.Dimension
unanalyzed	call on java.awt.GraphicsConfiguration:getBounds
unanalyzed	call on java.awt.GraphicsDevice:getDefaultConfigura tion
unanalyzed	call on java.awt.MouseInfo:getPointerInfo
unanalyzed	call on java.awt.PointerInfo:getDevice
unanalyzed	call on java.awt.Window:getHeight
unanalyzed	call on java.awt.Window:getWidth
unanalyzed	call on java.awt.Window:setLocation
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on javax.swing.BorderFactory:createEmptyBorder
unanalyzed	call on javax.swing.Box:createHorizontalGlue
unanalyzed	call on javax.swing.Box:createHorizontalStrut
unanalyzed	call on javax.swing.BoxLayout
unanalyzed	call on javax.swing.JLabel
unanalyzed	call on javax.swing.JPanel
unanalyzed	call on javax.swing.JPanel:add
unanalyzed	call on javax.swing.JPanel:setBorder
unanalyzed	call on javax.swing.JPanel:setLayout

void com.dmdirc.ui.FatalErrorDialog(ProgramError, FatalErrorDialog$1)

Kind	Annotation Text
post	init'ed(this.error)
post	init'ed(this.icon)
post	init'ed(this.infoLabel)
post	init'ed(this.messageLabel)
post	init'ed(this.okButton)
post	init'ed(this.scrollPane)
post	init'ed(this.sendButton)
post	this.error == x0
unanalyzed	call on addErrorListener
unanalyzed	call on com.dmdirc.ui.FatalErrorDialog:getContentPa ne
unanalyzed	call on com.dmdirc.ui.FatalErrorDialog:setModal
unanalyzed	call on com.dmdirc.ui.FatalErrorDialog:setResizable
unanalyzed	call on com.dmdirc.ui.FatalErrorDialog:setSize
unanalyzed	call on com.dmdirc.util.ListenerList:add
unanalyzed	call on getErrorManager
unanalyzed	call on initComponents
unanalyzed	call on java.awt.BorderLayout
unanalyzed	call on java.awt.Container:add
unanalyzed	call on java.awt.Dimension
unanalyzed	call on java.awt.GraphicsConfiguration:getBounds
unanalyzed	call on java.awt.GraphicsDevice:getDefaultConfigura tion
unanalyzed	call on java.awt.MouseInfo:getPointerInfo
unanalyzed	call on java.awt.PointerInfo:getDevice
unanalyzed	call on java.awt.Window:getHeight
unanalyzed	call on java.awt.Window:getWidth
unanalyzed	call on java.awt.Window:setLocation
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on javax.swing.BorderFactory:createEmptyBorder
unanalyzed	call on javax.swing.Box:createHorizontalGlue
unanalyzed	call on javax.swing.Box:createHorizontalStrut
unanalyzed	call on javax.swing.BoxLayout
unanalyzed	call on javax.swing.JDialog
unanalyzed	call on javax.swing.JLabel
unanalyzed	call on javax.swing.JPanel
unanalyzed	call on javax.swing.JPanel:add
unanalyzed	call on javax.swing.JPanel:setBorder
unanalyzed	call on javax.swing.JPanel:setLayout

com.dmdirc.ui.FatalErrorDialog__static_init

Kind	Annotation Text

void display(ProgramError)

Kind	Annotation Text

void displayBlocking(ProgramError)

Kind	Annotation Text

Object doInBackground()

Kind	Annotation Text
pre	(soft) init'ed(com.dmdirc.logger.ErrorManager__ static_init.new ErrorManager(ErrorManager__static_i nit#1).reportThread)
pre	(soft) init'ed(com.dmdirc.ui.FatalErrorDialog$4__ static_init.new int[](FatalErrorDialog$4__static_in it#1)[...])
pre	init'ed(this.error.reportStatus)
pre	this.error != null
post	com.dmdirc.logger.ErrorManager__static_init.new ErrorManager(ErrorManager__static_init#1). reportThread == One-of{old com.dmdirc.logger. ErrorManager__static_init.new ErrorManager(ErrorMan ager__static_init#1).reportThread, &new ErrorReportingThr...
post	init'ed(com.dmdirc.logger.ErrorManager__static_ init.new ErrorManager(ErrorManager__static_init#1). reportThread)
post	init'ed(this.error.reportStatus)
post	new ErrorReportingThread(sendError#1) num objects <= 1
post	new ErrorReportingThread(sendError#1).queue == &com.dmdirc.logger.ErrorManager.new LinkedBlockingQueue(ErrorManager#1)
post	return_value == null
post	this.error.reportStatus == One-of{old this.error.reportStatus, &com.dmdirc.logger. ErrorReportStatus__static_init.new ErrorReportStatu s(ErrorReportStatus__static_init#5)}
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.Thread:isAlive
unanalyzed	call on java.lang.Thread:start
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 java.util.concurrent.BlockingQueue:add
unanalyzed	call on javax.swing.JButton:setEnabled
unanalyzed	call on javax.swing.JButton:setText

void done()

Kind	Annotation Text

void errorAdded(ProgramError)

Kind	Annotation Text

void errorDeleted(ProgramError)

Kind	Annotation Text

void errorStatusChanged(ProgramError)

Kind	Annotation Text
pre	(soft) error init'ed
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	(soft) this.error.message != null
pre	(soft) this.okButton != null
pre	(soft) this.sendButton != null
pre	this.error != null
unanalyzed	call on com.dmdirc.logger.ErrorReportStatus:ordinal
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

void initComponents()

Kind	Annotation Text

bool isReady()

Kind	Annotation Text
post	return_value == 0

void layoutComponents()

Kind	Annotation Text
pre	init'ed(this.icon)
pre	init'ed(this.infoLabel)
pre	init'ed(this.messageLabel)
pre	init'ed(this.okButton)
pre	init'ed(this.scrollPane)
pre	init'ed(this.sendButton)
presumption	com.dmdirc.ui.FatalErrorDialog:getContentPane(... )@193 != null

void run()

Kind	Annotation Text
unanalyzed	call on addErrorListener
unanalyzed	call on com.dmdirc.ui.FatalErrorDialog:getContentPa ne
unanalyzed	call on com.dmdirc.ui.FatalErrorDialog:setModal
unanalyzed	call on com.dmdirc.ui.FatalErrorDialog:setResizable
unanalyzed	call on com.dmdirc.ui.FatalErrorDialog:setSize
unanalyzed	call on com.dmdirc.util.ListenerList:add
unanalyzed	call on getErrorManager
unanalyzed	call on initComponents
unanalyzed	call on java.awt.BorderLayout
unanalyzed	call on java.awt.Container:add
unanalyzed	call on java.awt.Dimension
unanalyzed	call on java.awt.GraphicsConfiguration:getBounds
unanalyzed	call on java.awt.GraphicsDevice:getDefaultConfigura tion
unanalyzed	call on java.awt.MouseInfo:getPointerInfo
unanalyzed	call on java.awt.PointerInfo:getDevice
unanalyzed	call on java.awt.Window:getHeight
unanalyzed	call on java.awt.Window:getWidth
unanalyzed	call on java.awt.Window:setLocation
unanalyzed	call on java.awt.event.WindowAdapter
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on javax.swing.BorderFactory:createEmptyBorder
unanalyzed	call on javax.swing.Box:createHorizontalGlue
unanalyzed	call on javax.swing.Box:createHorizontalStrut
unanalyzed	call on javax.swing.BoxLayout
unanalyzed	call on javax.swing.JDialog
unanalyzed	call on javax.swing.JLabel
unanalyzed	call on javax.swing.JPanel
unanalyzed	call on javax.swing.JPanel:add
unanalyzed	call on javax.swing.JPanel:setBorder
unanalyzed	call on javax.swing.JPanel:setLayout

void run()

Kind	Annotation Text
unanalyzed	call on addErrorListener
unanalyzed	call on com.dmdirc.ui.FatalErrorDialog:getContentPa ne
unanalyzed	call on com.dmdirc.ui.FatalErrorDialog:setModal
unanalyzed	call on com.dmdirc.ui.FatalErrorDialog:setResizable
unanalyzed	call on com.dmdirc.ui.FatalErrorDialog:setSize
unanalyzed	call on com.dmdirc.util.ListenerList:add
unanalyzed	call on getErrorManager
unanalyzed	call on initComponents
unanalyzed	call on java.awt.BorderLayout
unanalyzed	call on java.awt.Container:add
unanalyzed	call on java.awt.Dimension
unanalyzed	call on java.awt.GraphicsConfiguration:getBounds
unanalyzed	call on java.awt.GraphicsDevice:getDefaultConfigura tion
unanalyzed	call on java.awt.MouseInfo:getPointerInfo
unanalyzed	call on java.awt.PointerInfo:getDevice
unanalyzed	call on java.awt.Window:getHeight
unanalyzed	call on java.awt.Window:getWidth
unanalyzed	call on java.awt.Window:setLocation
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on javax.swing.BorderFactory:createEmptyBorder
unanalyzed	call on javax.swing.Box:createHorizontalGlue
unanalyzed	call on javax.swing.Box:createHorizontalStrut
unanalyzed	call on javax.swing.BoxLayout
unanalyzed	call on javax.swing.JDialog
unanalyzed	call on javax.swing.JLabel
unanalyzed	call on javax.swing.JPanel
unanalyzed	call on javax.swing.JPanel:add
unanalyzed	call on javax.swing.JPanel:setBorder
unanalyzed	call on javax.swing.JPanel:setLayout

void updateSendButtonText(ErrorReportStatus)

Kind	Annotation Text
pre	(soft) init'ed(com.dmdirc.ui.FatalErrorDialog$4__ static_init.new int[](FatalErrorDialog$4__static_in it#1)[...])
pre	status != null
pre	this.sendButton != null
presumption	com.dmdirc.logger.ErrorReportStatus:ordinal(... )@274 in {0..5}
test_vector	com.dmdirc.ui.FatalErrorDialog$4__static_init.new int[](FatalErrorDialog$4__static_init#1)[...]: {1}, {2}, {3}, {4}, {5}, {6}, {-2³¹..0, 7..2³²-1}

void windowClosed(WindowEvent)

Kind	Annotation Text
pre	this.val$semaphore != null