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

Added more conversion, and accept READABLE_STRING_8 as argument for make_json

Browse Source
This commit is contained in:
jfiat
2011-10-07 12:25:00 +00:00
parent 3739909e43
commit c836d75191
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
library/kernel/json_string.e
View File

@@ -25,11 +25,11 @@ create
make_json make_json
convert convert
make_json ({STRING}) make_json ({READABLE_STRING_8, STRING_8, IMMUTABLE_STRING_8})
feature {NONE} -- Initialization feature {NONE} -- Initialization
make_json (an_item: STRING) make_json (an_item: READABLE_STRING_8)
-- Initialize. -- Initialize.
require require
item_not_void: an_item /= Void item_not_void: an_item /= Void