MapList.java

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


Filter Options
Annotation Kind:
pre
presumption
post
unanalyzed
test_vector


  • void add(Object)

    • Kind Annotation Text
    prethis.map != null
    unanalyzedcall on java.util.ArrayList
    unanalyzedcall on java.util.Map:containsKey
    unanalyzedcall on java.util.Map:get
    unanalyzedcall on java.util.Map:put

  • void add(Object, Object)

    • Kind Annotation Text
    prethis.map != null
    presumptionjava.util.Map:get(...)@133 != null
    presumptionjava.util.Map:get(...)@52 != null
    unanalyzedcall on java.util.ArrayList
    unanalyzedcall on java.util.Map:containsKey
    unanalyzedcall on java.util.Map:get
    unanalyzedcall on java.util.Map:put

  • void add(Object, Collection)

    • Kind Annotation Text
    prethis.map != null
    presumptionjava.util.Map:get(...)@133 != null
    presumptionjava.util.Map:get(...)@52 != null
    unanalyzedcall on java.util.ArrayList
    unanalyzedcall on java.util.Map:containsKey
    unanalyzedcall on java.util.Map:get
    unanalyzedcall on java.util.Map:put

  • void clear()

    • Kind Annotation Text
    prethis.map != null

  • void clear(Object)

    • Kind Annotation Text
    prethis.map != null
    presumptionjava.util.Map:get(...)@133 != null
    presumptionjava.util.Map:get(...)@52 != null
    unanalyzedcall on java.util.ArrayList
    unanalyzedcall on java.util.Map:containsKey
    unanalyzedcall on java.util.Map:get
    unanalyzedcall on java.util.Map:put

  • void com.dmdirc.util.MapList()

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

  • void com.dmdirc.util.MapList(MapList)

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

  • com.dmdirc.util.MapList__static_init

    • Kind Annotation Text

  • bool containsKey(Object)

    • Kind Annotation Text
    prethis.map != null
    postinit'ed(return_value)

  • bool containsValue(Object, Object)

    • Kind Annotation Text
    prethis.map != null
    presumptionjava.util.Map:get(...)@97 != null
    postinit'ed(return_value)

  • Set entrySet()

    • Kind Annotation Text
    prethis.map != null
    postinit'ed(return_value)

  • List get(Object)

    • Kind Annotation Text
    prethis.map != null
    postinit'ed(return_value)

  • Object get(Object, int)

    • Kind Annotation Text
    prethis.map != null
    presumptionjava.util.Map:get(...)@118 != null
    postinit'ed(return_value)

  • Map getMap()

    • Kind Annotation Text
    postnew HashMap(getMap#1) num objects == 1
    postreturn_value == &new HashMap(getMap#1)

  • bool isEmpty()

    • Kind Annotation Text
    prethis.map != null
    presumptionjava.util.Iterator:next(...)@68 != null
    presumptionjava.util.Map:values(...)@68 != null
    postinit'ed(return_value)
    test_vectorjava.util.Iterator:hasNext(...)@68: {0}, {1}
    test_vectorjava.util.List:isEmpty(...)@69: {1}, {0}

  • Set keySet()

    • Kind Annotation Text
    prethis.map != null
    postinit'ed(return_value)

  • void remove(Object)

    • Kind Annotation Text
    prethis.map != null

  • void remove(Object, Object)

    • Kind Annotation Text
    prethis.map != null
    presumptionjava.util.Map:get(...)@195 != null
    test_vectorjava.util.Map:containsKey(...)@194: {0}, {1}

  • void removeFromAll(Object)

    • Kind Annotation Text
    prethis.map != null
    presumptionjava.util.Iterator:next(...)@182 != null
    presumptionjava.util.Map:values(...)@182 != null
    test_vectorjava.util.Iterator:hasNext(...)@182: {0}, {1}

  • List safeGet(Object)

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

  • Collection values(Object)

    • Kind Annotation Text
    prethis.map != null
    postinit'ed(return_value)