123 lines
2.1 KiB
Plaintext
123 lines
2.1 KiB
Plaintext
indexing
|
|
description: "[
|
|
JSON_ARRAY represent an array in JSON.
|
|
An array in JSON is an ordered set of names.
|
|
Examples
|
|
array
|
|
[]
|
|
[elements]
|
|
]"
|
|
|
|
author: "Javier Velilla"
|
|
date: "2008/08/24"
|
|
revision: "Revision 0.1"
|
|
|
|
class
|
|
JSON_ARRAY
|
|
|
|
inherit
|
|
JSON_VALUE
|
|
|
|
DEBUG_OUTPUT
|
|
|
|
create
|
|
make_array
|
|
|
|
feature {NONE} -- Initialization
|
|
|
|
make_array is
|
|
-- Initialize JSON Array
|
|
do
|
|
create values.make (10)
|
|
end
|
|
|
|
feature -- Access
|
|
|
|
i_th alias "[]" (i: INTEGER): JSON_VALUE is
|
|
-- Item at `i'-th position
|
|
require
|
|
is_valid_index: valid_index (i)
|
|
do
|
|
Result := values.i_th (i)
|
|
end
|
|
|
|
feature -- Visitor pattern
|
|
|
|
accept (a_visitor: JSON_VISITOR) is
|
|
-- Accept `a_visitor'.
|
|
-- (Call `visit_json_array' procedure on `a_visitor'.)
|
|
do
|
|
a_visitor.visit_json_array (Current)
|
|
end
|
|
|
|
feature -- Mesurement
|
|
|
|
count: INTEGER is
|
|
-- Number of items.
|
|
do
|
|
Result := values.count
|
|
end
|
|
|
|
feature -- Status report
|
|
|
|
valid_index (i: INTEGER): BOOLEAN is
|
|
-- Is `i' a valid index?
|
|
do
|
|
Result := (1 <= i) and (i <= count)
|
|
end
|
|
|
|
feature -- Change Element
|
|
|
|
add (value: JSON_VALUE) is
|
|
require
|
|
value_not_null: value /= void
|
|
do
|
|
values.extend(value)
|
|
ensure
|
|
has_new_value: old values.count + 1 = values.count and
|
|
values.has (value)
|
|
end
|
|
|
|
feature -- Report
|
|
|
|
hash_code: INTEGER is
|
|
-- Hash code value
|
|
do
|
|
from
|
|
values.start
|
|
Result := values.item.hash_code
|
|
until
|
|
values.off
|
|
loop
|
|
Result:= ((Result \\ 8388593) |<< 8) + values.item.hash_code
|
|
values.forth
|
|
end
|
|
Result := Result \\ values.count
|
|
end
|
|
|
|
feature -- Conversion
|
|
|
|
array_representation: ARRAYED_LIST [JSON_VALUE] is
|
|
-- Representation as a sequences of values
|
|
do
|
|
Result := values
|
|
end
|
|
|
|
feature -- Status report
|
|
|
|
debug_output: STRING
|
|
-- String that should be displayed in debugger to represent `Current'.
|
|
do
|
|
Result := count.out
|
|
end
|
|
|
|
feature {NONE} -- Implementation
|
|
|
|
values: ARRAYED_LIST [JSON_VALUE]
|
|
-- Value container
|
|
|
|
invariant
|
|
value_not_void: values /= Void
|
|
|
|
end
|