Last Msg First Msg
























method com.dmdirc.addons.tabcompletion_mirc.MircStyle__ static_init










method void com.dmdirc.addons.tabcompletion_mirc. MircStyle(TabCompleter, InputWindow)
postthis.tabCompleter == completer
postinit'ed(this.tabCompleter)
postthis.window == window
postinit'ed(this.window)










method TabCompletionResult getResult(String, int, int, AdditionalTabTargets)
preinit'ed(this.lastWord)
preoriginal != null
pre(soft) this.lastResult != null
pre(soft) this.tabCompleter != null
pre(soft) this.window != null
presumptioncom.dmdirc.Channel:getChannelInfo(...)@80 != null
presumptioncom.dmdirc.Channel:getChannelInfo(...)@83 != null
presumptioncom.dmdirc.parser.irc.ChannelInfo:getName(...)@80 != null
presumptioncom.dmdirc.parser.irc.ChannelInfo:getName(...)@83 != null
presumptioncom.dmdirc.ui.input.TabCompleter:complete(...)@74 != null
presumptioncom.dmdirc.ui.input.TabCompleterResult:getResults(. ..)@85 != null
presumptioncom.dmdirc.ui.interfaces.InputWindow:getContainer(. ..)@80 != null
presumptioncom.dmdirc.ui.interfaces.InputWindow:getContainer(. ..)@83 != null
presumptionjava.awt.Toolkit:getDefaultToolkit(...)@77 != null
presumptionjava.util.List:get(...)@71 != null
presumptionjava.util.List:get(...)@85 != null
presumptionjava.util.List:size(...)@71 != 0
presumptionstart + java.lang.String:length(...)@93 in {-231..232-1}
postreturn_value in Addr_Set{null,&new TabCompletionResult(getResult#1)}
postinit'ed(this.lastResult)
postinit'ed(this.lastWord)
postnew TabCompletionResult(getResult#1) num objects <= 1
test_vectorcom.dmdirc.ui.input.TabCompleterResult:getResultCou nt(...)@76: {-231..-1, 1..232-1}, {0}
test_vectorjava.lang.String:equals(...)@69: {0}, {1}
test_vectorjava.lang.String:length(...)@80: {0}, {1..232-1}
test_vectorjava.lang.String:startsWith(...)@80: {0}, {1}









Prev Msg Next Msg
  unused assignment
Low Prob.
Unused assignment into target
Prev Msg Next Msg










  method not available - call not analyzedInfocall on TabCompleterResult com.dmdirc.ui.input. TabCompleter:complete(String, AdditionalTabTargets)










  method not available - call not analyzedInfocall on int com.dmdirc.ui.input.TabCompleterResult: getResultCount()










  method not available - call not analyzedInfocall on WritableFrameContainer com.dmdirc.ui. interfaces.InputWindow:getContainer()
  method not available - call not analyzedInfocall on ChannelInfo com.dmdirc.Channel:getChannelIn fo()
  method not available - call not analyzedInfocall on String com.dmdirc.parser.irc. ChannelInfo:getName()










  method not available - call not analyzedInfocall on WritableFrameContainer com.dmdirc.ui. interfaces.InputWindow:getContainer()
  method not available - call not analyzedInfocall on ChannelInfo com.dmdirc.Channel:getChannelIn fo()
  method not available - call not analyzedInfocall on String com.dmdirc.parser.irc. ChannelInfo:getName()










  method not available - call not analyzedInfocall on List com.dmdirc.ui.input.TabCompleterResult :getResults()










  method not available - call not analyzedInfocall on List com.dmdirc.ui.input.TabCompleterResult :getResults()










  method not available - call not analyzedInfocall on void com.dmdirc.ui.input.tabstyles. TabCompletionResult(String, int)