+
Point of view
All features
class JSON [DATA_]
Summary
top
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
top
Overview
top
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}
top
require
  • strout.is_connected
encode_in (data: DATA_, str: STRING)
effective procedure
{ANY}
top
require
  • str /= Void
encode (data: DATA_): STRING
effective function
{ANY}
top
decode_from (strin: INPUT_STREAM): DATA_
effective function
{ANY}
top
require
  • strin.is_connected
decode (data: STRING): DATA_
effective function
{ANY}
top
require
  • data /= Void
error_message: ABSTRACT_STRING
effective function
{ANY}
top
error_line: INTEGER_32
effective function
{ANY}
top
error_column: INTEGER_32
effective function
{ANY}
top
encoder: JSON_ENCODER
once function
{ANY}
top
decoder: JSON_DECODER
once function
{ANY}
top
make (a_codec: JSON_CODEC[DATA_])
effective procedure
{}
top
require
  • a_codec /= Void
ensure
codec: JSON_CODEC_IMPL[DATA_]
writable attribute
{}
top