ProcessNames.java

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


Filter Options
Annotation Kind:
pre
presumption
post
unanalyzed
test_vector


  • bool callChannelGotNames(ChannelInfo)

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

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

  • com.dmdirc.parser.irc.ProcessNames__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 == 2
    postreturn_value[0] == &"353"
    postreturn_value[1] == &"366"

  • void process(String, String[])

    • Kind Annotation Text
    pre(soft) init'ed(this.myParser.autoListMode)
    pre(soft) init'ed(this.myParser.stringConverter. lowercase[...])
    pre(soft) this.myParser != 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 in {5..232}
    pre(soft) token[...] != null
    pre(soft) token[3] != null
    pre(soft) token[4] != null
    preinit'ed(this.myParser.stringConverter)
    presParam != null
    prethis.myParser.hChannelList != null
    pretoken != null
    presumptioniChannel.hChannelUserList != null
    presumptioniChannel.myParser != null
    presumptioniChannel.myParser.cMyself@44 != null
    presumptioniChannel.myParser.h005Info != null
    presumptioniChannel.myParser.hChanModesOther != null
    presumptioniChannel.myParser.hChannelList@44 != null
    presumptioniChannel.myParser.hClientList != null
    presumptioniChannel.myParser.hPrefixModes != null
    presumptioniChannel.myParser.myCallbackManager. callbackHash@44 != null
    presumptioniChannel.myParser.myCallbackManager@44 != null
    presumptioniChannel.myParser.sNetworkName@44 != null
    presumptioniChannel.myParser.stringConverter.lowercase != null
    postinit'ed(new IRCStringConverter(getIRCStringConverte r#1) num objects)
    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) num objects)
    postinit'ed(new char[](IRCStringConverter#1).length)
    postinit'ed(new char[](IRCStringConverter#1)[...])
    postinit'ed(new char[](IRCStringConverter#2) num objects)
    postinit'ed(new char[](IRCStringConverter#2).length)
    postinit'ed(new char[](IRCStringConverter#2)[...])
    postinit'ed(this.myParser.stringConverter)
    postnew IRCStringConverter(getIRCStringConverter#1) num objects <= 1
    postnew char[](IRCStringConverter#1) num objects <= 1
    postnew char[](IRCStringConverter#2) num objects <= 1
    postpossibly_updated(new char[](IRCStringConverter#1)[...])
    postpossibly_updated(new char[](IRCStringConverter#2)[...])
    unanalyzedcall on call
    unanalyzedcall on callDebugInfo
    unanalyzedcall on com.dmdirc.parser.irc.ChannelClientInfo
    unanalyzedcall on doSendString
    unanalyzedcall on forceRemoveClient
    unanalyzedcall on getCallbackManager
    unanalyzedcall on getCallbackType
    unanalyzedcall on getChannel
    unanalyzedcall on getChannelInfo
    unanalyzedcall on getClient
    unanalyzedcall on getClientInfo
    unanalyzedcall on getImportantModeValue
    unanalyzedcall on getListModeQueue
    unanalyzedcall on getName
    unanalyzedcall on getNickname
    unanalyzedcall on getUser
    unanalyzedcall on java.io.PrintWriter:printf
    unanalyzedcall on java.lang.Boolean:valueOf
    unanalyzedcall on java.lang.Byte:byteValue
    unanalyzedcall on java.lang.Character:charValue
    unanalyzedcall on java.lang.Character:valueOf
    unanalyzedcall on java.lang.Integer:parseInt
    unanalyzedcall on java.lang.Integer:valueOf
    unanalyzedcall on java.lang.Long:longValue
    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:indexOf
    unanalyzedcall on java.lang.String:isEmpty
    unanalyzedcall on java.lang.String:length
    unanalyzedcall on java.lang.String:matches
    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.System:currentTimeMillis
    unanalyzedcall on java.lang.Throwable:__curr_excep_obj
    unanalyzedcall on java.util.Collection:iterator
    unanalyzedcall on java.util.HashMap
    unanalyzedcall on java.util.Hashtable
    unanalyzedcall on java.util.LinkedList
    unanalyzedcall on java.util.LinkedList:contains
    unanalyzedcall on java.util.LinkedList:offer
    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:keySet
    unanalyzedcall on java.util.Map:put
    unanalyzedcall on java.util.Map:remove
    unanalyzedcall on java.util.Map:values
    unanalyzedcall on java.util.Queue:offer
    unanalyzedcall on java.util.Set:iterator
    unanalyzedcall on parseHost
    unanalyzedcall on setAwayReason
    test_vectoriChannel.askedForListModes@44: {1}, {0}
    test_vectoriChannel.bAddingNames: {1}, {0}
    test_vectorjava.lang.String:equals(...)@38: {0}, {1}
    test_vectorthis.myParser.autoListMode: {0}, {1}