DoubleMap.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.DoubleMap()

    • Kind Annotation Text
    postnew ArrayList(DoubleMap#1) num objects == 1
    postnew ArrayList(DoubleMap#2) num objects == 1
    postthis.keys == &new ArrayList(DoubleMap#1)
    postthis.values == &new ArrayList(DoubleMap#2)

  • com.dmdirc.util.DoubleMap__static_init

    • Kind Annotation Text

  • Object getKey(Object)

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

  • Object getValue(Object)

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

  • Set keySet()

    • Kind Annotation Text
    postnew HashSet(keySet#1) num objects == 1
    postreturn_value == &new HashSet(keySet#1)

  • void put(Object, Object)

    • Kind Annotation Text
    prekey != null
    prethis.keys != null
    prethis.values != null
    prevalue != null

  • Set valueSet()

    • Kind Annotation Text
    postnew HashSet(valueSet#1) num objects == 1
    postreturn_value == &new HashSet(valueSet#1)