ProcessWho.java

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


Filter Options
Annotation Kind:
pre
presumption
post
unanalyzed
test_vector


  • bool callAwayState(bool, String)

    • Kind Annotation Text
    prethis.myParser != null
    prethis.myParser.myCallbackManager != null
    prethis.myParser.myCallbackManager.callbackHash != null
    presumptiongetCallbackManager(...)@91 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

  • bool callAwayStateOther(ClientInfo, bool)

    • Kind Annotation Text
    prethis.myParser != null
    prethis.myParser.myCallbackManager != null
    prethis.myParser.myCallbackManager.callbackHash != null
    presumptiongetCallbackManager(...)@103 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

  • bool callChannelAwayStateOther(ChannelInfo, ChannelClientInfo, bool)

    • Kind Annotation Text
    prethis.myParser != null
    prethis.myParser.myCallbackManager != null
    prethis.myParser.myCallbackManager.callbackHash != null
    presumptiongetCallbackManager(...)@116 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.ProcessWho(IRCParser, ProcessingManager)

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

  • com.dmdirc.parser.irc.ProcessWho__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 == 1
    postreturn_value[0] == &"352"

  • void process(String, String[])

    • Kind Annotation Text
    pre(soft) init'ed(this.myParser.cMyself)
    pre(soft) init'ed(this.myParser.stringConverter. lowercase[...])
    pre(soft) init'ed(token[4])
    pre(soft) init'ed(token[5])
    pre(soft) this.myParser.hChannelList != null
    pre(soft) this.myParser.myCallbackManager != null
    pre(soft) this.myParser.myCallbackManager. callbackHash != null
    pre(soft) this.myParser.stringConverter.lowercase != null
    pre(soft) token.length >= 10
    pre(soft) token[8] != null
    pre(soft) token[9] != null
    preinit'ed(this.myParser.stringConverter)
    prethis.myParser != null
    prethis.myParser.hClientList != null
    pretoken != null
    pretoken[7] != null
    presumptionclient.sRealName != null
    presumptioniChannel.hChannelUserList@71 != null
    presumptionjava.util.Iterator:next(...)@71 != null
    presumptionjava.util.Map:values(...)@2067 != null
    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)[...])
    postthis.myParser.stringConverter != null
    postthis.myParser.stringConverter == One-of{old this.myParser.stringConverter, &amp;new IRCStringConverter(getIRCStringConverter#1)}
    unanalyzedcall on call
    unanalyzedcall on getCallbackManager
    unanalyzedcall on getCallbackType
    unanalyzedcall on getClient
    unanalyzedcall on java.lang.Boolean:valueOf
    unanalyzedcall on java.lang.RuntimeException
    unanalyzedcall on java.lang.String
    unanalyzedcall on java.lang.String:charAt
    unanalyzedcall on java.lang.String:isEmpty
    unanalyzedcall on java.lang.String:length
    unanalyzedcall on java.lang.String:split
    unanalyzedcall on java.lang.String:substring
    unanalyzedcall on java.lang.String:toCharArray
    unanalyzedcall on java.lang.String:toLowerCase
    unanalyzedcall on java.lang.Throwable:__curr_excep_obj
    unanalyzedcall on java.util.Collection:iterator
    unanalyzedcall on java.util.Map:containsKey
    unanalyzedcall on java.util.Map:get
    unanalyzedcall on java.util.Map:values
    unanalyzedcall on parseHost
    test_vectorclient.bIsAway: {0}, {1}
    test_vectorjava.lang.String:indexOf(...)@60: {-231.. -2, 0..232-1}, {-1}
    test_vectorjava.lang.String:isEmpty(...)@54: {0}, {1}
    test_vectorjava.util.Iterator:hasNext(...)@71: {0}, {1}