+
Point of view
All features
deferred class JSON_ANY_CODEC
Summary
top
Direct parents
Insert list: JSON_HANDLER
Known children
Inherit list: JSON_CODEC
Overview
top
Features
{JSON_HANDLER}
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