CallbackManager.java

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


Filter Options
Annotation Kind:
pre
presumption
post
unanalyzed
test_vector


  • void addAllCallback(ICallbackInterface)

    • Kind Annotation Text
    prethis.callbackHash != null
    presumptioncb.callbackInfo@145 != null
    presumptionjava.util.Map:values(...)@145 != null
    unanalyzedcall on java.util.Hashtable:containsKey
    unanalyzedcall on java.util.Hashtable:remove
    unanalyzedcall on java.util.List:add
    unanalyzedcall on java.util.List:contains
    test_vectorjava.util.Iterator:hasNext(...)@145: {0}, {1}
    test_vectorjava.util.Iterator:next(...)@145: Addr_Set{null}, Inverse{null}

  • void addCallback(String, ICallbackInterface)

    • Kind Annotation Text
    precallbackName != null
    preo != null
    prethis.callbackHash != null
    presumptioncb.callbackInfo != null
    unanalyzedcall on java.lang.RuntimeException
    unanalyzedcall on java.lang.String:toLowerCase
    unanalyzedcall on java.util.Hashtable:containsKey
    unanalyzedcall on java.util.Hashtable:remove
    unanalyzedcall on java.util.List:add
    unanalyzedcall on java.util.List:contains
    unanalyzedcall on java.util.Map:containsKey
    unanalyzedcall on java.util.Map:get

  • void addCallback(String, ICallbackInterface, String)

    • Kind Annotation Text
    precallbackName != null
    preo != null
    pretarget != null
    prethis.callbackHash != null
    presumptiongetCallbackType(...).callbackInfo != null
    presumptiongetCallbackType(...).specificData != null
    unanalyzedcall on java.lang.RuntimeException
    unanalyzedcall on java.lang.String:isEmpty
    unanalyzedcall on java.lang.String:toLowerCase
    unanalyzedcall on java.util.Hashtable:containsKey
    unanalyzedcall on java.util.Hashtable:put
    unanalyzedcall on java.util.Hashtable:remove
    unanalyzedcall on java.util.List:add
    unanalyzedcall on java.util.List:contains
    unanalyzedcall on java.util.Map:containsKey
    unanalyzedcall on java.util.Map:get

  • bool addCallbackType(CallbackObject)

    • Kind Annotation Text
    precallback != null
    precallback.type != null
    prethis.callbackHash != null
    postinit'ed(return_value)
    unanalyzedcall on java.lang.Class:getSimpleName
    unanalyzedcall on java.lang.String:substring
    unanalyzedcall on java.lang.String:toLowerCase
    test_vectorjava.util.Map:containsKey(...)@93: {1}, {0}

  • bool addNonCriticalCallback(String, ICallbackInterface)

    • Kind Annotation Text
    pre(soft) callbackName != null
    pre(soft) o != null
    pre(soft) this.callbackHash != null
    postinit'ed(return_value)
    unanalyzedcall on java.lang.RuntimeException
    unanalyzedcall on java.lang.String:toLowerCase
    unanalyzedcall on java.util.Hashtable:containsKey
    unanalyzedcall on java.util.Hashtable:remove
    unanalyzedcall on java.util.List:add
    unanalyzedcall on java.util.List:contains
    unanalyzedcall on java.util.Map:containsKey
    unanalyzedcall on java.util.Map:get

  • bool addNonCriticalCallback(String, ICallbackInterface, String)

    • Kind Annotation Text
    pre(soft) callbackName != null
    pre(soft) o != null
    pre(soft) target != null
    pre(soft) this.callbackHash != null
    postinit'ed(return_value)
    unanalyzedcall on java.lang.RuntimeException
    unanalyzedcall on java.lang.String:isEmpty
    unanalyzedcall on java.lang.String:toLowerCase
    unanalyzedcall on java.util.Hashtable:containsKey
    unanalyzedcall on java.util.Hashtable:put
    unanalyzedcall on java.util.Hashtable:remove
    unanalyzedcall on java.util.List:add
    unanalyzedcall on java.util.List:contains
    unanalyzedcall on java.util.Map:containsKey
    unanalyzedcall on java.util.Map:get

  • void com.dmdirc.parser.irc.callbacks.CallbackManager(IRCParser)

    • Kind Annotation Text
    pre(soft) CLASSES[...] != null
    presumptionjava.lang.Class:asSubclass(...)@77 != null
    presumptionjava.lang.Class:asSubclass(...)@80 != null
    postinit'ed(this.myParser)
    postnew Hashtable(CallbackManager#1) num objects == 1
    postthis.callbackHash == &new Hashtable(CallbackMan ager#1)
    postthis.myParser == parser
    unanalyzedcall on java.lang.Class:getSimpleName
    unanalyzedcall on java.lang.String:substring
    unanalyzedcall on java.lang.String:toLowerCase
    unanalyzedcall on java.util.ArrayList
    unanalyzedcall on java.util.Hashtable
    unanalyzedcall on java.util.Map:containsKey
    unanalyzedcall on java.util.Map:put
    test_vectorjava.lang.Class:isAnnotationPresent(...)@76: {0}, {1}

  • com.dmdirc.parser.irc.callbacks.CallbackManager__static_init

    • Kind Annotation Text
    postCLASSES == &new Class[](CallbackManager__ static_init#1)
    postCLASSES.length == 59
    postnew Class[](CallbackManager__static_init#1) num objects == 1

  • void delAllCallback(ICallbackInterface)

    • Kind Annotation Text
    prethis.callbackHash != null
    presumptioncb.callbackInfo@134 != null
    presumptionjava.util.Map:values(...)@134 != null
    unanalyzedcall on java.util.Hashtable:containsKey
    unanalyzedcall on java.util.Hashtable:remove
    unanalyzedcall on java.util.List:remove
    test_vectorjava.util.Iterator:hasNext(...)@134: {0}, {1}
    test_vectorjava.util.Iterator:next(...)@134: Addr_Set{null}, Inverse{null}

  • void delCallback(String, ICallbackInterface)

    • Kind Annotation Text
    precallbackName != null
    prethis.callbackHash != null
    presumptiongetCallbackType(...).callbackInfo != null
    unanalyzedcall on java.lang.RuntimeException
    unanalyzedcall on java.lang.String:toLowerCase
    unanalyzedcall on java.util.Hashtable:containsKey
    unanalyzedcall on java.util.Hashtable:remove
    unanalyzedcall on java.util.List:remove
    unanalyzedcall on java.util.Map:containsKey
    unanalyzedcall on java.util.Map:get

  • bool delCallbackType(CallbackObject)

    • Kind Annotation Text
    precallback != null
    precallback.type != null
    prethis.callbackHash != null
    postinit'ed(return_value)
    unanalyzedcall on java.lang.Class:getSimpleName
    unanalyzedcall on java.lang.String:substring
    unanalyzedcall on java.lang.String:toLowerCase
    test_vectorjava.util.Map:containsKey(...)@107: {0}, {1}

  • CallbackObject getCallbackType(String)

    • Kind Annotation Text
    precallbackName != null
    prethis.callbackHash != null
    presumptionjava.util.Map:containsKey(...)@121 == 1
    postinit'ed(return_value)
    unanalyzedcall on java.lang.RuntimeException