ProfileListModel.java

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


Filter Options
Annotation Kind:
pre
presumption
post
unanalyzed
test_vector


  • void add(int, Profile)

    • Kind Annotation Text
    prethis.profiles != null

  • bool add(Profile)

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

  • void clear()

    • Kind Annotation Text
    prethis.profiles != null

  • void com.dmdirc.addons.ui_swing.dialogs.profiles.ProfileListModel()

    • Kind Annotation Text
    postnew ArrayList(ProfileListModel#1) num objects == 1
    postthis.profiles == &new ArrayList(ProfileListMode l#1)
    unanalyzedcall on javax.swing.DefaultListModel

  • void com.dmdirc.addons.ui_swing.dialogs.profiles.ProfileListModel(List)

    • Kind Annotation Text
    postinit'ed(this.profiles)
    postthis.profiles == profiles

  • com.dmdirc.addons.ui_swing.dialogs.profiles.ProfileListModel__static_init

    • Kind Annotation Text

  • bool contains(Profile)

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

  • bool contains(String)

    • Kind Annotation Text
    prethis.profiles != null
    presumptionjava.util.Iterator:next(...)@165 != null
    presumptionprofile.name@165 != null
    postinit'ed(return_value)
    test_vectorjava.lang.String:equals(...)@166: {0}, {1}
    test_vectorjava.util.Iterator:hasNext(...)@165: {0}, {1}

  • bool equals(Object)

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

  • Profile get(int)

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

  • Object get(int)

    • Kind Annotation Text
    prethis.profiles != null
    postinit'ed(return_value)
    unanalyzedcall on java.util.List:get

  • Profile getElementAt(int)

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

  • Object getElementAt(int)

    • Kind Annotation Text
    prethis.profiles != null
    postinit'ed(return_value)
    unanalyzedcall on java.util.List:get

  • List getProfiles()

    • Kind Annotation Text
    postnew ArrayList(getProfiles#1) num objects == 1
    postreturn_value == &new ArrayList(getProfiles#1)

  • int getSize()

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

  • int hashCode()

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

  • int indexOf(Profile)

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

  • bool isEmpty()

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

  • Iterator iterator()

    • Kind Annotation Text
    prethis.profiles != null
    postreturn_value != null

  • Profile remove(int)

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

  • Object remove(int)

    • Kind Annotation Text
    prethis.profiles != null
    postinit'ed(return_value)
    unanalyzedcall on com.dmdirc.addons.ui_swing.dialogs. profiles.ProfileListModel:fireIntervalRemoved
    unanalyzedcall on java.util.List:remove

  • bool remove(Profile)

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

  • String toString()

    • Kind Annotation Text
    prethis.profiles != null
    postinit'ed(java.lang.Object:toString(...)._tainted)
    postjava.lang.Object:toString(...)._tainted == this.profiles._tainted
    postreturn_value == &java.lang.Object:toString(... )