ValidatorChain.java

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


Filter Options
Annotation Kind:
pre
presumption
post
unanalyzed
test_vector


  • void com.dmdirc.config.prefs.validator.ValidatorChain(Validator[])

    • Kind Annotation Text
    pre(soft) init'ed(validators[...])
    prevalidators != null
    prevalidators.length <= 232-1
    postnew ArrayList(ValidatorChain#1) num objects == 1
    postthis.validatorList == &amp;new ArrayList(ValidatorC hain#1)

  • com.dmdirc.config.prefs.validator.ValidatorChain__static_init

    • Kind Annotation Text

  • ValidationResponse validate(Object)

    • Kind Annotation Text
    prethis.validatorList != null
    presumptionjava.util.Iterator:next(...)@54 != null
    presumptionvalidate(...)@55 != null
    postnew ValidationResponse(validate#1) num objects <= 1
    postnew ValidationResponse(validate#1).failure == null
    postreturn_value != null
    test_vectorjava.util.Iterator:hasNext(...)@54: {0}, {1}