Messages

method

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

method	void com.dmdirc.config.prefs.validator. ValidatorChain(Validator[])
pre	validators != null
pre	validators.length <= 2³²-1
pre	(soft) init'ed(validators[...])
post	this.validatorList == &new ArrayList(ValidatorC hain#1)
post	new ArrayList(ValidatorChain#1) num objects == 1

method	ValidationResponse validate(Object)
pre	this.validatorList != null
presumption	java.util.Iterator:next(...)@54 != null
presumption	validate(...)@55 != null
post	return_value != null
post	new ValidationResponse(validate#1) num objects <= 1
post	new ValidationResponse(validate#1).failure == null
test_vector	java.util.Iterator:hasNext(...)@54: {0}, {1}

call too complex - analysis skipped Info call on ValidationResponse validate(Object)