method

com.dmdirc.config.prefs.validator.ValidationRespon se__static_init

method	void com.dmdirc.config.prefs.validator. ValidationResponse()
post	this.failure == null

method	void com.dmdirc.config.prefs.validator. ValidationResponse(String)
post	this.failure == failure
post	init'ed(this.failure)

method	bool isFailure()
post	init'ed(return_value)

method	String getFailureReason()
post	return_value == this.failure
post	init'ed(return_value)