Messages

method

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

method	void com.dmdirc.addons.ui_swing.dialogs.error. ErrorListDialog(MainFrame)
presumption	com.dmdirc.logger.ErrorManager:getErrors(...)@54 != null
presumption	init'ed(java.awt.Dialog$ModalityType.MODELESS)
post	this.deleteAllButton == &new JButton(initButton s#5)
post	this.deleteButton == &new JButton(initButtons#4 )
post	this.errorDetails == &new ErrorDetailPanel(init Components#4)
post	init'ed(this.rowBeingDeleted)
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	new AtomicInteger(ErrorListDialog#1) num objects == 1
post	new ErrorDetailPanel(initComponents#4) num objects == 1
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	new ErrorDetailPanel(initComponents#4).date == &new JTextField(initComponents#2)
post	new ErrorDetailPanel(initComponents#4).details == &new JTextArea(initComponents#6)
post	init'ed(new ErrorDetailPanel(initComponents#4). error)
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	this.tableModel.errors != null
unanalyzed	call on javax.swing.JButton
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.error. ErrorListDialog:orderButtons
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.error. ErrorListDialog:getCancelButton
unanalyzed	call on javax.swing.JButton:setText
unanalyzed	call on javax.swing.JButton:setEnabled
unanalyzed	call on java.util.List:size
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on javax.swing.JScrollPane
unanalyzed	call on com.dmdirc.addons.ui_swing.components. PackingTable
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.error. ErrorTable:setAutoCreateRowSorter
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.error. ErrorTable:setAutoCreateColumnsFromModel
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.error. ErrorTable:setColumnSelectionAllowed
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.error. ErrorTable:setCellSelectionEnabled
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.addons.ui_swing.dialogs.error. ErrorTable:getRowSorter
unanalyzed	call on javax.swing.RowSorter:toggleSortOrder
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.error. ErrorTable:getTableHeader
unanalyzed	call on javax.swing.table.JTableHeader:setReorderin gAllowed
unanalyzed	call on java.awt.Dimension
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.error. ErrorTable:setPreferredScrollableViewportSize
unanalyzed	call on javax.swing.JScrollPane:setViewportView
unanalyzed	call on javax.swing.JTextField
unanalyzed	call on javax.swing.JTextArea
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
unanalyzed	call on javax.swing.JSplitPane
unanalyzed	call on javax.swing.JPanel:setLayout
unanalyzed	call on javax.swing.JPanel:add
unanalyzed	call on javax.swing.JSplitPane:setTopComponent
unanalyzed	call on javax.swing.JSplitPane:setBottomComponent
unanalyzed	call on net.miginfocom.layout.PlatformDefaults:getP anelInsets
unanalyzed	call on net.miginfocom.layout.UnitValue:getValue
unanalyzed	call on javax.swing.JSplitPane:setDividerSize
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.error. ErrorListDialog:getContentPane
unanalyzed	call on java.awt.Container:add
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.error. ErrorTableModel:addTableModelListener
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.error. ErrorTable:getSelectionModel
unanalyzed	call on javax.swing.ListSelectionModel:addListSelec tionListener
unanalyzed	call on javax.swing.JButton:addActionListener
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.error. ErrorListDialog:getOkButton
unanalyzed	call on javax.swing.table.AbstractTableModel
unanalyzed	call on com.dmdirc.logger.ErrorManager:getErrors

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. StandardDialog(Window, Dialog$ModalityType)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. error.ErrorListDialog:setTitle(String)

method not available - call not analyzed Info call on int com.dmdirc.addons.ui_swing.dialogs. error.ErrorTable:getSelectedRow()

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. error.ErrorListDialog:pack()

method	void initComponents()
pre	this.tableModel != null
pre	this.tableModel.errors != null
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.sendButton == &new JButton(initButtons#3)
post	this.table == &new ErrorTable(initComponents#2)
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.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)
unanalyzed	call on javax.swing.JButton
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.error. ErrorListDialog:orderButtons
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.error. ErrorListDialog:getCancelButton
unanalyzed	call on javax.swing.JButton:setText
unanalyzed	call on javax.swing.JButton:setEnabled
unanalyzed	call on java.util.List:size
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on com.dmdirc.addons.ui_swing.components. PackingTable
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.error. ErrorTable:setAutoCreateRowSorter
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.error. ErrorTable:setAutoCreateColumnsFromModel
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.error. ErrorTable:setColumnSelectionAllowed
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.error. ErrorTable:setCellSelectionEnabled
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.addons.ui_swing.dialogs.error. ErrorTable:getRowSorter
unanalyzed	call on javax.swing.RowSorter:toggleSortOrder
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.error. ErrorTable:getTableHeader
unanalyzed	call on javax.swing.table.JTableHeader:setReorderin gAllowed
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 not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. error.ErrorTable:setPreferredScrollableViewportSize (Dimension)

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

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. error.ErrorListDialog:orderButtons(JButton, JButton)

method not available - call not analyzed Info call on JButton com.dmdirc.addons.ui_swing.dialogs. error.ErrorListDialog:getCancelButton()

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

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. error.ErrorTableModel:addTableModelListener(TableMo delListener)

method not available - call not analyzed Info call on ListSelectionModel com.dmdirc.addons.ui_ swing.dialogs.error.ErrorTable:getSelectionModel()

method not available - call not analyzed Info call on JButton com.dmdirc.addons.ui_swing.dialogs. error.ErrorListDialog:getOkButton()

method not available - call not analyzed Info call on JButton com.dmdirc.addons.ui_swing.dialogs. error.ErrorListDialog:getCancelButton()

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

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

method not available - call not analyzed Info call on JButton com.dmdirc.addons.ui_swing.dialogs. error.ErrorListDialog:getCancelButton()

method not available - call not analyzed Info call on UnitValue net.miginfocom.layout. PlatformDefaults:getPanelInsets(int)

method not available - call not analyzed Info call on float net.miginfocom.layout. UnitValue:getValue()

method not available - call not analyzed Info call on Container com.dmdirc.addons.ui_swing. dialogs.error.ErrorListDialog:getContentPane()

method	void valueChanged(ListSelectionEvent)
pre	e != null
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
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	possibly_updated(this.errorDetails.error)
post	init'ed(this.rowBeingDeleted)
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on javax.swing.SwingUtilities:invokeLater
unanalyzed	call on java.util.List:get
test_vector	this.rowBeingDeleted: {0}, {1}
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}

method not available - call not analyzed Info call on int com.dmdirc.addons.ui_swing.dialogs. error.ErrorTable:getSelectedRow()

method not available - call not analyzed Info call on RowSorter com.dmdirc.addons.ui_swing. dialogs.error.ErrorTable:getRowSorter()

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

method not available - call not analyzed Info call on ListSelectionModel com.dmdirc.addons.ui_ swing.dialogs.error.ErrorTable:getSelectionModel()

method	void actionPerformed(ActionEvent)
pre	e != null
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
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

method not available - call not analyzed Info call on JButton com.dmdirc.addons.ui_swing.dialogs. error.ErrorListDialog:getCancelButton()

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. error.ErrorListDialog:setVisible(bool)

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

method not available - call not analyzed Info call on RowSorter com.dmdirc.addons.ui_swing. dialogs.error.ErrorTable:getRowSorter()

method not available - call not analyzed Info call on int com.dmdirc.addons.ui_swing.dialogs. error.ErrorTable:getSelectedRow()

method not available - call not analyzed Info call on void com.dmdirc.logger.ErrorManager:deleteE rror(ProgramError)

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:deleteA ll()

method	void tableChanged(TableModelEvent)
pre	e != null
pre	this.deleteAllButton != null
pre	this.tableModel != null
pre	this.tableModel.errors != null
pre	(soft) this.selectedRow != null
pre	(soft) this.sendButton != null
pre	(soft) this.table != 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.util.List:size
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.List:get
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}

method not available - call not analyzed Info call on ListSelectionModel com.dmdirc.addons.ui_ swing.dialogs.error.ErrorTable:getSelectionModel()

method not available - call not analyzed Info call on int com.dmdirc.addons.ui_swing.dialogs. error.ErrorTable:getSelectedRow()

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

	method not available - call not analyzed	Info	call on UnitValue net.miginfocom.layout. PlatformDefaults:getPanelInsets(int)
	method not available - call not analyzed	Info	call on float net.miginfocom.layout. UnitValue:getValue()

method not available - call not analyzed	Info	call on ErrorManager com.dmdirc.logger. ErrorManager:getErrorManager()
method not available - call not analyzed	Info	call on RowSorter com.dmdirc.addons.ui_swing. dialogs.error.ErrorTable:getRowSorter()
method not available - call not analyzed	Info	call on int com.dmdirc.addons.ui_swing.dialogs. error.ErrorTable:getSelectedRow()
method not available - call not analyzed	Info	call on void com.dmdirc.logger.ErrorManager:deleteE rror(ProgramError)