Messages

method

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

method

com.dmdirc.ui.FatalErrorDialog$3__static_init

method

com.dmdirc.ui.FatalErrorDialog$2__static_init

method

com.dmdirc.ui.FatalErrorDialog$1__static_init

method

com.dmdirc.ui.FatalErrorDialog__static_init

method	ProgramError access$000(FatalErrorDialog)
pre	x0 != null
post	return_value == x0.error
post	init'ed(return_value)

method	void com.dmdirc.ui.FatalErrorDialog(ProgramError, FatalErrorDialog$1)
post	this.error == x0
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)
unanalyzed	call on javax.swing.JPanel
unanalyzed	call on java.awt.BorderLayout
unanalyzed	call on javax.swing.JPanel:setLayout
unanalyzed	call on javax.swing.BoxLayout
unanalyzed	call on javax.swing.JLabel
unanalyzed	call on javax.swing.JPanel:add
unanalyzed	call on javax.swing.Box:createHorizontalGlue
unanalyzed	call on javax.swing.Box:createHorizontalStrut
unanalyzed	call on javax.swing.BorderFactory:createEmptyBorder
unanalyzed	call on javax.swing.JPanel:setBorder
unanalyzed	call on com.dmdirc.ui.FatalErrorDialog:getContentPa ne
unanalyzed	call on java.awt.Container:add
unanalyzed	call on java.awt.Dimension
unanalyzed	call on com.dmdirc.ui.FatalErrorDialog:setSize
unanalyzed	call on javax.swing.JDialog
unanalyzed	call on com.dmdirc.ui.FatalErrorDialog:setModal
unanalyzed	call on initComponents
unanalyzed	call on getErrorManager
unanalyzed	call on addErrorListener
unanalyzed	call on com.dmdirc.ui.FatalErrorDialog:setResizable
unanalyzed	call on java.awt.MouseInfo:getPointerInfo
unanalyzed	call on java.awt.PointerInfo:getDevice
unanalyzed	call on java.awt.GraphicsDevice:getDefaultConfigura tion
unanalyzed	call on java.awt.GraphicsConfiguration:getBounds
unanalyzed	call on java.awt.Window:getWidth
unanalyzed	call on java.awt.Window:getHeight
unanalyzed	call on java.awt.Window:setLocation
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on com.dmdirc.util.ListenerList:add

method	void com.dmdirc.ui.FatalErrorDialog(ProgramError)
presumption	getErrorManager(...)@100 init'ed
presumption	init'ed(java.awt.Dialog$ModalityType.TOOLKIT_ MODAL)
post	this.error == error
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)
unanalyzed	call on javax.swing.JPanel
unanalyzed	call on java.awt.BorderLayout
unanalyzed	call on javax.swing.JPanel:setLayout
unanalyzed	call on javax.swing.BoxLayout
unanalyzed	call on javax.swing.JLabel
unanalyzed	call on javax.swing.JPanel:add
unanalyzed	call on javax.swing.Box:createHorizontalGlue
unanalyzed	call on javax.swing.Box:createHorizontalStrut
unanalyzed	call on javax.swing.BorderFactory:createEmptyBorder
unanalyzed	call on javax.swing.JPanel:setBorder
unanalyzed	call on com.dmdirc.ui.FatalErrorDialog:getContentPa ne
unanalyzed	call on java.awt.Container:add
unanalyzed	call on java.awt.Dimension
unanalyzed	call on com.dmdirc.ui.FatalErrorDialog:setSize
unanalyzed	call on java.awt.MouseInfo:getPointerInfo
unanalyzed	call on java.awt.PointerInfo:getDevice
unanalyzed	call on java.awt.GraphicsDevice:getDefaultConfigura tion
unanalyzed	call on java.awt.GraphicsConfiguration:getBounds
unanalyzed	call on java.awt.Window:getWidth
unanalyzed	call on java.awt.Window:getHeight
unanalyzed	call on java.awt.Window:setLocation
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on com.dmdirc.util.ListenerList:add

method not available - call not analyzed Info call on void com.dmdirc.ui.FatalErrorDialog:setModa l(bool)

method not available - call not analyzed Info call on void initComponents()

method not available - call not analyzed Info call on void com.dmdirc.ui.FatalErrorDialog:setResi zable(bool)

method

void initComponents()

method	void layoutComponents()
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

method not available - call not analyzed Info call on Container com.dmdirc.ui.FatalErrorDialog:ge tContentPane()

method not available - call not analyzed Info call on void com.dmdirc.ui.FatalErrorDialog:setSize (Dimension)

method	void actionPerformed(ActionEvent)
pre	actionEvent != null
pre	(soft) this.okButton != null
pre	(soft) this.sendButton != null
unanalyzed	call on javax.swing.SwingWorker

method

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

method not available - call not analyzed Info call on void com.dmdirc.ui.FatalErrorDialog$1:execu te()

method	Object doInBackground()
pre	init'ed(this.error.reportStatus)
pre	this.error != 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.ErrorManager__ static_init.new ErrorManager(ErrorManager__static_i nit#1).reportThread)
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)}
post	init'ed(this.error.reportStatus)
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	new ErrorReportingThread(sendError#1) num objects <= 1
post	new ErrorReportingThread(sendError#1).queue == &com.dmdirc.logger.ErrorManager.new LinkedBlockingQueue(ErrorManager#1)
unanalyzed	call on getErrorManager
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
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 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

method

void done()

method not available - call not analyzed Info call on void com.dmdirc.ui.FatalErrorDialog:dispose ()

method	void com.dmdirc.ui.FatalErrorDialog$2(ProgramError )
post	this.val$error == Param_1
post	init'ed(this.val$error)

method

void display(ProgramError)

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

method not available - call not analyzed Info call on void com.dmdirc.ui.FatalErrorDialog:setVisi ble(bool)

method

void displayBlocking(ProgramError)

method	void com.dmdirc.ui.FatalErrorDialog$3(ProgramError , Semaphore)
post	this.val$error == Param_1
post	init'ed(this.val$error)
post	this.val$semaphore == Param_2
post	init'ed(this.val$semaphore)

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

method

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

method not available - call not analyzed Info call on void com.dmdirc.ui.FatalErrorDialog:addWind owListener(WindowListener)

method	void windowClosed(WindowEvent)
pre	this.val$semaphore != null

method not available - call not analyzed Info call on void com.dmdirc.ui.FatalErrorDialog:setVisi ble(bool)

method	com.dmdirc.ui.FatalErrorDialog$4__static_init
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

method	void updateSendButtonText(ErrorReportStatus)
pre	status != null
pre	this.sendButton != null
pre	(soft) init'ed(com.dmdirc.ui.FatalErrorDialog$4__ static_init.new int[](FatalErrorDialog$4__static_in it#1)[...])
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}

method not available - call not analyzed Info call on int com.dmdirc.logger.ErrorReportStatus:ord inal()

method not available - call not analyzed Info call on int com.dmdirc.logger.ErrorReportStatus:ord inal()

method

void errorAdded(ProgramError)

method

void errorDeleted(ProgramError)

method	void errorStatusChanged(ProgramError)
pre	this.error != null
pre	(soft) init'ed(com.dmdirc.ui.FatalErrorDialog$4__ static_init.new int[](FatalErrorDialog$4__static_in it#1)[...])
pre	(soft) error init'ed
pre	(soft) error.reportStatus != null
pre	(soft) this.error.message != null
pre	(soft) this.okButton != null
pre	(soft) this.sendButton != 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 java.lang.Object:getClass
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.util.Arrays:equals

method	bool isReady()
post	return_value == 0

	method not available - call not analyzed	Info	call on int com.dmdirc.logger.ErrorReportStatus:ord inal()
	method not available - call not analyzed	Info	call on int com.dmdirc.logger.ErrorReportStatus:ord inal()