Messages

method

com.dmdirc.addons.ui_swing.dialogs.error. ErrorDetailPanel$1$1__static_init

method

com.dmdirc.addons.ui_swing.dialogs.error. ErrorDetailPanel$1__static_init

method

com.dmdirc.addons.ui_swing.dialogs.error. ErrorDetailPanel__static_init

method	JTextArea access$000(ErrorDetailPanel)
pre	x0 != null
pre	init'ed(x0.details)
post	return_value == x0.details
post	init'ed(return_value)

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

method	JTextField access$200(ErrorDetailPanel)
pre	x0 != null
pre	init'ed(x0.id)
post	return_value == x0.id
post	init'ed(return_value)

method	JTextField access$300(ErrorDetailPanel)
pre	x0 != null
pre	init'ed(x0.date)
post	return_value == x0.date
post	init'ed(return_value)

method	JTextField access$400(ErrorDetailPanel)
pre	x0 != null
pre	init'ed(x0.level)
post	return_value == x0.level
post	init'ed(return_value)

method	JTextField access$500(ErrorDetailPanel)
pre	x0 != null
pre	init'ed(x0.reportStatus)
post	return_value == x0.reportStatus
post	init'ed(return_value)

method	JTextField access$600(ErrorDetailPanel)
pre	x0 != null
pre	init'ed(x0.errorStatus)
post	return_value == x0.errorStatus
post	init'ed(return_value)

method	JScrollPane access$700(ErrorDetailPanel)
pre	x0 != null
pre	init'ed(x0.scrollPane)
post	return_value == x0.scrollPane
post	init'ed(return_value)

method	void com.dmdirc.addons.ui_swing.dialogs.error. ErrorDetailPanel()
post	this.date == &new JTextField(initComponents#2)
post	this.details == &new JTextArea(initComponents#6 )
post	this.error == null
post	this.errorStatus == &new JTextField(initCompone nts#5)
post	this.id == &new JTextField(initComponents#1)
post	this.level == &new JTextField(initComponents#3)
post	this.reportStatus == &new JTextField(initCompon ents#4)
post	this.scrollPane == &new JScrollPane(initCompone nts#7)
post	new JScrollPane(initComponents#7) num objects == 1
post	new JTextArea(initComponents#6) num objects == 1
post	new JTextField(initComponents#1) num objects == 1
post	new JTextField(initComponents#2) num objects == 1
post	new JTextField(initComponents#3) num objects == 1
post	new JTextField(initComponents#4) num objects == 1
post	new JTextField(initComponents#5) num objects == 1
unanalyzed	call on javax.swing.JTextField
unanalyzed	call on javax.swing.JTextArea
unanalyzed	call on javax.swing.JScrollPane
unanalyzed	call on javax.swing.JTextField:setEditable
unanalyzed	call on javax.swing.JTextArea:setEditable
unanalyzed	call on javax.swing.JTextArea:setRows
unanalyzed	call on javax.swing.JTextArea:setWrapStyleWord
unanalyzed	call on com.dmdirc.logger.ErrorManager:getErrorMana ger
unanalyzed	call on com.dmdirc.logger.ErrorManager:addErrorList ener
unanalyzed	call on javax.swing.SwingUtilities:invokeLater
unanalyzed	call on net.miginfocom.swing.MigLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.error. ErrorDetailPanel:setLayout
unanalyzed	call on javax.swing.JLabel
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.error. ErrorDetailPanel:add
unanalyzed	call on javax.swing.JPanel

method	void com.dmdirc.addons.ui_swing.dialogs.error. ErrorDetailPanel(ProgramError)
post	this.date == &new JTextField(initComponents#2)
post	this.details == &new JTextArea(initComponents#6 )
post	this.error == error
post	init'ed(this.error)
post	this.errorStatus == &new JTextField(initCompone nts#5)
post	this.id == &new JTextField(initComponents#1)
post	this.level == &new JTextField(initComponents#3)
post	this.reportStatus == &new JTextField(initCompon ents#4)
post	this.scrollPane == &new JScrollPane(initCompone nts#7)
post	new JScrollPane(initComponents#7) num objects == 1
post	new JTextArea(initComponents#6) num objects == 1
post	new JTextField(initComponents#1) num objects == 1
post	new JTextField(initComponents#2) num objects == 1
post	new JTextField(initComponents#3) num objects == 1
post	new JTextField(initComponents#4) num objects == 1
post	new JTextField(initComponents#5) num objects == 1
unanalyzed	call on javax.swing.JTextField
unanalyzed	call on javax.swing.JTextArea
unanalyzed	call on javax.swing.JScrollPane
unanalyzed	call on javax.swing.JTextField:setEditable
unanalyzed	call on javax.swing.JTextArea:setEditable
unanalyzed	call on javax.swing.JTextArea:setRows
unanalyzed	call on javax.swing.JTextArea:setWrapStyleWord
unanalyzed	call on com.dmdirc.logger.ErrorManager:getErrorMana ger
unanalyzed	call on com.dmdirc.logger.ErrorManager:addErrorList ener
unanalyzed	call on javax.swing.SwingUtilities:invokeLater
unanalyzed	call on net.miginfocom.swing.MigLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.error. ErrorDetailPanel:setLayout
unanalyzed	call on javax.swing.JLabel
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.error. ErrorDetailPanel:add

method	void setError(ProgramError)
post	this.error == newError
post	init'ed(this.error)
unanalyzed	call on javax.swing.SwingUtilities:invokeLater

method	void initComponents()
presumption	com.dmdirc.logger.ErrorManager:getErrorManager(... )@126 != null
post	this.date == &new JTextField(initComponents#2)
post	this.details == &new JTextArea(initComponents#6 )
post	this.errorStatus == &new JTextField(initCompone nts#5)
post	this.id == &new JTextField(initComponents#1)
post	this.level == &new JTextField(initComponents#3)
post	this.reportStatus == &new JTextField(initCompon ents#4)
post	this.scrollPane == &new JScrollPane(initCompone nts#7)
post	new JScrollPane(initComponents#7) num objects == 1
post	new JTextArea(initComponents#6) num objects == 1
post	new JTextField(initComponents#1) num objects == 1
post	new JTextField(initComponents#2) num objects == 1
post	new JTextField(initComponents#3) num objects == 1
post	new JTextField(initComponents#4) num objects == 1
post	new JTextField(initComponents#5) num objects == 1

method not available - call not analyzed Info call on ErrorManager com.dmdirc.logger. ErrorManager:getErrorManager()

method not available - call not analyzed Info call on void com.dmdirc.logger.ErrorManager:addErro rListener(ErrorListener)

method

void com.dmdirc.addons.ui_swing.dialogs.error. ErrorDetailPanel$1(ErrorDetailPanel)

method

void updateDetails()

method

void run()

method

void com.dmdirc.addons.ui_swing.dialogs.error. ErrorDetailPanel$1$1(ErrorDetailPanel$1)

method	void run()
pre	this.scrollPane != null
presumption	javax.swing.JScrollPane:getVerticalScrollBar(... )@168 != null

method	void layoutComponents()
pre	init'ed(this.date)
pre	init'ed(this.errorStatus)
pre	init'ed(this.id)
pre	init'ed(this.level)
pre	init'ed(this.reportStatus)
pre	init'ed(this.scrollPane)

method not available - call not analyzed Info call on void net.miginfocom.swing.MigLayout(String, String, String)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. error.ErrorDetailPanel:setLayout(LayoutManager)

method not available - call not analyzed Info call on Component com.dmdirc.addons.ui_swing. dialogs.error.ErrorDetailPanel:add(Component)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. error.ErrorDetailPanel:add(Component, Object)

method

void errorAdded(ProgramError)

method

void errorDeleted(ProgramError)

method	void errorStatusChanged(ProgramError)
pre	init'ed(this.error)
pre	(soft) error != null
pre	(soft) this.errorStatus != null
pre	(soft) this.reportStatus != null
presumption	com.dmdirc.logger.ProgramError:getFixedStatus(... )@214 != null
presumption	com.dmdirc.logger.ProgramError:getReportStatus(... )@213 != null
test_vector	this.error: Addr_Set{null}, Inverse{null}
test_vector	com.dmdirc.logger.ProgramError:equals(...)@212: {0}, {1}

method not available - call not analyzed Info call on bool com.dmdirc.logger.ProgramError:equals( Object)

method not available - call not analyzed Info call on ErrorReportStatus com.dmdirc.logger. ProgramError:getReportStatus()

method not available - call not analyzed Info call on String com.dmdirc.logger.ErrorReportStatus: toString()

method not available - call not analyzed Info call on ErrorFixedStatus com.dmdirc.logger. ProgramError:getFixedStatus()

method not available - call not analyzed Info call on String com.dmdirc.logger.ErrorFixedStatus:t oString()

method	bool isReady()
post	init'ed(return_value)

method not available - call not analyzed Info call on bool com.dmdirc.addons.ui_swing.dialogs. error.ErrorDetailPanel:isVisible()

	method not available - call not analyzed	Info	call on ErrorManager com.dmdirc.logger. ErrorManager:getErrorManager()
	method not available - call not analyzed	Info	call on void com.dmdirc.logger.ErrorManager:addErro rListener(ErrorListener)

	method not available - call not analyzed	Info	call on void net.miginfocom.swing.MigLayout(String, String, String)
	method not available - call not analyzed	Info	call on void com.dmdirc.addons.ui_swing.dialogs. error.ErrorDetailPanel:setLayout(LayoutManager)

	method not available - call not analyzed	Info	call on ErrorReportStatus com.dmdirc.logger. ProgramError:getReportStatus()
	method not available - call not analyzed	Info	call on String com.dmdirc.logger.ErrorReportStatus: toString()

	method not available - call not analyzed	Info	call on ErrorFixedStatus com.dmdirc.logger. ProgramError:getFixedStatus()
	method not available - call not analyzed	Info	call on String com.dmdirc.logger.ErrorFixedStatus:t oString()