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










method void com.dmdirc.addons.ui_swing.dialogs.updater. UpdateTableModel()
presumptionjava.text.NumberFormat:getNumberInstance(...)@70 != null
postthis.enabled == &new HashMap(setUpdates#2)
postthis.formatter != null
postthis.updates == &new ArrayList(setUpdates#1)
postnew ArrayList(setUpdates#1) num objects == 1
postnew HashMap(setUpdates#2) num objects == 1
unanalyzedcall on java.util.Map:put
unanalyzedcall on java.util.ArrayList
unanalyzedcall on com.dmdirc.updater.Update:addUpdateListener
unanalyzedcall on java.util.HashMap
unanalyzedcall on java.util.List:iterator
unanalyzedcall on java.lang.Boolean:valueOf
unanalyzedcall on com.dmdirc.addons.ui_swing.dialogs.updater. UpdateTableModel:fireTableDataChanged
unanalyzedcall on javax.swing.table.AbstractTableModel
unanalyzedcall on java.text.NumberFormat:getNumberInstance
unanalyzedcall on java.text.NumberFormat:setMaximumFractionDi gits
unanalyzedcall on java.text.NumberFormat:setMinimumFractionDi gits










method void com.dmdirc.addons.ui_swing.dialogs.updater. UpdateTableModel(List)
preupdates != null
presumptionjava.text.NumberFormat:getNumberInstance(...)@70 != null
postthis.enabled == &new HashMap(setUpdates#2)
postthis.formatter != null
postthis.updates == &new ArrayList(setUpdates#1)
postnew ArrayList(setUpdates#1) num objects == 1
postnew HashMap(setUpdates#2) num objects == 1
unanalyzedcall on java.util.Map:put
unanalyzedcall on java.util.ArrayList
unanalyzedcall on com.dmdirc.updater.Update:addUpdateListener
unanalyzedcall on java.util.HashMap
unanalyzedcall on java.util.List:iterator
unanalyzedcall on java.lang.Boolean:valueOf
unanalyzedcall on com.dmdirc.addons.ui_swing.dialogs.updater. UpdateTableModel:fireTableDataChanged










method void setUpdates(List)
preupdates != null
presumptionjava.util.Iterator:next(...)@84 != null
postthis.enabled == &new HashMap(setUpdates#2)
postthis.updates == &new ArrayList(setUpdates#1)
postnew ArrayList(setUpdates#1) num objects == 1
postnew HashMap(setUpdates#2) num objects == 1
test_vectorjava.util.Iterator:hasNext(...)@84: {0}, {1}









  method not available - call not analyzedInfocall on void com.dmdirc.updater.Update:addUpdateLis tener(UpdateListener)










  method not available - call not analyzedInfocall on void com.dmdirc.addons.ui_swing.dialogs. updater.UpdateTableModel:fireTableDataChanged()











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










method int getColumnCount()
postreturn_value == 4










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










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










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










method Object getValueAt(int, int)
precolumnIndex in {0..3}
prerowIndex in {0..232-2}
prethis.updates != null
pre(soft) this.enabled != null
pre(soft) this.formatter != null
presumptioncom.dmdirc.updater.Update:getStatus(...)@164 != null
presumptioninit'ed(com.dmdirc.updater.UpdateStatus. DOWNLOADING)
presumptionjava.util.List:get(...)@160 != null
presumptionjava.util.List:get(...)@162 != null
presumptionjava.util.List:get(...)@164 != null
presumptionjava.util.List:get(...)@165 != null
presumptionjava.util.List:get(...)@168 != null
presumptionjava.util.List:size(...)@149 >= 1
presumptionjava.util.List:size(...)@149 - rowIndex in {1..232-1}
postjava.lang.StringBuilder:toString(...)._tainted == 0
postinit'ed(return_value)
test_vectorcolumnIndex: {0}, {1}, {2}, {3}
test_vectorcom.dmdirc.updater.UpdateStatus:equals(...)@164: {0}, {1}









  method not available - call not analyzedInfocall on UpdateComponent com.dmdirc.updater. Update:getComponent()










  method not available - call not analyzedInfocall on String com.dmdirc.updater.Update:getRemoteV ersion()










  method not available - call not analyzedInfocall on UpdateStatus com.dmdirc.updater. Update:getStatus()
  method not available - call not analyzedInfocall on bool com.dmdirc.updater.UpdateStatus:equals (Object)










  method not available - call not analyzedInfocall on UpdateStatus com.dmdirc.updater. Update:getStatus()
  method not available - call not analyzedInfocall on float com.dmdirc.updater.Update:getProgress ()










  method not available - call not analyzedInfocall on UpdateStatus com.dmdirc.updater. Update:getStatus()











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









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











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










method List getUpdates()
preinit'ed(this.updates)
postreturn_value == &new ArrayList(getUpdates#1)
postnew ArrayList(getUpdates#1) num objects == 1










method bool isEnabled(Update)
prethis.enabled != null
presumptionjava.util.Map:get(...)@226 != null
postinit'ed(return_value)










method bool isEnabled(int)
prethis.enabled != null
prethis.updates != null
postinit'ed(return_value)
unanalyzedcall on java.util.Map:get
unanalyzedcall on java.lang.Boolean:booleanValue










method void addRow(Update)
prethis.updates != null
preupdate != null









  method not available - call not analyzedInfocall on void com.dmdirc.updater.Update:addUpdateLis tener(UpdateListener)










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











method void removeRow(int)
prethis.updates != null
presumptionjava.util.List:get(...)@257 != null









  method not available - call not analyzedInfocall on void com.dmdirc.updater.Update:removeUpdate Listener(Object)










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











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










method void updateStatusChange(Update, UpdateStatus)
prethis.updates != null









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











method void updateProgressChange(Update, float)
prethis.updates != null









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