method com.dmdirc.addons.ui_swing.dialogs.prefs. UpdateTableModel__static_init










method void com.dmdirc.addons.ui_swing.dialogs.prefs. UpdateTableModel()
postthis.enabled == &new HashMap(UpdateTableModel#2 )
postthis.updates == &new ArrayList(UpdateTableModel #1)
postnew ArrayList(UpdateTableModel#1) num objects == 1
postnew HashMap(UpdateTableModel#2) num objects == 1
unanalyzedcall on javax.swing.table.AbstractTableModel
unanalyzedcall on java.util.ArrayList
unanalyzedcall on java.util.HashMap
unanalyzedcall on java.util.List:iterator
unanalyzedcall on com.dmdirc.updater.UpdateChecker:isEnabled
unanalyzedcall on java.lang.Boolean:valueOf
unanalyzedcall on java.util.Map:put










method void com.dmdirc.addons.ui_swing.dialogs.prefs. UpdateTableModel(List)
postthis.enabled == &new HashMap(UpdateTableModel#2 )
postthis.updates == &new ArrayList(UpdateTableModel #1)
postnew ArrayList(UpdateTableModel#1) num objects == 1
postnew HashMap(UpdateTableModel#2) num objects == 1
test_vectorjava.util.Iterator:hasNext(...)@67: {0}, {1}









  method not available - call not analyzedInfocall on bool com.dmdirc.updater.UpdateChecker:isEna bled(UpdateComponent)











method int getRowCount()
prethis.updates != null
postinit'ed(return_value)










method int getColumnCount()
postreturn_value == 3










method String getColumnName(int)
precolumnIndex in {0..2}
postreturn_value in Addr_Set{&"Update Component",&"Enabled?",&"Version"}
test_vectorcolumnIndex: {0}, {1}, {2}










method Class getColumnClass(int)
precolumnIndex in {0..2}
test_vectorcolumnIndex: {0}, {1}, {2}










method bool isCellEditable(int, int)
postinit'ed(return_value)










method Object getValueAt(int, int)
precolumnIndex in {0..2}
prerowIndex in {0..232-2}
prethis.updates != null
pre(soft) this.enabled != null
presumptionjava.util.List:get(...)@137 != null
presumptionjava.util.List:get(...)@141 != null
presumptionjava.util.List:size(...)@128 >= 1
presumptionjava.util.List:size(...)@128 - rowIndex in {1..232-1}
postinit'ed(return_value)
test_vectorcolumnIndex: {0}, {1}, {2}









  method not available - call not analyzedInfocall on String com.dmdirc.updater.UpdateComponent:g etFriendlyName()










  method not available - call not analyzedInfocall on String com.dmdirc.updater.UpdateComponent:g etFriendlyVersion()











method void setValueAt(Object, int, int)
precolumnIndex == 1
prerowIndex in {0..232-2}
prethis.enabled != null
prethis.updates != null
presumptionjava.util.List:size(...)@154 >= 1
presumptionjava.util.List:size(...)@154 - rowIndex in {1..232-1}









  method not available - call not analyzedInfocall on void com.dmdirc.addons.ui_swing.dialogs. prefs.UpdateTableModel:fireTableCellUpdated(int, int)











method void add(UpdateComponent)
prethis.updates != null
presumptionjava.util.List:size(...)@181 >= -231+1









  method not available - call not analyzedInfocall on void com.dmdirc.addons.ui_swing.dialogs. prefs.UpdateTableModel:fireTableRowsInserted(int, int)











method void remove(UpdateComponent)
prethis.updates != null
unanalyzedcall on java.lang.Throwable:__curr_excep_obj
unanalyzedcall on java.util.List:remove
unanalyzedcall on com.dmdirc.addons.ui_swing.dialogs.prefs. UpdateTableModel:fireTableRowsDeleted










method void remove(int)
pre(soft) this.updates != null









  method not available - call not analyzedInfocall on void com.dmdirc.addons.ui_swing.dialogs. prefs.UpdateTableModel:fireTableRowsDeleted(int, int)