From 805ac5dacf9836a5434091cb0c797dd0454ce89f Mon Sep 17 00:00:00 2001 From: YNH Webdev Date: Wed, 25 Sep 2013 12:52:17 +0200 Subject: [PATCH] Remove remaining `detachable` variables --- library/kernel/json_object.e | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/library/kernel/json_object.e b/library/kernel/json_object.e index 614365bd..7994cc5c 100644 --- a/library/kernel/json_object.e +++ b/library/kernel/json_object.e @@ -58,26 +58,26 @@ feature -- Change Element require key_not_present: not has_key (key) local - l_value: detachable JSON_STRING + l_value: JSON_STRING do create l_value.make_json_from_string_32 (value.as_string_32) put (l_value, key) 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', -- insert `value' with `key'. require key_not_present: not has_key (key) local - l_value: detachable JSON_NUMBER + l_value: JSON_NUMBER do create l_value.make_integer (value) put (l_value, key) 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', -- insert `value' with `key'. require @@ -128,7 +128,7 @@ feature -- Change Element -- Assuming there is no item of key `key', -- insert `value' with `key'. local - l_value: detachable JSON_NUMBER + l_value: JSON_NUMBER do create l_value.make_integer (value) replace (l_value, key)