Merge pull request #1 from GroupeS/fix_hash_table_converter

[FIX] Convertion from DS_HASH_TABLE keys to JSON
This commit is contained in:
Jocelyn Fiat
2012-09-13 08:55:32 -07:00
3 changed files with 11 additions and 2 deletions

1
.gitignore vendored Normal file
View File

@@ -0,0 +1 @@
*.swp

View File

@@ -64,7 +64,11 @@ feature -- Conversion
until
c.after
loop
create js.make_json (c.key.out)
if attached {JSON_STRING} json.value (c.key) as l_key then
js := l_key
else
create js.make_json (c.key.out)
end
jv := json.value (c.item)
if jv /= Void then
Result.put (jv, js)

View File

@@ -71,7 +71,11 @@ feature -- Conversion
until
c.after
loop
create js.make_json (c.key.out)
if attached {JSON_STRING} json.value (c.key) as l_key then
js := l_key
else
create js.make_json (c.key.out)
end
jv := json.value (c.item)
if jv /= Void then
Result.put (jv, js)