mirrors/EWF
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Added assertion for mime helper

Browse Source
This commit is contained in:
Jocelyn Fiat
2013-03-29 15:53:04 +01:00
parent ec2792b645
commit 8647ae1cd3
1 changed files with 2 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
library/server/wsf/src/support/wsf_mime_handler_helper.e
View File

@@ -42,8 +42,9 @@ feature {NONE} -- Implementation
Result.append_string (t) Result.append_string (t)
end end
end end
end end
ensure
same_content_length: a_content_length > 0 implies Result.count = a_content_length.as_integer_32
end end
add_string_value_to_table (a_name: READABLE_STRING_8; a_value: READABLE_STRING_8; a_table: HASH_TABLE [WSF_VALUE, READABLE_STRING_GENERAL]) add_string_value_to_table (a_name: READABLE_STRING_8; a_value: READABLE_STRING_8; a_table: HASH_TABLE [WSF_VALUE, READABLE_STRING_GENERAL])