ProcessListModes.java

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


Filter Options
Annotation Kind:
pre
presumption
post
unanalyzed
test_vector


  • bool callChannelGotListModes(ChannelInfo)

    • Kind Annotation Text
    prethis.myParser != null
    prethis.myParser.myCallbackManager != null
    prethis.myParser.myCallbackManager.callbackHash != null
    presumptiongetCallbackManager(...)@230 init'ed
    postinit'ed(return_value)
    unanalyzedcall on getCallbackManager
    unanalyzedcall on java.lang.RuntimeException
    unanalyzedcall on java.lang.String:toLowerCase
    unanalyzedcall on java.util.Map:containsKey
    unanalyzedcall on java.util.Map:get

  • void com.dmdirc.parser.irc.ProcessListModes(IRCParser, ProcessingManager)

    • Kind Annotation Text
    postinit'ed(this.myManager)
    postinit'ed(this.myParser)
    postthis.myManager == manager
    postthis.myParser == parser

  • com.dmdirc.parser.irc.ProcessListModes__static_init

    • Kind Annotation Text

  • String[] handles()

    • Kind Annotation Text
    postnew String[](handles#1) num objects == 1
    postreturn_value == &new String[](handles#1)
    postreturn_value.length == 16
    postreturn_value[0] == &"367"
    postreturn_value[10] == &"388"
    postreturn_value[11] == &"389"
    postreturn_value[12] == &"940"
    postreturn_value[13] == &"941"
    postreturn_value[14] == &"482"
    postreturn_value[15] == &"__LISTMODE__"
    postreturn_value[1] == &"368"
    postreturn_value[2] == &"344"
    postreturn_value[3] == &"345"
    postreturn_value[4] == &"346"
    postreturn_value[5] == &"347"
    postreturn_value[6] == &"348"
    postreturn_value[7] == &"349"
    postreturn_value[8] == &"386"
    postreturn_value[9] == &"387"

  • void process(String, String[])

    • Kind Annotation Text
    pre(soft) init'ed(this.myParser.lastLine)
    pre(soft) init'ed(this.myParser.stringConverter. lowercase[...])
    pre(soft) sParam != null
    pre(soft) this.myParser.h005Info != null
    pre(soft) this.myParser.myCallbackManager != null
    pre(soft) this.myParser.myCallbackManager. callbackHash != null
    pre(soft) this.myParser.sNetworkName != null
    pre(soft) this.myParser.stringConverter.lowercase != null
    pre(soft) token[4] != null
    pre(soft) token[...] != null
    preinit'ed(this.myParser.stringConverter)
    prethis.myParser != null
    prethis.myParser.hChannelList != null
    pretoken != null
    pretoken.length >= 4
    pretoken[3] != null
    presumptionchannel.hListModes != null
    presumptionchannel.lAddingModes != null
    presumptionchannel.myParser != null
    presumptionchannel.myParser.h005Info != null
    presumptionchannel.myParser.hChanModesOther != null
    presumptionchannel.myParser.myCallbackManager.callbackHash != null
    presumptionchannel.myParser.myCallbackManager@43 != null
    presumptionchannel.myParser.sNetworkName != null
    presumptionchannel.myParser.stringConverter != null
    presumptionchannel.myParser.stringConverter.lowercase. length@157 >= 1
    presumptionchannel.myParser.stringConverter.lowercase@157 != null
    presumptionjava.lang.Character:valueOf(...)@105 != null
    presumptionjava.lang.Character:valueOf(...)@190 != null
    presumptionjava.util.Queue:peek(...)@106 != null
    postinit'ed(this.myParser.stringConverter)
    postnew IRCStringConverter(getIRCStringConverter#1) num objects <= 1
    postnew IRCStringConverter(getIRCStringConverter#1). limit == 4
    postnew IRCStringConverter(getIRCStringConverter#1). lowercase == &amp;new char[](IRCStringConverter#1)
    postnew IRCStringConverter(getIRCStringConverter#1). uppercase == &amp;new char[](IRCStringConverter#2)
    postnew char[](IRCStringConverter#1) num objects == new IRCStringConverter(getIRCStringConverter#1) num objects
    postnew char[](IRCStringConverter#1).length == 127
    postnew char[](IRCStringConverter#2) num objects == new IRCStringConverter(getIRCStringConverter#1) num objects
    postnew char[](IRCStringConverter#2).length == 127
    postpossibly_updated(new char[](IRCStringConverter#1)[...])
    postpossibly_updated(new char[](IRCStringConverter#2)[...])
    unanalyzedcall on call
    unanalyzedcall on callDebugInfo
    unanalyzedcall on getCallbackManager
    unanalyzedcall on getCallbackType
    unanalyzedcall on getChannelInfo
    unanalyzedcall on java.lang.Byte:byteValue
    unanalyzedcall on java.lang.Character:charValue
    unanalyzedcall on java.lang.Character:valueOf
    unanalyzedcall on java.lang.Integer:valueOf
    unanalyzedcall on java.lang.RuntimeException
    unanalyzedcall on java.lang.String
    unanalyzedcall on java.lang.String:charAt
    unanalyzedcall on java.lang.String:equals
    unanalyzedcall on java.lang.String:equalsIgnoreCase
    unanalyzedcall on java.lang.String:format
    unanalyzedcall on java.lang.String:isEmpty
    unanalyzedcall on java.lang.String:length
    unanalyzedcall on java.lang.String:matches
    unanalyzedcall on java.lang.String:substring
    unanalyzedcall on java.lang.String:toCharArray
    unanalyzedcall on java.lang.String:toLowerCase
    unanalyzedcall on java.lang.System:currentTimeMillis
    unanalyzedcall on java.lang.Throwable:__curr_excep_obj
    unanalyzedcall on java.util.ArrayList
    unanalyzedcall on java.util.ArrayList:add
    unanalyzedcall on java.util.ArrayList:get
    unanalyzedcall on java.util.ArrayList:remove
    unanalyzedcall on java.util.ArrayList:size
    unanalyzedcall on java.util.LinkedList
    unanalyzedcall on java.util.List:add
    unanalyzedcall on java.util.List:clear
    unanalyzedcall on java.util.List:contains
    unanalyzedcall on java.util.List:remove
    unanalyzedcall on java.util.Map:containsKey
    unanalyzedcall on java.util.Map:get
    unanalyzedcall on java.util.Map:put
    test_vectorjava.lang.Character:charValue(...)@106: {98}, {113}, {0..97, 99, 101..112, 114..216-1}, {100}
    test_vectorjava.lang.String:charAt(...)@152: {0..36, 38..216-1}, {37}
    test_vectorjava.lang.String:equals(...)@100: {0}, {1}
    test_vectorjava.lang.String:equals(...)@116: {0}, {1}
    test_vectorjava.lang.String:equals(...)@116: {1}, {0}
    test_vectorjava.lang.String:equals(...)@144: {0}, {1}
    test_vectorjava.lang.String:equals(...)@144: {1}, {0}
    test_vectorjava.lang.String:equals(...)@152: {0}, {1}
    test_vectorjava.lang.String:equals(...)@164: {0}, {1}
    test_vectorjava.lang.String:equals(...)@164: {1}, {0}
    test_vectorjava.lang.String:equals(...)@53: {0}, {1}
    test_vectorjava.lang.String:equals(...)@53: {1}, {0}
    test_vectorjava.lang.String:equals(...)@58: {0}, {1}
    test_vectorjava.lang.String:equals(...)@58: {1}, {0}
    test_vectorjava.lang.String:equals(...)@62: {0}, {1}
    test_vectorjava.lang.String:equals(...)@62: {1}, {0}
    test_vectorjava.lang.String:equals(...)@66: {0}, {1}
    test_vectorjava.lang.String:equals(...)@66: {1}, {0}
    test_vectorjava.lang.String:equals(...)@70: {0}, {1}
    test_vectorjava.lang.String:equals(...)@70: {1}, {0}
    test_vectorjava.lang.String:equals(...)@72: {0}, {1}
    test_vectorjava.lang.String:equals(...)@74: {0}, {1}
    test_vectorjava.lang.String:equals(...)@80: {0}, {1}
    test_vectorjava.lang.String:equals(...)@80: {1}, {0}
    test_vectorjava.lang.String:equals(...)@84: {0}, {1}
    test_vectorjava.lang.String:equals(...)@84: {1}, {0}
    test_vectorjava.lang.String:equals(...)@88: {0}, {1}
    test_vectorjava.lang.String:equals(...)@88: {1}, {0}
    test_vectorjava.lang.String:equals(...)@93: {0}, {1}
    test_vectorjava.lang.String:indexOf(...)@148: {-231. .-1}, {0..232-2}
    test_vectorjava.lang.String:isEmpty(...)@187: {1}, {0}
    test_vectorjava.util.LinkedList:size(...)@195: {-231..-1, 1..232-1}, {0}
    test_vectorjava.util.List:contains(...)@566: {1}, {0}
    test_vectorjava.util.Queue:peek(...)@104: Addr_Set{null}, Inverse{null}
    test_vectortoken.length: {7..+Inf}, {4}