added postcondition status_reason_phrase_unset to `set_status'

2012-04-27 08:52:58 +02:00
parent 9ba3caba12
commit 80a1c85844
1 changed files with 1 additions and 0 deletions
--- a/library/server/wsf/src/wsf_response.e
+++ b/library/server/wsf/src/wsf_response.e
@@ -73,6 +73,7 @@ feature -- Status setting
 		ensure
 			status_code_set: status_code = a_code
 			status_set: status_is_set
+			status_reason_phrase_unset: status_reason_phrase = Void
 		end

 	set_status_code_with_reason_phrase (a_code: INTEGER; a_reason_phrase: READABLE_STRING_8)