ProcessQuit.java

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


Filter Options
Annotation Kind:
pre
presumption
post
unanalyzed
test_vector


  • bool callChannelQuit(ChannelInfo, ChannelClientInfo, String)

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

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

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

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

  • void process(String, String[])

    • Kind Annotation Text
    pre(soft) init'ed(this.myParser.cMyself)
    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.cMyself.sNickname != 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
    pretoken != null
    pretoken.length <= 232
    presumptioniChannel.hChannelUserList@57 != null
    presumptioniChannel.myParser.hClientList@57 != null
    presumptioniChannel.myParser.stringConverter.lowercase@58 != null
    presumptioniChannel.myParser@57 != null
    presumptioniChannel.sName@57 != null
    presumptioniClient.sHost != null
    presumptioniClient.sNickname != null
    presumptionjava.util.ArrayList:iterator(...)@57 != null
    presumptionjava.util.Iterator:next(...)@57 != null
    presumptionthis.myParser.stringConverter.lowercase@56 != null
    presumptionthis.myParser.stringConverter.lowercase@63 != 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 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).length == 127
    postnew char[](IRCStringConverter#2) num objects <= 1
    postnew char[](IRCStringConverter#2).length == 127
    postpossibly_updated(new char[](IRCStringConverter#1)[...])
    postpossibly_updated(new char[](IRCStringConverter#2)[...])
    unanalyzedcall on addClient
    unanalyzedcall on call
    unanalyzedcall on forceRemoveClient
    unanalyzedcall on getCallbackManager
    unanalyzedcall on getCallbackType
    unanalyzedcall on getChannel
    unanalyzedcall on getClient
    unanalyzedcall on getClientInfo
    unanalyzedcall on getName
    unanalyzedcall on getNickname
    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:clear
    unanalyzedcall on java.util.Map:containsKey
    unanalyzedcall on java.util.Map:get
    unanalyzedcall on java.util.Map:isEmpty
    unanalyzedcall on java.util.Map:put
    unanalyzedcall on java.util.Map:remove
    unanalyzedcall on java.util.Map:values
    unanalyzedcall on parseHost
    test_vectorjava.lang.String:isEmpty(...)@49: {0}, {1}
    test_vectorjava.util.Iterator:hasNext(...)@57: {0}, {1}
    test_vectorthis.myParser.removeAfterCallback: {0}, {1}
    test_vectortoken.length: {2}, {0,1}, {3..232}