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










method void com.dmdirc.addons.ui_swing.dialogs.prefs. URLHandlerTableModel()
postthis.handlers == &new ArrayList(URLHandlerTable Model#2)
postthis.uris == &new ArrayList(URLHandlerTableMode l#1)
postnew ArrayList(URLHandlerTableModel#1) num objects == 1
postnew ArrayList(URLHandlerTableModel#2) num objects == 1
unanalyzedcall on javax.swing.table.AbstractTableModel










method void com.dmdirc.addons.ui_swing.dialogs.prefs. URLHandlerTableModel(List, List)
postthis.handlers == handlers
postinit'ed(this.handlers)
postthis.uris == uris
postinit'ed(this.uris)










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










method int getColumnCount()
postreturn_value == 2










method String getColumnName(int)
precolumnIndex in {0,1}
postreturn_value in Addr_Set{&"Protocol", &"Handler"}
test_vectorcolumnIndex: {0}, {1}










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










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










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









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











method void addURI(URI)
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}









  method not available - call not analyzedInfocall on ConfigManager com.dmdirc.config. IdentityManager:getGlobalConfig()
  method not available - call not analyzedInfocall on bool com.dmdirc.config.ConfigManager:hasOpt ionString(String, String)










  method not available - call not analyzedInfocall on ConfigManager com.dmdirc.config. IdentityManager:getGlobalConfig()
  method not available - call not analyzedInfocall on String com.dmdirc.config.ConfigManager:getO ption(String, String)










  method not available - call not analyzedInfocall on void com.dmdirc.addons.ui_swing.dialogs. prefs.URLHandlerTableModel:fireTableRowsInserted(in t, int)











method void removeURI(URI)
prethis.uris != null
pre(soft) this.handlers != null
unanalyzedcall on java.util.List:remove
unanalyzedcall on com.dmdirc.addons.ui_swing.dialogs.prefs. URLHandlerTableModel:fireTableRowsDeleted










method void removeURI(int)
pre(soft) this.handlers != null
pre(soft) this.uris != null
test_vectorindex: {-1}, {-231..-2, 0.. 232-1}









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











method Map getURLHandlers()
prethis.uris != null
pre(soft) this.handlers != null
postreturn_value == &new HashMap(getURLHandlers#1)
postnew HashMap(getURLHandlers#1) num objects == 1