+
Point of view
All features
class JSON [DATA_]
Summary
JSON management.
Notes:
 * only UTF-8 is supported.
 * number overflows are not well managed (if at all)
Direct parents
Insert list: JSON_HANDLER
Class invariant
Overview
Creation features
{ANY}
  • make (a_codec: JSON_CODEC[DATA_])
Features
{ANY}
{}
  • make (a_codec: JSON_CODEC[DATA_])
  • codec: JSON_CODEC_IMPL[DATA_]
encode_to (data: DATA_, strout: OUTPUT_STREAM)
effective procedure
{ANY}
require
  • strout.is_connected
encode_in (data: DATA_, str: STRING)
effective procedure
{ANY}
require
  • str /= Void
encode (data: DATA_): STRING
effective function
{ANY}
decode_from (strin: INPUT_STREAM): DATA_
effective function
{ANY}
require
  • strin.is_connected
decode (data: STRING): DATA_
effective function
{ANY}
require
  • data /= Void
error_message: ABSTRACT_STRING
effective function
{ANY}
error_line: INTEGER_32
effective function
{ANY}
error_column: INTEGER_32
effective function
{ANY}
encoder: JSON_ENCODER
once function
{ANY}
decoder: JSON_DECODER
once function
{ANY}
make (a_codec: JSON_CODEC[DATA_])
effective procedure
{}
require
  • a_codec /= Void
ensure
codec: JSON_CODEC_IMPL[DATA_]
writable attribute
{}