URLHandlerTableModel.java

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


Filter Options
Annotation Kind:
pre
presumption
post
unanalyzed
test_vector


  • void addURI(URI)

    • Kind Annotation Text
    prethis.handlers != null
    prethis.uris != null
    preuri != null
    presumptioncom.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@168 != null
    presumptioncom.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@169 != null
    presumptionjava.util.List:size(...)@175 >= -231+1
    test_vectorcom.dmdirc.config.ConfigManager:hasOptionString(... )@168: {0}, {1}

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

    • Kind Annotation Text
    postnew ArrayList(URLHandlerTableModel#1) num objects == 1
    postnew ArrayList(URLHandlerTableModel#2) num objects == 1
    postthis.handlers == &new ArrayList(URLHandlerTable Model#2)
    postthis.uris == &new ArrayList(URLHandlerTableMode l#1)
    unanalyzedcall on javax.swing.table.AbstractTableModel

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

    • Kind Annotation Text
    postinit'ed(this.handlers)
    postinit'ed(this.uris)
    postthis.handlers == handlers
    postthis.uris == uris

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

    • Kind Annotation Text

  • Class getColumnClass(int)

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

  • int getColumnCount()

    • Kind Annotation Text
    postreturn_value == 2

  • String getColumnName(int)

    • Kind Annotation Text
    precolumnIndex in {0,1}
    postreturn_value in Addr_Set{&"Protocol", &"Handler"}
    test_vectorcolumnIndex: {0}, {1}

  • int getRowCount()

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

  • Map getURLHandlers()

    • Kind Annotation Text
    pre(soft) this.handlers != null
    prethis.uris != null
    postnew HashMap(getURLHandlers#1) num objects == 1
    postreturn_value == &new HashMap(getURLHandlers#1)

  • Object getValueAt(int, int)

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

  • void removeURI(int)

    • Kind Annotation Text
    pre(soft) this.handlers != null
    pre(soft) this.uris != null
    test_vectorindex: {-1}, {-231..-2, 0.. 232-1}

  • void removeURI(URI)

    • Kind Annotation Text
    pre(soft) this.handlers != null
    prethis.uris != null
    unanalyzedcall on com.dmdirc.addons.ui_swing.dialogs.prefs. URLHandlerTableModel:fireTableRowsDeleted
    unanalyzedcall on java.util.List:remove

  • void setValueAt(Object, int, int)

    • Kind Annotation Text
    pre(soft) this.handlers != null
    precolumnIndex in {0,1}
    prerowIndex in {0..232-2}
    prethis.uris != null
    presumptionjava.lang.String:instanceof(...)@149 == 1
    presumptionjava.net.URI:instanceof(...)@143 == 1
    presumptionjava.util.List:size(...)@134 - rowIndex in {1..232-1}
    presumptionjava.util.List:size(...)@134 >= 1
    test_vectorcolumnIndex: {0}, {1}