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

Remove remaining detachable variables

Browse Source
This commit is contained in:
YNH Webdev
2013-09-25 12:52:17 +02:00
parent 93f8cd789f
commit 805ac5dacf
1 changed files with 5 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
library/kernel/json_object.e
View File

@@ -58,26 +58,26 @@ feature -- Change Element
require require
key_not_present: not has_key (key) key_not_present: not has_key (key)
local local
l_value: detachable JSON_STRING l_value: JSON_STRING
do do
create l_value.make_json_from_string_32 (value.as_string_32) create l_value.make_json_from_string_32 (value.as_string_32)
put (l_value, key) put (l_value, key)
end end
put_integer (value: detachable INTEGER_64; key: JSON_STRING) put_integer (value: INTEGER_64; key: JSON_STRING)
-- Assuming there is no item of key `key', -- Assuming there is no item of key `key',
-- insert `value' with `key'. -- insert `value' with `key'.
require require
key_not_present: not has_key (key) key_not_present: not has_key (key)
local local
l_value: detachable JSON_NUMBER l_value: JSON_NUMBER
do do
create l_value.make_integer (value) create l_value.make_integer (value)
put (l_value, key) put (l_value, key)
end end
put_natural (value: detachable NATURAL_64; key: JSON_STRING) put_natural (value: NATURAL_64; key: JSON_STRING)
-- Assuming there is no item of key `key', -- Assuming there is no item of key `key',
-- insert `value' with `key'. -- insert `value' with `key'.
require require
@@ -128,7 +128,7 @@ feature -- Change Element
-- Assuming there is no item of key `key', -- Assuming there is no item of key `key',
-- insert `value' with `key'. -- insert `value' with `key'.
local local
l_value: detachable JSON_NUMBER l_value: JSON_NUMBER
do do
create l_value.make_integer (value) create l_value.make_integer (value)
replace (l_value, key) replace (l_value, key)