Messages

method

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

method

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

method	UpdateComponentTableCellRenderer access$000(SwingU pdaterDialog)
pre	x0 != null
pre	init'ed(x0.updateComponentRenderer)
post	return_value == x0.updateComponentRenderer
post	init'ed(return_value)

method	UpdateStatusTableCellRenderer access$100(SwingUpda terDialog)
pre	x0 != null
pre	init'ed(x0.updateStatusRenderer)
post	return_value == x0.updateStatusRenderer
post	init'ed(return_value)

method	void com.dmdirc.addons.ui_swing.dialogs.updater. SwingUpdaterDialog(List, MainFrame)
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	this.header == &new TextLabel(initComponents#3)
post	this.mainFrame == mainFrame
post	init'ed(this.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)
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
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.updater. SwingUpdaterDialog:setDefaultCloseOperation
unanalyzed	call on com.dmdirc.addons.ui_swing.components. renderers.UpdateStatusTableCellRenderer
unanalyzed	call on com.dmdirc.addons.ui_swing.components. renderers.UpdateComponentTableCellRenderer
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel
unanalyzed	call on javax.swing.JScrollPane
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.util.ArrayList
unanalyzed	call on com.dmdirc.updater.Update:addUpdateListener
unanalyzed	call on java.util.HashMap
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.lang.Boolean:valueOf
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.updater. UpdateTableModel:fireTableDataChanged
unanalyzed	call on javax.swing.table.AbstractTableModel
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 com.dmdirc.addons.ui_swing.components. PackingTable
unanalyzed	call on javax.swing.JTable:setAutoCreateRowSorter
unanalyzed	call on javax.swing.JTable:setAutoCreateColumnsFrom Model
unanalyzed	call on javax.swing.JTable:setColumnSelectionAllowe d
unanalyzed	call on javax.swing.JTable:setCellSelectionEnabled
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.JTable:getRowSorter
unanalyzed	call on javax.swing.RowSorter:toggleSortOrder
unanalyzed	call on javax.swing.JScrollPane:setViewportView
unanalyzed	call on javax.swing.JButton
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.updater. SwingUpdaterDialog:orderButtons
unanalyzed	call on net.miginfocom.swing.MigLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.updater. SwingUpdaterDialog:setLayout
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

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.updater.UpdateChecker:addLi stener(UpdateCheckerListener)

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

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

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

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. updater.SwingUpdaterDialog:setSize(Dimension)

method	void showSwingUpdaterDialog(List, MainFrame)
pre	init'ed(me)
pre	updates != null
post	me == One-of{&new SwingUpdaterDialog(getSwingUp daterDialog#1), old me}
post	me != null
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
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)
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.updater. SwingUpdaterDialog:setDefaultCloseOperation
unanalyzed	call on com.dmdirc.addons.ui_swing.components. renderers.UpdateStatusTableCellRenderer
unanalyzed	call on com.dmdirc.addons.ui_swing.components. renderers.UpdateComponentTableCellRenderer
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel
unanalyzed	call on javax.swing.JScrollPane
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.util.ArrayList
unanalyzed	call on com.dmdirc.updater.Update:addUpdateListener
unanalyzed	call on java.util.HashMap
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.lang.Boolean:valueOf
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.updater. UpdateTableModel:fireTableDataChanged
unanalyzed	call on javax.swing.table.AbstractTableModel
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 com.dmdirc.addons.ui_swing.components. PackingTable
unanalyzed	call on javax.swing.JTable:setAutoCreateRowSorter
unanalyzed	call on javax.swing.JTable:setAutoCreateColumnsFrom Model
unanalyzed	call on javax.swing.JTable:setColumnSelectionAllowe d
unanalyzed	call on javax.swing.JTable:setCellSelectionEnabled
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.JTable:getRowSorter
unanalyzed	call on javax.swing.RowSorter:toggleSortOrder
unanalyzed	call on javax.swing.JScrollPane:setViewportView
unanalyzed	call on javax.swing.JButton
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.updater. SwingUpdaterDialog:orderButtons
unanalyzed	call on net.miginfocom.swing.MigLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.updater. SwingUpdaterDialog:setLayout
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.components. StandardDialog
unanalyzed	call on com.dmdirc.updater.UpdateChecker:addListene r
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.updater. SwingUpdaterDialog:getOkButton
unanalyzed	call on javax.swing.JButton:addActionListener
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.updater. SwingUpdaterDialog:getCancelButton
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.updater. SwingUpdaterDialog:setTitle
unanalyzed	call on java.awt.Dimension
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.updater. SwingUpdaterDialog:setSize
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.updater. SwingUpdaterDialog:setLocationRelativeTo
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.updater. SwingUpdaterDialog:setVisible
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.updater. SwingUpdaterDialog:requestFocusInWindow
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on javax.swing.JTable:getModel

method	SwingUpdaterDialog getSwingUpdaterDialog(List, MainFrame)
pre	init'ed(me)
pre	updates != null
presumption	javax.swing.JTable:getModel(...)@127 != null
presumption	me.table != null
post	me == One-of{&new SwingUpdaterDialog(getSwingUp daterDialog#1), old me}
post	me != null
post	return_value == One-of{&new SwingUpdaterDialog( getSwingUpdaterDialog#1), old me}
post	return_value != null
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	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	new TextLabel(initComponents#3) num objects <= 1
post	new UpdateComponentTableCellRenderer(initComponents #2) num objects <= 1
post	new UpdateStatusTableCellRenderer(initComponents#1) num objects <= 1
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.updater. SwingUpdaterDialog:setDefaultCloseOperation
unanalyzed	call on com.dmdirc.addons.ui_swing.components. renderers.UpdateStatusTableCellRenderer
unanalyzed	call on com.dmdirc.addons.ui_swing.components. renderers.UpdateComponentTableCellRenderer
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel
unanalyzed	call on javax.swing.JScrollPane
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.util.ArrayList
unanalyzed	call on com.dmdirc.updater.Update:addUpdateListener
unanalyzed	call on java.util.HashMap
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.lang.Boolean:valueOf
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.updater. UpdateTableModel:fireTableDataChanged
unanalyzed	call on javax.swing.table.AbstractTableModel
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 com.dmdirc.addons.ui_swing.components. PackingTable
unanalyzed	call on javax.swing.JTable:setAutoCreateRowSorter
unanalyzed	call on javax.swing.JTable:setAutoCreateColumnsFrom Model
unanalyzed	call on javax.swing.JTable:setColumnSelectionAllowe d
unanalyzed	call on javax.swing.JTable:setCellSelectionEnabled
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.JTable:getRowSorter
unanalyzed	call on javax.swing.RowSorter:toggleSortOrder
unanalyzed	call on javax.swing.JScrollPane:setViewportView
unanalyzed	call on javax.swing.JButton
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.updater. SwingUpdaterDialog:orderButtons
unanalyzed	call on net.miginfocom.swing.MigLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.updater. SwingUpdaterDialog:setLayout
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.components. StandardDialog
unanalyzed	call on com.dmdirc.updater.UpdateChecker:addListene r
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.updater. SwingUpdaterDialog:getOkButton
unanalyzed	call on javax.swing.JButton:addActionListener
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.updater. SwingUpdaterDialog:getCancelButton
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.updater. SwingUpdaterDialog:setTitle
unanalyzed	call on java.awt.Dimension
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.updater. SwingUpdaterDialog:setSize
test_vector	me: Inverse{null}, Addr_Set{null}

method	void initComponents(List)
pre	updates != null
presumption	javax.swing.JTable:getRowSorter(...)@174 != null
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)
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
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.util.ArrayList
unanalyzed	call on com.dmdirc.updater.Update:addUpdateListener
unanalyzed	call on java.util.HashMap
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.lang.Boolean:valueOf
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.updater. UpdateTableModel:fireTableDataChanged
unanalyzed	call on javax.swing.table.AbstractTableModel
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 com.dmdirc.addons.ui_swing.components. PackingTable

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. updater.SwingUpdaterDialog:setDefaultCloseOperation (int)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. renderers.UpdateStatusTableCellRenderer()

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. renderers.UpdateComponentTableCellRenderer()

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. text.TextLabel(String)

method

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

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. PackingTable(TableModel, bool, JScrollPane)

method	TableCellRenderer getCellRenderer(int, int)
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}

method not available - call not analyzed Info call on TableCellRenderer com.dmdirc.addons.ui_ swing.components.PackingTable:getCellRenderer(int, int)

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

method	void layoutComponents()
pre	init'ed(this.header)
pre	init'ed(this.scrollPane)

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

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

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

method not available - call not analyzed Info call on JButton com.dmdirc.addons.ui_swing.dialogs. updater.SwingUpdaterDialog:getLeftButton()

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

method not available - call not analyzed Info call on JButton com.dmdirc.addons.ui_swing.dialogs. updater.SwingUpdaterDialog:getRightButton()

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

method	void display()
pre	init'ed(this.mainFrame)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. updater.SwingUpdaterDialog:setLocationRelativeTo(Co mponent)

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

method not available - call not analyzed Info call on bool com.dmdirc.addons.ui_swing.dialogs. updater.SwingUpdaterDialog:requestFocusInWindow()

method	void actionPerformed(ActionEvent)
pre	e != null
pre	(soft) init'ed(me)
pre	(soft) this.header != null
pre	(soft) init'ed(this.mainFrame)
pre	(soft) this.table != 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	me == One-of{old me, null}
post	init'ed(me)
unanalyzed	call on java.util.ArrayList
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardDialog:dispose
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.lang.Boolean:booleanValue
unanalyzed	call on javax.swing.JButton
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.updater. SwingRestartDialog:orderButtons
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.updater. SwingRestartDialog:getOkButton
unanalyzed	call on javax.swing.JButton:setText
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.updater. SwingRestartDialog:getCancelButton
unanalyzed	call on javax.swing.JButton:addActionListener
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.updater. SwingRestartDialog:setResizable
unanalyzed	call on net.miginfocom.swing.MigLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.updater. SwingRestartDialog:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.updater. SwingRestartDialog:add
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.updater. SwingRestartDialog:getLeftButton
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.updater. SwingRestartDialog:getRightButton
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardDialog
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.updater. SwingRestartDialog:setTitle
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.updater. SwingRestartDialog:setDefaultCloseOperation
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.updater. SwingRestartDialog:pack
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.updater. SwingRestartDialog:setLocationRelativeTo
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}

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

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

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. text.TextLabel:setText(String)

method not available - call not analyzed Info call on void com.dmdirc.updater.UpdateChecker:remov eUpdate(Update)

method not available - call not analyzed Info call on void com.dmdirc.updater.UpdateChecker:apply Updates()

method not available - call not analyzed Info call on UpdateChecker$STATE com.dmdirc.updater. UpdateChecker:getStatus()

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

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

method	void statusChanged(UpdateChecker$STATE)
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)

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

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

method	void dispose()
pre	init'ed(me)
post	me == null
test_vector	me: Inverse{null}, Addr_Set{null}

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. StandardDialog:dispose()

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

	method not available - call not analyzed	Info	call on JButton com.dmdirc.addons.ui_swing.dialogs. updater.SwingUpdaterDialog:getLeftButton()
	method not available - call not analyzed	Info	call on void com.dmdirc.addons.ui_swing.dialogs. updater.SwingUpdaterDialog:add(Component, Object)