SwingUpdaterDialog.java

SwingUpdaterDialog.java

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

Filter Options

Annotation Kind:

pre

presumption

post

unanalyzed

test_vector

UpdateComponentTableCellRenderer access$000(SwingUpdaterDialog)

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

UpdateStatusTableCellRenderer access$100(SwingUpdaterDialog)

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

void actionPerformed(ActionEvent)

Kind	Annotation Text
pre	(soft) init'ed(me)
pre	(soft) init'ed(this.mainFrame)
pre	(soft) this.header != null
pre	(soft) this.table != null
pre	e != null
presumption	com.dmdirc.addons.ui_swing.dialogs.updater. SwingUpdaterDialog:getCancelButton(...)@210 != null
presumption	com.dmdirc.addons.ui_swing.dialogs.updater. SwingUpdaterDialog:getOkButton(...)@209 != null
presumption	init'ed(com.dmdirc.updater.UpdateChecker$STATE. RESTART_REQUIRED)
presumption	init'ed(com.dmdirc.updater.UpdateChecker$STATE. UPDATING)
presumption	init'ed(java.awt.Dialog$ModalityType.MODELESS)
presumption	java.awt.event.ActionEvent:getSource(...)@208 != null
presumption	java.awt.event.ActionEvent:getSource(...)@228 != null
presumption	javax.swing.JTable:getModel(...).enabled@215 != null
presumption	javax.swing.JTable:getModel(...)@214 != null
presumption	javax.swing.JTable:getModel(...)@215 != null
post	init'ed(me)
post	me == One-of{old me, null}
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardDialog
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardDialog:dispose
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.updater. SwingRestartDialog:add
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.updater. SwingRestartDialog:getCancelButton
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.updater. SwingRestartDialog:getLeftButton
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.updater. SwingRestartDialog:getOkButton
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.updater. SwingRestartDialog:getRightButton
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.updater. SwingRestartDialog:orderButtons
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.updater. SwingRestartDialog:pack
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.updater. SwingRestartDialog:setDefaultCloseOperation
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.updater. SwingRestartDialog:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.updater. SwingRestartDialog:setLocationRelativeTo
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.updater. SwingRestartDialog:setResizable
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.updater. SwingRestartDialog:setTitle
unanalyzed	call on java.lang.Boolean:booleanValue
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.Map:get
unanalyzed	call on javax.swing.JButton
unanalyzed	call on javax.swing.JButton:addActionListener
unanalyzed	call on javax.swing.JButton:setText
unanalyzed	call on net.miginfocom.swing.MigLayout
test_vector	java.lang.Boolean:booleanValue(...)@226: {1}, {0}
test_vector	java.lang.Object:equals(...)@208: {0}, {1}
test_vector	java.lang.Object:equals(...)@228: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@214: {0}, {1}

void com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog$1(SwingUpdaterDialog, TableModel, bool, JScrollPane)

Kind	Annotation Text

com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog$1__static_init

Kind	Annotation Text

void com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog(List, MainFrame)

Kind	Annotation Text
pre	updates != null
presumption	com.dmdirc.addons.ui_swing.dialogs.updater. SwingUpdaterDialog:getCancelButton(...)@96 != null
presumption	com.dmdirc.addons.ui_swing.dialogs.updater. SwingUpdaterDialog:getOkButton(...)@95 != null
presumption	init'ed(java.awt.Dialog$ModalityType.MODELESS)
post	init'ed(this.mainFrame)
post	new JScrollPane(initComponents#4) num objects == 1
post	new SwingUpdaterDialog$1(initComponents#5) num objects == 1
post	new TextLabel(initComponents#3) num objects == 1
post	new UpdateComponentTableCellRenderer(initComponents #2) num objects == 1
post	new UpdateStatusTableCellRenderer(initComponents#1) num objects == 1
post	this.header == &new TextLabel(initComponents#3)
post	this.mainFrame == mainFrame
post	this.scrollPane == &new JScrollPane(initCompone nts#4)
post	this.table == &new SwingUpdaterDialog$1(initCom ponents#5)
post	this.updateComponentRenderer == &new UpdateComponentTableCellRenderer(initComponents#2)
post	this.updateStatusRenderer == &new UpdateStatusTableCellRenderer(initComponents#1)
unanalyzed	call on com.dmdirc.addons.ui_swing.components. PackingTable
unanalyzed	call on com.dmdirc.addons.ui_swing.components. renderers.UpdateComponentTableCellRenderer
unanalyzed	call on com.dmdirc.addons.ui_swing.components. renderers.UpdateStatusTableCellRenderer
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.updater. SwingUpdaterDialog:add
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.updater. SwingUpdaterDialog:getLeftButton
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.updater. SwingUpdaterDialog:getRightButton
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.updater. SwingUpdaterDialog:orderButtons
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.updater. SwingUpdaterDialog:setDefaultCloseOperation
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.updater. SwingUpdaterDialog:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.updater. UpdateTableModel:fireTableDataChanged
unanalyzed	call on com.dmdirc.updater.Update:addUpdateListener
unanalyzed	call on java.lang.Boolean:valueOf
unanalyzed	call on java.text.NumberFormat:getNumberInstance
unanalyzed	call on java.text.NumberFormat:setMaximumFractionDi gits
unanalyzed	call on java.text.NumberFormat:setMinimumFractionDi gits
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.HashMap
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.util.Map:put
unanalyzed	call on javax.swing.JButton
unanalyzed	call on javax.swing.JScrollPane
unanalyzed	call on javax.swing.JScrollPane:setViewportView
unanalyzed	call on javax.swing.JTable:getRowSorter
unanalyzed	call on javax.swing.JTable:setAutoCreateColumnsFrom Model
unanalyzed	call on javax.swing.JTable:setAutoCreateRowSorter
unanalyzed	call on javax.swing.JTable:setCellSelectionEnabled
unanalyzed	call on javax.swing.JTable:setColumnSelectionAllowe d
unanalyzed	call on javax.swing.JTable:setFillsViewportHeight
unanalyzed	call on javax.swing.JTable:setRowSelectionAllowed
unanalyzed	call on javax.swing.JTable:setSelectionMode
unanalyzed	call on javax.swing.RowSorter:toggleSortOrder
unanalyzed	call on javax.swing.table.AbstractTableModel
unanalyzed	call on net.miginfocom.swing.MigLayout

com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog__static_init

Kind	Annotation Text

void display()

Kind	Annotation Text
pre	init'ed(this.mainFrame)

void dispose()

Kind	Annotation Text
pre	init'ed(me)
post	me == null
test_vector	me: Inverse{null}, Addr_Set{null}

TableCellRenderer getCellRenderer(int, int)

Kind	Annotation Text
pre	(soft) init'ed(this.updateComponentRenderer)
pre	(soft) init'ed(this.updateStatusRenderer)
post	init'ed(return_value)
test_vector	column: {1}, {3}, {-2³¹..0, 2, 4..2³²-1}

SwingUpdaterDialog getSwingUpdaterDialog(List, MainFrame)

Kind	Annotation Text
pre	init'ed(me)
pre	updates != null
presumption	javax.swing.JTable:getModel(...)@127 != null
presumption	me.table != null
post	init'ed(new SwingUpdaterDialog(getSwingUpdaterDialo g#1).header)
post	init'ed(new SwingUpdaterDialog(getSwingUpdaterDialo g#1).mainFrame)
post	init'ed(new SwingUpdaterDialog(getSwingUpdaterDialo g#1).scrollPane)
post	init'ed(new SwingUpdaterDialog(getSwingUpdaterDialo g#1).table)
post	init'ed(new SwingUpdaterDialog(getSwingUpdaterDialo g#1).updateComponentRenderer)
post	init'ed(new SwingUpdaterDialog(getSwingUpdaterDialo g#1).updateStatusRenderer)
post	me != null
post	me == One-of{&new SwingUpdaterDialog(getSwingUp daterDialog#1), old me}
post	new ArrayList(setUpdates#1) num objects <= 1
post	new HashMap(setUpdates#2) num objects <= 1
post	new JScrollPane(initComponents#4) num objects <= 1
post	new SwingUpdaterDialog$1(initComponents#5) num objects <= 1
post	new SwingUpdaterDialog(getSwingUpdaterDialog#1) num objects <= 1
post	new TextLabel(initComponents#3) num objects <= 1
post	new UpdateComponentTableCellRenderer(initComponents #2) num objects <= 1
post	new UpdateStatusTableCellRenderer(initComponents#1) num objects <= 1
post	return_value != null
post	return_value == One-of{&new SwingUpdaterDialog( getSwingUpdaterDialog#1), old me}
unanalyzed	call on com.dmdirc.addons.ui_swing.components. PackingTable
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardDialog
unanalyzed	call on com.dmdirc.addons.ui_swing.components. renderers.UpdateComponentTableCellRenderer
unanalyzed	call on com.dmdirc.addons.ui_swing.components. renderers.UpdateStatusTableCellRenderer
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.updater. SwingUpdaterDialog:add
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.updater. SwingUpdaterDialog:getCancelButton
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.updater. SwingUpdaterDialog:getLeftButton
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.updater. SwingUpdaterDialog:getOkButton
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.updater. SwingUpdaterDialog:getRightButton
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.updater. SwingUpdaterDialog:orderButtons
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.updater. SwingUpdaterDialog:setDefaultCloseOperation
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.updater. SwingUpdaterDialog:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.updater. SwingUpdaterDialog:setSize
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.updater. SwingUpdaterDialog:setTitle
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.updater. UpdateTableModel:fireTableDataChanged
unanalyzed	call on com.dmdirc.updater.Update:addUpdateListener
unanalyzed	call on com.dmdirc.updater.UpdateChecker:addListene r
unanalyzed	call on java.awt.Dimension
unanalyzed	call on java.lang.Boolean:valueOf
unanalyzed	call on java.text.NumberFormat:getNumberInstance
unanalyzed	call on java.text.NumberFormat:setMaximumFractionDi gits
unanalyzed	call on java.text.NumberFormat:setMinimumFractionDi gits
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.HashMap
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.util.Map:put
unanalyzed	call on javax.swing.JButton
unanalyzed	call on javax.swing.JButton:addActionListener
unanalyzed	call on javax.swing.JScrollPane
unanalyzed	call on javax.swing.JScrollPane:setViewportView
unanalyzed	call on javax.swing.JTable:getRowSorter
unanalyzed	call on javax.swing.JTable:setAutoCreateColumnsFrom Model
unanalyzed	call on javax.swing.JTable:setAutoCreateRowSorter
unanalyzed	call on javax.swing.JTable:setCellSelectionEnabled
unanalyzed	call on javax.swing.JTable:setColumnSelectionAllowe d
unanalyzed	call on javax.swing.JTable:setFillsViewportHeight
unanalyzed	call on javax.swing.JTable:setRowSelectionAllowed
unanalyzed	call on javax.swing.JTable:setSelectionMode
unanalyzed	call on javax.swing.RowSorter:toggleSortOrder
unanalyzed	call on javax.swing.table.AbstractTableModel
unanalyzed	call on net.miginfocom.swing.MigLayout
test_vector	me: Inverse{null}, Addr_Set{null}

void initComponents(List)

Kind	Annotation Text
pre	updates != null
presumption	javax.swing.JTable:getRowSorter(...)@174 != null
post	new JScrollPane(initComponents#4) num objects == 1
post	new SwingUpdaterDialog$1(initComponents#5) num objects == 1
post	new TextLabel(initComponents#3) num objects == 1
post	new UpdateComponentTableCellRenderer(initComponents #2) num objects == 1
post	new UpdateStatusTableCellRenderer(initComponents#1) num objects == 1
post	this.header == &new TextLabel(initComponents#3)
post	this.scrollPane == &new JScrollPane(initCompone nts#4)
post	this.table == &new SwingUpdaterDialog$1(initCom ponents#5)
post	this.updateComponentRenderer == &new UpdateComponentTableCellRenderer(initComponents#2)
post	this.updateStatusRenderer == &new UpdateStatusTableCellRenderer(initComponents#1)
unanalyzed	call on com.dmdirc.addons.ui_swing.components. PackingTable
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.updater. UpdateTableModel:fireTableDataChanged
unanalyzed	call on com.dmdirc.updater.Update:addUpdateListener
unanalyzed	call on java.lang.Boolean:valueOf
unanalyzed	call on java.text.NumberFormat:getNumberInstance
unanalyzed	call on java.text.NumberFormat:setMaximumFractionDi gits
unanalyzed	call on java.text.NumberFormat:setMinimumFractionDi gits
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.HashMap
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.util.Map:put
unanalyzed	call on javax.swing.table.AbstractTableModel

void layoutComponents()

Kind	Annotation Text
pre	init'ed(this.header)
pre	init'ed(this.scrollPane)

void showSwingUpdaterDialog(List, MainFrame)

Kind	Annotation Text
pre	init'ed(me)
pre	updates != null
post	init'ed(new SwingUpdaterDialog(getSwingUpdaterDialo g#1).header)
post	init'ed(new SwingUpdaterDialog(getSwingUpdaterDialo g#1).mainFrame)
post	init'ed(new SwingUpdaterDialog(getSwingUpdaterDialo g#1).scrollPane)
post	init'ed(new SwingUpdaterDialog(getSwingUpdaterDialo g#1).table)
post	init'ed(new SwingUpdaterDialog(getSwingUpdaterDialo g#1).updateComponentRenderer)
post	init'ed(new SwingUpdaterDialog(getSwingUpdaterDialo g#1).updateStatusRenderer)
post	me != null
post	me == One-of{&new SwingUpdaterDialog(getSwingUp daterDialog#1), old me}
post	new ArrayList(setUpdates#1) num objects <= 1
post	new HashMap(setUpdates#2) num objects == new ArrayList(setUpdates#1) num objects
post	new JScrollPane(initComponents#4) num objects <= 1
post	new SwingUpdaterDialog$1(initComponents#5) num objects == new JScrollPane(initComponents#4) num objects
post	new SwingUpdaterDialog(getSwingUpdaterDialog#1) num objects == new JScrollPane(initComponents#4) num objects
post	new TextLabel(initComponents#3) num objects == new JScrollPane(initComponents#4) num objects
post	new UpdateComponentTableCellRenderer(initComponents #2) num objects == new JScrollPane(initComponents#4 ) num objects
post	new UpdateStatusTableCellRenderer(initComponents#1) num objects == new JScrollPane(initComponents#4) num objects
unanalyzed	call on com.dmdirc.addons.ui_swing.components. PackingTable
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardDialog
unanalyzed	call on com.dmdirc.addons.ui_swing.components. renderers.UpdateComponentTableCellRenderer
unanalyzed	call on com.dmdirc.addons.ui_swing.components. renderers.UpdateStatusTableCellRenderer
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.updater. SwingUpdaterDialog:add
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.updater. SwingUpdaterDialog:getCancelButton
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.updater. SwingUpdaterDialog:getLeftButton
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.updater. SwingUpdaterDialog:getOkButton
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.updater. SwingUpdaterDialog:getRightButton
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.updater. SwingUpdaterDialog:orderButtons
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.updater. SwingUpdaterDialog:requestFocusInWindow
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.updater. SwingUpdaterDialog:setDefaultCloseOperation
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.updater. SwingUpdaterDialog:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.updater. SwingUpdaterDialog:setLocationRelativeTo
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.updater. SwingUpdaterDialog:setSize
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.updater. SwingUpdaterDialog:setTitle
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.updater. SwingUpdaterDialog:setVisible
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.updater. UpdateTableModel:fireTableDataChanged
unanalyzed	call on com.dmdirc.updater.Update:addUpdateListener
unanalyzed	call on com.dmdirc.updater.UpdateChecker:addListene r
unanalyzed	call on java.awt.Dimension
unanalyzed	call on java.lang.Boolean:valueOf
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.text.NumberFormat:getNumberInstance
unanalyzed	call on java.text.NumberFormat:setMaximumFractionDi gits
unanalyzed	call on java.text.NumberFormat:setMinimumFractionDi gits
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.HashMap
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.util.Map:put
unanalyzed	call on javax.swing.JButton
unanalyzed	call on javax.swing.JButton:addActionListener
unanalyzed	call on javax.swing.JScrollPane
unanalyzed	call on javax.swing.JScrollPane:setViewportView
unanalyzed	call on javax.swing.JTable:getModel
unanalyzed	call on javax.swing.JTable:getRowSorter
unanalyzed	call on javax.swing.JTable:setAutoCreateColumnsFrom Model
unanalyzed	call on javax.swing.JTable:setAutoCreateRowSorter
unanalyzed	call on javax.swing.JTable:setCellSelectionEnabled
unanalyzed	call on javax.swing.JTable:setColumnSelectionAllowe d
unanalyzed	call on javax.swing.JTable:setFillsViewportHeight
unanalyzed	call on javax.swing.JTable:setRowSelectionAllowed
unanalyzed	call on javax.swing.JTable:setSelectionMode
unanalyzed	call on javax.swing.RowSorter:toggleSortOrder
unanalyzed	call on javax.swing.table.AbstractTableModel
unanalyzed	call on net.miginfocom.swing.MigLayout

void statusChanged(UpdateChecker$STATE)

Kind	Annotation Text
presumption	com.dmdirc.addons.ui_swing.dialogs.updater. SwingUpdaterDialog:getCancelButton(...)@242 != null
presumption	com.dmdirc.addons.ui_swing.dialogs.updater. SwingUpdaterDialog:getCancelButton(...)@244 != null
presumption	com.dmdirc.addons.ui_swing.dialogs.updater. SwingUpdaterDialog:getOkButton(...)@237 != null
presumption	com.dmdirc.addons.ui_swing.dialogs.updater. SwingUpdaterDialog:getOkButton(...)@239 != null
presumption	init'ed(com.dmdirc.updater.UpdateChecker$STATE. RESTART_REQUIRED)
presumption	init'ed(com.dmdirc.updater.UpdateChecker$STATE. UPDATING)