method com.dmdirc.config.prefs.validator.ValidatorChain__ static_init










method void com.dmdirc.config.prefs.validator. ValidatorChain(Validator[])
prevalidators != null
prevalidators.length <= 232-1
pre(soft) init'ed(validators[...])
postthis.validatorList == &amp;new ArrayList(ValidatorC hain#1)
postnew ArrayList(ValidatorChain#1) num objects == 1










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









  call too complex - analysis skippedInfocall on ValidationResponse validate(Object)