UpdateTableModel.java

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


Filter Options
Annotation Kind:
pre
presumption
post
unanalyzed
test_vector


  • void addRow(Update)

    • Kind Annotation Text
    prethis.updates != null
    preupdate != null

  • void com.dmdirc.addons.ui_swing.dialogs.updater.UpdateTableModel()

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

  • void com.dmdirc.addons.ui_swing.dialogs.updater.UpdateTableModel(List)

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

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

    • Kind Annotation Text

  • Class getColumnClass(int)

    • Kind Annotation Text
    precolumnIndex in {0..3}
    test_vectorcolumnIndex: {0}, {1}, {2}, {3}

  • int getColumnCount()

    • Kind Annotation Text
    postreturn_value == 4

  • String getColumnName(int)

    • Kind Annotation Text
    precolumnIndex in {0..3}
    postreturn_value in Addr_Set{&"Update?", &"Component",&"New version",&"Status"}
    test_vectorcolumnIndex: {0}, {1}, {2}, {3}

  • int getRowCount()

    • Kind Annotation Text
    prethis.updates != null
    postinit'ed(return_value)

  • Update getUpdate(int)

    • Kind Annotation Text
    prethis.updates != null
    postinit'ed(return_value)

  • List getUpdates()

    • Kind Annotation Text
    preinit'ed(this.updates)
    postnew ArrayList(getUpdates#1) num objects == 1
    postreturn_value == &new ArrayList(getUpdates#1)

  • Object getValueAt(int, int)

    • Kind Annotation Text
    pre(soft) this.enabled != null
    pre(soft) this.formatter != null
    precolumnIndex in {0..3}
    prerowIndex in {0..232-2}
    prethis.updates != 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 - rowIndex in {1..232-1}
    presumptionjava.util.List:size(...)@149 >= 1
    postinit'ed(return_value)
    postjava.lang.StringBuilder:toString(...)._tainted == 0
    test_vectorcolumnIndex: {0}, {1}, {2}, {3}
    test_vectorcom.dmdirc.updater.UpdateStatus:equals(...)@164: {0}, {1}

  • int indexOf(Update)

    • Kind Annotation Text
    prethis.updates != null
    postinit'ed(return_value)

  • bool isCellEditable(int, int)

    • Kind Annotation Text
    postinit'ed(return_value)

  • bool isEnabled(int)

    • Kind Annotation Text
    prethis.enabled != null
    prethis.updates != null
    postinit'ed(return_value)
    unanalyzedcall on java.lang.Boolean:booleanValue
    unanalyzedcall on java.util.Map:get

  • bool isEnabled(Update)

    • Kind Annotation Text
    prethis.enabled != null
    presumptionjava.util.Map:get(...)@226 != null
    postinit'ed(return_value)

  • void removeRow(int)

    • Kind Annotation Text
    prethis.updates != null
    presumptionjava.util.List:get(...)@257 != null

  • void setUpdates(List)

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

  • void setValueAt(Object, int, int)

    • Kind Annotation Text
    precolumnIndex == 0
    prerowIndex in {0..232-2}
    prethis.enabled != null
    prethis.updates != null
    presumptionjava.util.List:size(...)@180 - rowIndex in {1..232-1}
    presumptionjava.util.List:size(...)@180 >= 1

  • void updateProgressChange(Update, float)

    • Kind Annotation Text
    prethis.updates != null

  • void updateStatusChange(Update, UpdateStatus)

    • Kind Annotation Text
    prethis.updates != null