+
Point of view
All features
deferred class JSON_CODEC [DATA_]
Summary
top
A JSON codec, to be subclassed for actual functionality
Direct parents
Inherit list: JSON_ANY_CODEC
Known children
Inherit list: JSON_CODEC_IMPL
Overview
top
Features
{JSON_HANDLER}
{}
{JSON_HANDLER}
build (data: DATA_): JSON_TEXT
deferred function
{JSON_HANDLER}
top
ensure
  • Result /= Void
parse (data: INPUT_STREAM): JSON_TEXT
effective function
{JSON_HANDLER}
top
require
  • data.is_connected
on_error (message: ABSTRACT_STRING, line: INTEGER_32, column: INTEGER_32)
deferred procedure
{JSON_HANDLER}
top
writable attribute
{}
top
parser: JSON_PARSER
effective function
{}
top
create_array: JSON_DATA
deferred function
{JSON_HANDLER}
top
add_to_array (array: JSON_DATA, value: JSON_DATA)
deferred 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
deferred function
{JSON_HANDLER}
top
add_to_object (object: JSON_DATA, key: JSON_DATA, value: JSON_DATA)
deferred 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
deferred function
{JSON_HANDLER}
top
ensure
  • Result /= Void
create_number (number: JSON_NUMBER): JSON_DATA
deferred function
{JSON_HANDLER}
top
ensure
  • Result /= Void
true_value: JSON_DATA
deferred function
{JSON_HANDLER}
top
ensure
  • Result /= Void
false_value: JSON_DATA
deferred function
{JSON_HANDLER}
top
ensure
  • Result /= Void
null_value: JSON_DATA
deferred function
{JSON_HANDLER}
top
ensure
  • Result /= Void