AliasTableModel.java

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


Filter Options
Annotation Kind:
pre
presumption
post
unanalyzed
test_vector


  • void addRow(Alias)

    • Kind Annotation Text
    prethis.aliases != null

  • void com.dmdirc.addons.ui_swing.dialogs.aliases.AliasTableModel()

    • Kind Annotation Text
    postnew ArrayList(AliasTableModel#1) num objects == 1
    postthis.aliases == &new ArrayList(AliasTableModel# 1)
    unanalyzedcall on java.util.ArrayList
    unanalyzedcall on javax.swing.table.AbstractTableModel

  • void com.dmdirc.addons.ui_swing.dialogs.aliases.AliasTableModel(List)

    • Kind Annotation Text
    postnew ArrayList(AliasTableModel#1) num objects == 1
    postthis.aliases == &new ArrayList(AliasTableModel# 1)

  • com.dmdirc.addons.ui_swing.dialogs.aliases.AliasTableModel__static_init

    • Kind Annotation Text

  • Alias getAlias(int)

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

  • List getAliases()

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

  • 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{&"Command",&"# of Arguments",&"Response"}
    test_vectorcolumnIndex: {0}, {1}, {2}

  • int getRowCount()

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

  • Object getValueAt(int, int)

    • Kind Annotation Text
    precolumnIndex in {0..2}
    prerowIndex in {0..232-2}
    prethis.aliases != null
    presumptionjava.util.List:get(...)@130 != null
    presumptionjava.util.List:get(...)@132 != null
    presumptionjava.util.List:get(...)@134 != null
    presumptionjava.util.List:size(...)@122 - rowIndex in {1..232-1}
    presumptionjava.util.List:size(...)@122 >= 1
    postinit'ed(return_value)
    test_vectorcolumnIndex: {0}, {1}, {2}

  • int indexOf(Alias)

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

  • bool isCellEditable(int, int)

    • Kind Annotation Text
    postreturn_value == 0

  • void removeRow(int)

    • Kind Annotation Text
    prethis.aliases != null

  • void setAliases(List)

    • Kind Annotation Text
    postnew ArrayList(setAliases#1) num objects == 1
    postthis.aliases == &new ArrayList(setAliases#1)

  • void setValueAt(Object, int, int)

    • Kind Annotation Text
    precolumnIndex in {0..2}
    prerowIndex in {0..232-2}
    prethis.aliases != null
    presumptioncom.dmdirc.actions.wrappers.Alias:getArguments(... )@155 != null
    presumptionjava.util.List:get(...)@152 != null
    presumptionjava.util.List:get(...)@155 != null
    presumptionjava.util.List:get(...)@158 != null
    presumptionjava.util.List:size(...)@144 - rowIndex in {1..232-1}
    presumptionjava.util.List:size(...)@144 >= 1
    test_vectorcolumnIndex: {0}, {1}, {2}