UpdateTableModel.java

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


Filter Options
Annotation Kind:
pre
presumption
post
unanalyzed
test_vector


  • void add(UpdateComponent)

    • Kind Annotation Text
    prethis.updates != null
    presumptionjava.util.List:size(...)@181 >= -231+1

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

    • Kind Annotation Text
    postnew ArrayList(UpdateTableModel#1) num objects == 1
    postnew HashMap(UpdateTableModel#2) num objects == 1
    postthis.enabled == &new HashMap(UpdateTableModel#2 )
    postthis.updates == &new ArrayList(UpdateTableModel #1)
    unanalyzedcall on com.dmdirc.updater.UpdateChecker:isEnabled
    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
    unanalyzedcall on javax.swing.table.AbstractTableModel

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

    • Kind Annotation Text
    postnew ArrayList(UpdateTableModel#1) num objects == 1
    postnew HashMap(UpdateTableModel#2) num objects == 1
    postthis.enabled == &new HashMap(UpdateTableModel#2 )
    postthis.updates == &new ArrayList(UpdateTableModel #1)
    test_vectorjava.util.Iterator:hasNext(...)@67: {0}, {1}

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

    • Kind Annotation Text

  • Class getColumnClass(int)

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

  • int getColumnCount()

    • Kind Annotation Text
    postreturn_value == 3

  • String getColumnName(int)

    • Kind Annotation Text
    precolumnIndex in {0..2}
    postreturn_value in Addr_Set{&"Update Component",&"Enabled?",&"Version"}
    test_vectorcolumnIndex: {0}, {1}, {2}

  • int getRowCount()

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

  • Object getValueAt(int, int)

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

  • bool isCellEditable(int, int)

    • Kind Annotation Text
    postinit'ed(return_value)

  • void remove(int)

    • Kind Annotation Text
    pre(soft) this.updates != null

  • void remove(UpdateComponent)

    • Kind Annotation Text
    prethis.updates != null
    unanalyzedcall on com.dmdirc.addons.ui_swing.dialogs.prefs. UpdateTableModel:fireTableRowsDeleted
    unanalyzedcall on java.lang.Throwable:__curr_excep_obj
    unanalyzedcall on java.util.List:remove

  • void setValueAt(Object, int, int)

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