MircStyle.java

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


Filter Options
Annotation Kind:
pre
presumption
post
unanalyzed
test_vector


  • void com.dmdirc.addons.tabcompletion_mirc.MircStyle(TabCompleter, InputWindow)

    • Kind Annotation Text
    postinit'ed(this.tabCompleter)
    postinit'ed(this.window)
    postthis.tabCompleter == completer
    postthis.window == window

  • com.dmdirc.addons.tabcompletion_mirc.MircStyle__static_init

    • Kind Annotation Text

  • TabCompletionResult getResult(String, int, int, AdditionalTabTargets)

    • Kind Annotation Text
    pre(soft) this.lastResult != null
    pre(soft) this.tabCompleter != null
    pre(soft) this.window != null
    preinit'ed(this.lastWord)
    preoriginal != 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}
    postinit'ed(this.lastResult)
    postinit'ed(this.lastWord)
    postnew TabCompletionResult(getResult#1) num objects <= 1
    postreturn_value in Addr_Set{null,&amp;new TabCompletionResult(getResult#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}