method

com.dmdirc.config.prefs.validator.RegexStringValid ator__static_init

method	ValidationResponse validate(Object)
pre	x0 != null
post	return_value == One-of{&new ValidationResponse( validate#1*), &new ValidationResponse(validate# 2*)}
post	return_value in Addr_Set{&new ValidationRespons e(validate#1*),&new ValidationResponse(validate #2*)}
post	new ValidationResponse(validate#1*) num objects <= 1
post	new ValidationResponse(validate#1*).failure == null
post	new ValidationResponse(validate#2*) num objects <= 1
post	new ValidationResponse(validate#2*).failure == this.failedReason
post	init'ed(new ValidationResponse(validate#2*). failure)
unanalyzed	call on java.lang.String:matches

method	void com.dmdirc.config.prefs.validator. RegexStringValidator(String, String)
post	this.failedReason == failedReason
post	init'ed(this.failedReason)
post	this.regex == regex
post	init'ed(this.regex)

method	ValidationResponse validate(String)
pre	object != null
post	return_value in Addr_Set{&new ValidationRespons e(validate#2),&new ValidationResponse(validate# 1)}
post	new ValidationResponse(validate#1) num objects <= 1
post	new ValidationResponse(validate#1).failure == null
post	new ValidationResponse(validate#2) num objects <= 1
post	new ValidationResponse(validate#2).failure == this.failedReason
post	init'ed(new ValidationResponse(validate#2). failure)
test_vector	java.lang.String:matches(...)@49: {0}, {1}