Last Msg First Msg
























method com.dmdirc.addons.urlcatcher.UrlListCommand__ static_init










method void com.dmdirc.addons.urlcatcher.UrlListCommand(U rlCatcherPlugin)
postthis.plugin == plugin
postinit'ed(this.plugin)










method void execute(InputWindow, bool, CommandArguments)
prethis.plugin != null
prethis.plugin.urls != null
presumptionjava.util.Iterator:next(...)@54 != null
presumptionjava.util.Map:entrySet(...)@54 != null
presumptionjava.util.Map:size(...)@51 >= 1
presumptionjava.util.Map_Entry:getValue(...)@55 != null
unanalyzedcall on com.dmdirc.ui.interfaces.InputWindow:addLin e
test_vectorjava.util.Iterator:hasNext(...)@54: {0}, {1}









Prev Msg Next Msg
  array index out of bounds
Medium Prob.
check that i < data.length
  overflow
Low Prob.
check that i in {-231-1..232-2}
Prev Msg Next Msg










  method not available - call not analyzedInfocall on String com.dmdirc.addons.urlcatcher. UrlListCommand:doTable(String[], String[][])











method String getName()
postreturn_value == &amp;"urllist"










method bool showInHelp()
postreturn_value == 1










method String getHelp()
postreturn_value == &amp;"urllist - shows a list of URLs that have been seen"










method AdditionalTabTargets getSuggestions(int, List)
postinit'ed(return_value)









  method not available - call not analyzedInfocall on void com.dmdirc.ui.input.AdditionalTabTarge ts()
  method not available - call not analyzedInfocall on AdditionalTabTargets com.dmdirc.ui.input. AdditionalTabTargets:excludeAll()