ProcessPart.java

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


Filter Options
Annotation Kind:
pre
presumption
post
unanalyzed
test_vector


  • bool callChannelPart(ChannelInfo, ChannelClientInfo, String)

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

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

  • com.dmdirc.parser.irc.ProcessPart__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] == &"PART"

  • void process(String, String[])

    • Kind Annotation Text
    pre(soft) init'ed(this.myParser.cMyself)
    pre(soft) init'ed(this.myParser.lastLine)
    pre(soft) init'ed(this.myParser.removeAfterCallback)
    pre(soft) init'ed(this.myParser.stringConverter)
    pre(soft) init'ed(this.myParser.stringConverter. lowercase[...])
    pre(soft) init'ed(token[...])
    pre(soft) this.myParser != null
    pre(soft) this.myParser.hChannelList != null
    pre(soft) this.myParser.hClientList != null
    pre(soft) this.myParser.myCallbackManager != null
    pre(soft) this.myParser.myCallbackManager. callbackHash != null
    pre(soft) this.myParser.stringConverter.lowercase != null
    pre(soft) token[0] != null
    pre(soft) token[2] != null
    pretoken != null
    pretoken.length <= 232
    presumptioniChannel.hChannelUserList != null
    presumptioniChannel.myParser != null
    presumptioniChannel.myParser.hClientList != null
    presumptioniChannel.myParser.stringConverter.lowercase@68 != null
    presumptioniChannel.sName != null
    presumptioniClient.sHost != null
    presumptionthis.myParser.stringConverter.lowercase != null
    postinit'ed(new IRCStringConverter(getIRCStringConverte r#1).limit)
    postinit'ed(new IRCStringConverter(getIRCStringConverte r#1).lowercase)
    postinit'ed(new IRCStringConverter(getIRCStringConverte r#1).uppercase)
    postinit'ed(new char[](IRCStringConverter#1).length)
    postinit'ed(new char[](IRCStringConverter#2).length)
    postinit'ed(this.myParser.stringConverter)
    postnew IRCStringConverter(getIRCStringConverter#1) num objects <= 1
    postnew IRCStringConverter(getIRCStringConverter#1) num objects == 0
    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 <= 1
    postnew char[](IRCStringConverter#1) num objects == 0
    postnew char[](IRCStringConverter#1).length == 127
    postnew char[](IRCStringConverter#2) num objects <= 1
    postnew char[](IRCStringConverter#2) num objects == 0
    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 callErrorInfo
    unanalyzedcall on forceRemoveClient
    unanalyzedcall on getCallbackManager
    unanalyzedcall on getCallbackType
    unanalyzedcall on getChannel
    unanalyzedcall on getChannelInfo
    unanalyzedcall on getClient
    unanalyzedcall on getClientInfo
    unanalyzedcall on getName
    unanalyzedcall on getNickname
    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:format
    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:clear
    unanalyzedcall on java.util.Map:containsKey
    unanalyzedcall on java.util.Map:get
    unanalyzedcall on java.util.Map:isEmpty
    unanalyzedcall on java.util.Map:remove
    unanalyzedcall on java.util.Map:values
    unanalyzedcall on parseHost
    test_vectorjava.lang.String:isEmpty(...)@49: {0}, {1}
    test_vectorthis.myParser.removeAfterCallback: {0}, {1}
    test_vectortoken.length: {3}, {0..2}, {4..232}