ErrorListDialog.java

ErrorListDialog.java

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

Filter Options

Annotation Kind:

pre

presumption

post

unanalyzed

test_vector

void actionPerformed(ActionEvent)

Kind	Annotation Text
pre	(soft) init'ed(this.deleteAllButton)
pre	(soft) init'ed(this.deleteButton)
pre	(soft) init'ed(this.sendButton)
pre	(soft) this.table != null
pre	(soft) this.tableModel != null
pre	(soft) this.tableModel.errors != null
pre	e != null
presumption	com.dmdirc.addons.ui_swing.dialogs.error. ErrorTable:getRowSorter(...)@210 != null
presumption	com.dmdirc.addons.ui_swing.dialogs.error. ErrorTable:getRowSorter(...)@216 != null
presumption	com.dmdirc.logger.ErrorManager:getErrorManager(... )@210 != null
presumption	com.dmdirc.logger.ErrorManager:getErrorManager(... )@216 != null
presumption	com.dmdirc.logger.ErrorManager:getErrorManager(... )@221 != null
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.List:get

void com.dmdirc.addons.ui_swing.dialogs.error.ErrorListDialog(MainFrame)

Kind	Annotation Text
presumption	com.dmdirc.logger.ErrorManager:getErrors(...)@54 != null
presumption	init'ed(java.awt.Dialog$ModalityType.MODELESS)
post	init'ed(new ErrorDetailPanel(initComponents#4). error)
post	init'ed(this.rowBeingDeleted)
post	new AtomicInteger(ErrorListDialog#1) num objects == 1
post	new ErrorDetailPanel(initComponents#4) num objects == 1
post	new ErrorDetailPanel(initComponents#4).date == &new JTextField(initComponents#2)
post	new ErrorDetailPanel(initComponents#4).details == &new JTextArea(initComponents#6)
post	new ErrorDetailPanel(initComponents#4).errorStatus == &new JTextField(initComponents#5)
post	new ErrorDetailPanel(initComponents#4).id == &new JTextField(initComponents#1)
post	new ErrorDetailPanel(initComponents#4).level == &new JTextField(initComponents#3)
post	new ErrorDetailPanel(initComponents#4). reportStatus == &new JTextField(initComponents# 4)
post	new ErrorDetailPanel(initComponents#4).scrollPane == &new JScrollPane(initComponents#7)
post	new ErrorTable(initComponents#2) num objects == 1
post	new ErrorTableModel(ErrorListDialog#2) num objects == 1
post	new JButton(initButtons#3) num objects == 1
post	new JButton(initButtons#4) num objects == 1
post	new JButton(initButtons#5) num objects == 1
post	new JScrollPane(initComponents#1) num objects == 1
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.deleteAllButton == &new JButton(initButton s#5)
post	this.deleteButton == &new JButton(initButtons#4 )
post	this.errorDetails == &new ErrorDetailPanel(init Components#4)
post	this.scrollPane == &new JScrollPane(initCompone nts#1)
post	this.selectedRow == &new AtomicInteger(ErrorLis tDialog#1)
post	this.sendButton == &new JButton(initButtons#3)
post	this.table == &new ErrorTable(initComponents#2)
post	this.tableModel == &new ErrorTableModel(ErrorLi stDialog#2)
post	this.tableModel.errors != null
unanalyzed	call on com.dmdirc.addons.ui_swing.components. PackingTable
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.addons.ui_swing.dialogs.error. ErrorListDialog:getCancelButton
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.error. ErrorListDialog:getContentPane
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.error. ErrorListDialog:getOkButton
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.error. ErrorListDialog:orderButtons
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.error. ErrorTable:getRowSorter
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.error. ErrorTable:getSelectionModel
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.error. ErrorTable:getTableHeader
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.error. ErrorTable:setAutoCreateColumnsFromModel
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.error. ErrorTable:setAutoCreateRowSorter
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.error. ErrorTable:setCellSelectionEnabled
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.error. ErrorTable:setColumnSelectionAllowed
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.error. ErrorTable:setDragEnabled
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.error. ErrorTable:setFillsViewportHeight
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.error. ErrorTable:setPreferredScrollableViewportSize
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.error. ErrorTable:setRowSelectionAllowed
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.error. ErrorTable:setSelectionMode
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.error. ErrorTableModel:addTableModelListener
unanalyzed	call on com.dmdirc.logger.ErrorManager:addErrorList ener
unanalyzed	call on com.dmdirc.logger.ErrorManager:getErrorMana ger
unanalyzed	call on com.dmdirc.logger.ErrorManager:getErrors
unanalyzed	call on java.awt.Container:add
unanalyzed	call on java.awt.Dimension
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.List:size
unanalyzed	call on javax.swing.JButton
unanalyzed	call on javax.swing.JButton:addActionListener
unanalyzed	call on javax.swing.JButton:setEnabled
unanalyzed	call on javax.swing.JButton:setText
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:setLayout
unanalyzed	call on javax.swing.JScrollPane
unanalyzed	call on javax.swing.JScrollPane:setViewportView
unanalyzed	call on javax.swing.JSplitPane
unanalyzed	call on javax.swing.JSplitPane:setBottomComponent
unanalyzed	call on javax.swing.JSplitPane:setDividerSize
unanalyzed	call on javax.swing.JSplitPane:setTopComponent
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.ListSelectionModel:addListSelec tionListener
unanalyzed	call on javax.swing.RowSorter:toggleSortOrder
unanalyzed	call on javax.swing.SwingUtilities:invokeLater
unanalyzed	call on javax.swing.table.AbstractTableModel
unanalyzed	call on javax.swing.table.JTableHeader:setReorderin gAllowed
unanalyzed	call on net.miginfocom.layout.PlatformDefaults:getP anelInsets
unanalyzed	call on net.miginfocom.layout.UnitValue:getValue
unanalyzed	call on net.miginfocom.swing.MigLayout

com.dmdirc.addons.ui_swing.dialogs.error.ErrorListDialog__static_init

Kind	Annotation Text

void initButtons()

Kind	Annotation Text
pre	this.tableModel != null
pre	this.tableModel.errors != null
presumption	com.dmdirc.addons.ui_swing.dialogs.error. ErrorListDialog:getCancelButton(...)@119 != null
post	new JButton(initButtons#3) num objects == 1
post	new JButton(initButtons#4) num objects == 1
post	new JButton(initButtons#5) num objects == 1
post	this.deleteAllButton == &new JButton(initButton s#5)
post	this.deleteButton == &new JButton(initButtons#4 )
post	this.sendButton == &new JButton(initButtons#3)
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.List:size
test_vector	java.util.List:size(...)@86: {-2³¹..0}, {1..2³²-1}

void initComponents()

Kind	Annotation Text
pre	this.tableModel != null
pre	this.tableModel.errors != null
post	new ErrorDetailPanel(initComponents#4) num objects == 1
post	new ErrorTable(initComponents#2) num objects == 1
post	new JButton(initButtons#3) num objects == 1
post	new JButton(initButtons#4) num objects == 1
post	new JButton(initButtons#5) num objects == 1
post	new JScrollPane(initComponents#1) num objects == 1
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.deleteAllButton == &new JButton(initButton s#5)
post	this.deleteButton == &new JButton(initButtons#4 )
post	this.errorDetails == &new ErrorDetailPanel(init Components#4)
post	this.errorDetails.date == &new JTextField(initC omponents#2)
post	this.errorDetails.details == &new JTextArea(initComponents#6)
post	this.errorDetails.error == null
post	this.errorDetails.errorStatus == &new JTextField(initComponents#5)
post	this.errorDetails.id == &new JTextField(initCom ponents#1)
post	this.errorDetails.level == &new JTextField(initComponents#3)
post	this.errorDetails.reportStatus == &new JTextField(initComponents#4)
post	this.errorDetails.scrollPane == &new JScrollPane(initComponents#7)
post	this.scrollPane == &new JScrollPane(initCompone nts#1)
post	this.sendButton == &new JButton(initButtons#3)
post	this.table == &new ErrorTable(initComponents#2)
unanalyzed	call on com.dmdirc.addons.ui_swing.components. PackingTable
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.addons.ui_swing.dialogs.error. ErrorListDialog:getCancelButton
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.error. ErrorListDialog:orderButtons
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.error. ErrorTable:getRowSorter
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.error. ErrorTable:getTableHeader
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.error. ErrorTable:setAutoCreateColumnsFromModel
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.error. ErrorTable:setAutoCreateRowSorter
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.error. ErrorTable:setCellSelectionEnabled
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.error. ErrorTable:setColumnSelectionAllowed
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.error. ErrorTable:setDragEnabled
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.error. ErrorTable:setFillsViewportHeight
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.error. ErrorTable:setRowSelectionAllowed
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.error. ErrorTable:setSelectionMode
unanalyzed	call on com.dmdirc.logger.ErrorManager:addErrorList ener
unanalyzed	call on com.dmdirc.logger.ErrorManager:getErrorMana ger
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.List:size
unanalyzed	call on javax.swing.JButton
unanalyzed	call on javax.swing.JButton:setEnabled
unanalyzed	call on javax.swing.JButton:setText
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.RowSorter:toggleSortOrder
unanalyzed	call on javax.swing.SwingUtilities:invokeLater
unanalyzed	call on javax.swing.table.JTableHeader:setReorderin gAllowed
unanalyzed	call on net.miginfocom.swing.MigLayout

void initListeners()

Kind	Annotation Text
pre	this.deleteAllButton != null
pre	this.deleteButton != null
pre	this.sendButton != null
pre	this.table != null
pre	this.tableModel != null
presumption	com.dmdirc.addons.ui_swing.dialogs.error. ErrorListDialog:getCancelButton(...)@141 != null
presumption	com.dmdirc.addons.ui_swing.dialogs.error. ErrorListDialog:getOkButton(...)@140 != null
presumption	com.dmdirc.addons.ui_swing.dialogs.error. ErrorTable:getSelectionModel(...)@136 != null

void layoutComponents()

Kind	Annotation Text
pre	init'ed(this.deleteAllButton)
pre	init'ed(this.deleteButton)
pre	init'ed(this.errorDetails)
pre	init'ed(this.scrollPane)
pre	init'ed(this.sendButton)
presumption	(int) (net.miginfocom.layout.UnitValue:getValue(... )@161) in {-2³¹..2³²-1}
presumption	com.dmdirc.addons.ui_swing.dialogs.error. ErrorListDialog:getContentPane(...)@164 != null
presumption	net.miginfocom.layout.PlatformDefaults:getPanelInse ts(...)@161 != null

void tableChanged(TableModelEvent)

Kind	Annotation Text
pre	(soft) this.selectedRow != null
pre	(soft) this.sendButton != null
pre	(soft) this.table != null
pre	e != null
pre	this.deleteAllButton != null
pre	this.tableModel != null
pre	this.tableModel.errors != null
presumption	com.dmdirc.addons.ui_swing.dialogs.error. ErrorTable:getSelectionModel(...)@238 != null
presumption	com.dmdirc.addons.ui_swing.dialogs.error. ErrorTable:getSelectionModel(...)@246 != null
presumption	init'ed(com.dmdirc.logger.ErrorReportStatus. FINISHED)
presumption	init'ed(com.dmdirc.logger.ErrorReportStatus.NOT_ APPLICABLE)
presumption	java.util.List:get(...)@194 != null
presumption	java.util.List:size(...)@86 >= -2³¹+1
post	possibly_updated(this.rowBeingDeleted)
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.List:get
unanalyzed	call on java.util.List:size
test_vector	java.util.List:size(...)@86: {-2³¹..0}, {1..2³²-1}
test_vector	javax.swing.event.TableModelEvent:getType(... )@232: {-1}, {0}, {1}, {-2³¹..-2, 2..2³²-1}

void valueChanged(ListSelectionEvent)

Kind	Annotation Text
pre	(soft) init'ed(this.rowBeingDeleted)
pre	(soft) this.deleteButton != null
pre	(soft) this.errorDetails != null
pre	(soft) this.selectedRow != null
pre	(soft) this.sendButton != null
pre	(soft) this.table != null
pre	(soft) this.tableModel != null
pre	(soft) this.tableModel.errors != null
pre	e != null
presumption	com.dmdirc.addons.ui_swing.dialogs.error. ErrorTable:getRowSorter(...)@173 != null
presumption	com.dmdirc.addons.ui_swing.dialogs.error. ErrorTable:getSelectionModel(...)@190 != null
presumption	init'ed(com.dmdirc.logger.ErrorReportStatus. FINISHED)
presumption	init'ed(com.dmdirc.logger.ErrorReportStatus.NOT_ APPLICABLE)
presumption	java.util.List:get(...)@194 != null
post	init'ed(this.rowBeingDeleted)
post	possibly_updated(this.errorDetails.error)
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.List:get
unanalyzed	call on javax.swing.SwingUtilities:invokeLater
test_vector	com.dmdirc.addons.ui_swing.dialogs.error. ErrorTable:getSelectedRow(...)@171: {-2³¹..-1}, {0..2³²-1}
test_vector	javax.swing.event.ListSelectionEvent:getValueIsAdju sting(...)@170: {1}, {0}
test_vector	this.rowBeingDeleted: {0}, {1}