+
Point of view
All features
class JSON_CODEC_IMPL [DATA_]
-
Summary
top
Direct parents
Inherit list: JSON_CODEC
Insert list: JSON_HANDLER
Class invariant
top
-
Overview
top
Creation features
{ANY}
  • make (a_nested: JSON_CODEC[DATA_])
Features
{ANY}
{JSON_HANDLER}
{}
  • make (a_nested: JSON_CODEC[DATA_])
{}
error_message: ABSTRACT_STRING
writable attribute
{ANY}
top
error_line: INTEGER_32
writable attribute
{ANY}
top
error_column: INTEGER_32
writable attribute
{ANY}
top
nested: JSON_CODEC[DATA_]
writable attribute
{ANY}
top
+
build (data: DATA_): JSON_TEXT
effective function
{JSON_HANDLER}
top
ensure
  • Result /= Void
+
parse (data: INPUT_STREAM): JSON_TEXT
effective function
{JSON_HANDLER}
top
require
  • data.is_connected
on_error (a_message: ABSTRACT_STRING, a_line: INTEGER_32, a_column: INTEGER_32)
effective procedure
{JSON_HANDLER}
top
create_array: JSON_DATA
effective function
{JSON_HANDLER}
top
+
add_to_array (array: JSON_DATA, value: JSON_DATA)
effective procedure
{JSON_HANDLER}
top
require
  • array /= Void
  • value /= Void
+
finalize_array (array: JSON_DATA)
effective procedure
{JSON_HANDLER}
top
array is fully read, if a codec needs to do some cleanup this feature can be redefined
require
  • array /= Void
create_object: JSON_DATA
effective function
{JSON_HANDLER}
top
+
add_to_object (object: JSON_DATA, key: JSON_DATA, value: JSON_DATA)
effective procedure
{JSON_HANDLER}
top
require
  • object /= Void
  • key /= Void
  • value /= Void
+
finalize_object (object: JSON_DATA)
effective procedure
{JSON_HANDLER}
top
object is fully read, if a codec needs to do some cleanup this feature can be redefined
require
  • object /= Void
+
create_string (string: JSON_STRING): JSON_DATA
effective function
{JSON_HANDLER}
top
ensure
  • Result /= Void
+
create_number (number: JSON_NUMBER): JSON_DATA
effective function
{JSON_HANDLER}
top
ensure
  • Result /= Void
+
true_value: JSON_DATA
effective function
{JSON_HANDLER}
top
ensure
  • Result /= Void
+
false_value: JSON_DATA
effective function
{JSON_HANDLER}
top
ensure
  • Result /= Void
+
null_value: JSON_DATA
effective function
{JSON_HANDLER}
top
ensure
  • Result /= Void
+
make (a_nested: JSON_CODEC[DATA_])
effective procedure
{}
top
require
  • a_nested /= Void
ensure
writable attribute
{}
top
parser: JSON_PARSER
effective function
{}
top