NicklistListModel.java


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


Filter Options
Annotation Kind:
pre
presumption
post
unanalyzed
test_vector


  • bool add(ChannelClientInfo)

  • Kind Annotation Text
    preinit'ed(this.sortByCase)
    preinit'ed(this.sortByMode)
    prethis.nicknames != null
    postinit'ed(return_value)
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. NicklistListModel:fireContentsChanged
    unanalyzedcall on java.lang.Throwable:__curr_excep_obj
    unanalyzedcall on java.util.Collections:sort
    unanalyzedcall on java.util.List:size

  • void com.dmdirc.addons.ui_swing.components.NicklistListModel()

  • Kind Annotation Text
    presumptionjava.util.Collections:synchronizedList(...)@67 != null
    postinit'ed(this.sortByCase)
    postinit'ed(this.sortByMode)
    postthis.nicknames != null
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. NicklistListModel:fireContentsChanged
    unanalyzedcall on com.dmdirc.config.ConfigManager:getOptionBo ol
    unanalyzedcall on com.dmdirc.config.IdentityManager:getGlobal Config
    unanalyzedcall on java.lang.Throwable:__curr_excep_obj
    unanalyzedcall on java.util.Collections:sort
    unanalyzedcall on java.util.Collections:synchronizedList
    unanalyzedcall on java.util.List:size
    unanalyzedcall on javax.swing.AbstractListModel

  • void com.dmdirc.addons.ui_swing.components.NicklistListModel(List)

  • Kind Annotation Text
    presumptioncom.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@63 != null
    presumptioncom.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@65 != null
    presumptionjava.util.Collections:synchronizedList(...)@67 != null
    postinit'ed(this.sortByCase)
    postinit'ed(this.sortByMode)
    postthis.nicknames != null
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. NicklistListModel:fireContentsChanged
    unanalyzedcall on java.lang.Throwable:__curr_excep_obj
    unanalyzedcall on java.util.Collections:sort
    unanalyzedcall on java.util.List:size

  • com.dmdirc.addons.ui_swing.components.NicklistListModel__static_init

  • Kind Annotation Text

  • void configChanged(String, String)

  • Kind Annotation Text
    pre(soft) init'ed(this.sortByCase)
    pre(soft) init'ed(this.sortByMode)
    prethis.nicknames != null
    presumptioncom.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@180 != null
    presumptioncom.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@183 != null
    postinit'ed(this.sortByCase)
    postinit'ed(this.sortByMode)
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. NicklistListModel:fireContentsChanged
    unanalyzedcall on java.lang.Throwable:__curr_excep_obj
    unanalyzedcall on java.util.Collections:sort
    unanalyzedcall on java.util.List:size
    test_vectorjava.lang.String:equals(...)@179: {0}, {1}
    test_vectorjava.lang.String:equals(...)@182: {0}, {1}

  • ChannelClientInfo getElementAt(int)

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

  • Object getElementAt(int)

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

  • int getSize()

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

  • ChannelClientInfo remove(int)

  • Kind Annotation Text
    prethis.nicknames != null
    postinit'ed(return_value)
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. NicklistListModel:fireContentsChanged
    unanalyzedcall on java.util.List:size

  • bool remove(ChannelClientInfo)

  • Kind Annotation Text
    prethis.nicknames != null
    postinit'ed(return_value)
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. NicklistListModel:fireContentsChanged
    unanalyzedcall on java.util.List:size

  • bool replace(List)

  • Kind Annotation Text
    preinit'ed(this.sortByCase)
    preinit'ed(this.sortByMode)
    prethis.nicknames != null
    postinit'ed(return_value)
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. NicklistListModel:fireContentsChanged
    unanalyzedcall on java.lang.Throwable:__curr_excep_obj
    unanalyzedcall on java.util.Collections:sort
    unanalyzedcall on java.util.List:size

  • void rerender()

  • Kind Annotation Text
    prethis.nicknames != null

  • void sort()

  • Kind Annotation Text
    preinit'ed(this.sortByCase)
    preinit'ed(this.sortByMode)
    prethis.nicknames != null
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. NicklistListModel:fireContentsChanged
    unanalyzedcall on java.util.List:size