NoDuplicatesInListValidator.java


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


Filter Options
Annotation Kind:
pre
presumption
post
unanalyzed
test_vector


  • void com.dmdirc.addons.ui_swing.dialogs.profiles.NoDuplicatesInListValidator(DefaultListModel)

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

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

  • Kind Annotation Text

  • ValidationResponse validate(Object)

  • Kind Annotation Text
    prethis.model != null
    postnew ValidationResponse(validate#1*) num objects <= 1
    postnew ValidationResponse(validate#2*) num objects <= 1
    postreturn_value == One-of{&amp;new ValidationResponse( validate#1*), &amp;new ValidationResponse(validate# 2*)}
    postreturn_value in Addr_Set{&amp;new ValidationRespons e(validate#1*),&amp;new ValidationResponse(validate #2*)}
    unanalyzedcall on com.dmdirc.config.prefs.validator. ValidationResponse
    unanalyzedcall on javax.swing.DefaultListModel:contains

  • ValidationResponse validate(String)

  • Kind Annotation Text
    prethis.model != null
    postnew ValidationResponse(validate#1) num objects <= 1
    postnew ValidationResponse(validate#2) num objects <= 1
    postreturn_value in Addr_Set{&amp;new ValidationRespons e(validate#2),&amp;new ValidationResponse(validate# 1)}
    test_vectorjavax.swing.DefaultListModel:contains(...)@51: {0}, {1}