ErrorDetailPanel.java

ErrorDetailPanel.java

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

Filter Options

Annotation Kind:

pre

presumption

post

unanalyzed

test_vector

JTextArea access$000(ErrorDetailPanel)

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

ProgramError access$100(ErrorDetailPanel)

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

JTextField access$200(ErrorDetailPanel)

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

JTextField access$300(ErrorDetailPanel)

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

JTextField access$400(ErrorDetailPanel)

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

JTextField access$500(ErrorDetailPanel)

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

JTextField access$600(ErrorDetailPanel)

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

JScrollPane access$700(ErrorDetailPanel)

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

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

Kind	Annotation Text

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

Kind	Annotation Text

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

Kind	Annotation Text

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

Kind	Annotation Text

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

Kind	Annotation Text
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
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)
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.error. ErrorDetailPanel:add
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.error. ErrorDetailPanel:setLayout
unanalyzed	call on com.dmdirc.logger.ErrorManager:addErrorList ener
unanalyzed	call on com.dmdirc.logger.ErrorManager:getErrorMana ger
unanalyzed	call on javax.swing.JLabel
unanalyzed	call on javax.swing.JPanel
unanalyzed	call on javax.swing.JScrollPane
unanalyzed	call on javax.swing.JTextArea
unanalyzed	call on javax.swing.JTextArea:setEditable
unanalyzed	call on javax.swing.JTextArea:setRows
unanalyzed	call on javax.swing.JTextArea:setWrapStyleWord
unanalyzed	call on javax.swing.JTextField
unanalyzed	call on javax.swing.JTextField:setEditable
unanalyzed	call on javax.swing.SwingUtilities:invokeLater
unanalyzed	call on net.miginfocom.swing.MigLayout

void com.dmdirc.addons.ui_swing.dialogs.error.ErrorDetailPanel(ProgramError)

Kind	Annotation Text
post	init'ed(this.error)
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
post	this.date == &new JTextField(initComponents#2)
post	this.details == &new JTextArea(initComponents#6 )
post	this.error == 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)
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.error. ErrorDetailPanel:add
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.error. ErrorDetailPanel:setLayout
unanalyzed	call on com.dmdirc.logger.ErrorManager:addErrorList ener
unanalyzed	call on com.dmdirc.logger.ErrorManager:getErrorMana ger
unanalyzed	call on javax.swing.JLabel
unanalyzed	call on javax.swing.JScrollPane
unanalyzed	call on javax.swing.JTextArea
unanalyzed	call on javax.swing.JTextArea:setEditable
unanalyzed	call on javax.swing.JTextArea:setRows
unanalyzed	call on javax.swing.JTextArea:setWrapStyleWord
unanalyzed	call on javax.swing.JTextField
unanalyzed	call on javax.swing.JTextField:setEditable
unanalyzed	call on javax.swing.SwingUtilities:invokeLater
unanalyzed	call on net.miginfocom.swing.MigLayout

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

Kind	Annotation Text

void errorAdded(ProgramError)

Kind	Annotation Text

void errorDeleted(ProgramError)

Kind	Annotation Text

void errorStatusChanged(ProgramError)

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

void initComponents()

Kind	Annotation Text
presumption	com.dmdirc.logger.ErrorManager:getErrorManager(... )@126 != null
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
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)

bool isReady()

Kind	Annotation Text
post	init'ed(return_value)

void layoutComponents()

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

void run()

Kind	Annotation Text

void run()

Kind	Annotation Text
pre	this.scrollPane != null
presumption	javax.swing.JScrollPane:getVerticalScrollBar(... )@168 != null

void setError(ProgramError)

Kind	Annotation Text
post	init'ed(this.error)
post	this.error == newError
unanalyzed	call on javax.swing.SwingUtilities:invokeLater

void updateDetails()

Kind	Annotation Text