WeakMapList.java

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


Filter Options
Annotation Kind:
pre
presumption
post
unanalyzed
test_vector


  • void com.dmdirc.util.WeakMapList()

    • Kind Annotation Text
    postnew HashMap(MapList#1) num objects == 1
    postthis.map == &new HashMap(MapList#1)
    unanalyzedcall on java.util.HashMap

  • com.dmdirc.util.WeakMapList__static_init

    • Kind Annotation Text

  • List safeGet(Object)

    • Kind Annotation Text
    prethis.map != null
    postinit'ed(return_value)
    unanalyzedcall on java.util.ArrayList
    test_vectorjava.util.Map:containsKey(...)@48: {1}, {0}