WeakList.java

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


Filter Options
Annotation Kind:
pre
presumption
post
unanalyzed
test_vector


  • void add(int, Object)

    • Kind Annotation Text
    prethis.list != null
    unanalyzedcall on java.lang.ref.WeakReference

  • bool add(Object)

    • Kind Annotation Text
    prethis.list != null
    postinit'ed(return_value)
    unanalyzedcall on java.lang.ref.WeakReference

  • bool addAll(int, Collection)

    • Kind Annotation Text
    prec != null
    prethis.list != null
    postinit'ed(return_value)
    unanalyzedcall on java.lang.ref.WeakReference
    unanalyzedcall on java.util.ArrayList
    unanalyzedcall on java.util.Collection:add
    unanalyzedcall on java.util.Collection:iterator

  • bool addAll(Collection)

    • Kind Annotation Text
    prec != null
    prethis.list != null
    postinit'ed(return_value)
    unanalyzedcall on java.lang.ref.WeakReference
    unanalyzedcall on java.util.ArrayList
    unanalyzedcall on java.util.Collection:add
    unanalyzedcall on java.util.Collection:iterator

  • void cleanUp()

    • Kind Annotation Text
    prethis.list != null
    presumptionjava.util.List:get(...)@56 != null
    test_vectorjava.lang.ref.WeakReference:get(...)@56: Inverse{null}, Addr_Set{null}

  • void clear()

    • Kind Annotation Text
    prethis.list != null

  • void com.dmdirc.util.WeakList()

    • Kind Annotation Text
    postnew ArrayList(WeakList#1) num objects == 1
    postthis.list == &new ArrayList(WeakList#1)

  • com.dmdirc.util.WeakList__static_init

    • Kind Annotation Text

  • bool contains(Object)

    • Kind Annotation Text
    prethis.list != null
    postinit'ed(return_value)
    unanalyzedcall on java.lang.ref.WeakReference

  • bool containsAll(Collection)

    • Kind Annotation Text
    prethis.list != null
    postinit'ed(return_value)
    unanalyzedcall on java.lang.ref.WeakReference:get
    unanalyzedcall on java.util.ArrayList
    unanalyzedcall on java.util.List:add
    unanalyzedcall on java.util.List:iterator

  • List dereferenceList(List)

    • Kind Annotation Text
    prelist != null
    presumptionjava.util.Iterator:next(...)@71 != null
    postnew ArrayList(dereferenceList#1) num objects == 1
    postreturn_value == &new ArrayList(dereferenceList# 1)
    test_vectorjava.lang.ref.WeakReference:get(...)@72: Addr_Set{null}, Inverse{null}
    test_vectorjava.util.Iterator:hasNext(...)@71: {0}, {1}

  • Object get(int)

    • Kind Annotation Text
    prethis.list != null
    presumptionjava.util.List:get(...)@192 != null
    postinit'ed(return_value)
    unanalyzedcall on java.lang.ref.WeakReference:get
    unanalyzedcall on java.util.List:get
    unanalyzedcall on java.util.List:remove
    unanalyzedcall on java.util.List:size

  • int indexOf(Object)

    • Kind Annotation Text
    prethis.list != null
    postinit'ed(return_value)
    unanalyzedcall on java.lang.ref.WeakReference:get
    unanalyzedcall on java.util.List:get
    unanalyzedcall on java.util.List:remove
    unanalyzedcall on java.util.List:size

  • bool isEmpty()

    • Kind Annotation Text
    prethis.list != null
    postinit'ed(return_value)
    unanalyzedcall on java.lang.ref.WeakReference:get
    unanalyzedcall on java.util.List:get
    unanalyzedcall on java.util.List:remove
    unanalyzedcall on java.util.List:size

  • Iterator iterator()

    • Kind Annotation Text
    prethis.list != null
    postreturn_value != null
    unanalyzedcall on java.lang.ref.WeakReference:get
    unanalyzedcall on java.util.ArrayList
    unanalyzedcall on java.util.List:add
    unanalyzedcall on java.util.List:iterator

  • int lastIndexOf(Object)

    • Kind Annotation Text
    prethis.list != null
    postinit'ed(return_value)
    unanalyzedcall on java.lang.ref.WeakReference:get
    unanalyzedcall on java.util.List:get
    unanalyzedcall on java.util.List:remove
    unanalyzedcall on java.util.List:size

  • ListIterator listIterator()

    • Kind Annotation Text
    prethis.list != null
    postreturn_value != null
    unanalyzedcall on java.lang.ref.WeakReference:get
    unanalyzedcall on java.util.ArrayList
    unanalyzedcall on java.util.List:add
    unanalyzedcall on java.util.List:get
    unanalyzedcall on java.util.List:iterator
    unanalyzedcall on java.util.List:remove
    unanalyzedcall on java.util.List:size

  • ListIterator listIterator(int)

    • Kind Annotation Text
    prethis.list != null
    postreturn_value != null
    unanalyzedcall on java.lang.ref.WeakReference:get
    unanalyzedcall on java.util.ArrayList
    unanalyzedcall on java.util.List:add
    unanalyzedcall on java.util.List:get
    unanalyzedcall on java.util.List:iterator
    unanalyzedcall on java.util.List:remove
    unanalyzedcall on java.util.List:size

  • Collection referenceCollection(Collection)

    • Kind Annotation Text
    prec != null
    postnew ArrayList(referenceCollection#1) num objects == 1
    postreturn_value == &new ArrayList(referenceCollect ion#1)
    unanalyzedcall on java.lang.ref.WeakReference
    test_vectorjava.util.Iterator:hasNext(...)@92: {0}, {1}

  • Object remove(int)

    • Kind Annotation Text
    prethis.list != null
    presumptionjava.util.List:remove(...)@212 != null
    postinit'ed(return_value)

  • bool remove(Object)

    • Kind Annotation Text
    prethis.list != null
    postinit'ed(return_value)
    unanalyzedcall on java.lang.ref.WeakReference

  • bool removeAll(Collection)

    • Kind Annotation Text
    prec != null
    prethis.list != null
    postinit'ed(return_value)
    unanalyzedcall on java.lang.ref.WeakReference
    unanalyzedcall on java.util.ArrayList
    unanalyzedcall on java.util.Collection:add
    unanalyzedcall on java.util.Collection:iterator

  • bool retainAll(Collection)

    • Kind Annotation Text
    prec != null
    prethis.list != null
    postinit'ed(return_value)
    unanalyzedcall on java.lang.ref.WeakReference
    unanalyzedcall on java.util.ArrayList
    unanalyzedcall on java.util.Collection:add
    unanalyzedcall on java.util.Collection:iterator

  • Object set(int, Object)

    • Kind Annotation Text
    prethis.list != null
    postinit'ed(return_value)
    postreturn_value == element
    unanalyzedcall on java.lang.ref.WeakReference

  • int size()

    • Kind Annotation Text
    prethis.list != null
    postinit'ed(return_value)
    unanalyzedcall on java.lang.ref.WeakReference:get
    unanalyzedcall on java.util.List:get
    unanalyzedcall on java.util.List:remove
    unanalyzedcall on java.util.List:size

  • List subList(int, int)

    • Kind Annotation Text
    prethis.list != null
    presumptionjava.util.List:subList(...)@250 != null
    postnew ArrayList(dereferenceList#1) num objects == 1
    postreturn_value == &new ArrayList(dereferenceList# 1)
    unanalyzedcall on java.lang.ref.WeakReference:get
    unanalyzedcall on java.util.ArrayList
    unanalyzedcall on java.util.List:add
    unanalyzedcall on java.util.List:iterator

  • Object[] toArray()

    • Kind Annotation Text
    prethis.list != null
    postinit'ed(return_value)
    unanalyzedcall on java.lang.ref.WeakReference:get
    unanalyzedcall on java.util.ArrayList
    unanalyzedcall on java.util.List:add
    unanalyzedcall on java.util.List:iterator

  • Object[] toArray(Object[])

    • Kind Annotation Text
    prethis.list != null
    postinit'ed(return_value)
    unanalyzedcall on java.lang.ref.WeakReference:get
    unanalyzedcall on java.util.ArrayList
    unanalyzedcall on java.util.List:add
    unanalyzedcall on java.util.List:iterator