class JSON_ENCODER
Summary
Direct parents
Inherit list: JSON_VISITOR
Overview
Creation features
{JSON_HANDLER}
Features
{ANY}
{JSON_HANDLER}
{JSON_ARRAY}
{JSON_FALSE}
{JSON_NULL}
{JSON_NUMBER}
{JSON_OBJECT}
{JSON_STRING}
{JSON_TRUE}
{}
pretty: BOOLEAN
writable attribute
{ANY}
True if the JSON text must be prettily indented, False if no extra space should be emitted
raw: BOOLEAN
writable attribute
{ANY}
True if UTF-8 characters can be emitted, False if '\u' sequences are emitted instead
set_pretty (enable: BOOLEAN)
effective procedure
{ANY}
ensure
set_raw (enable: BOOLEAN)
effective procedure
{ANY}
ensure
encode_in (value: JSON_VALUE, a_stream: OUTPUT_STREAM)
effective procedure
require
  • value /= Void
  • a_stream.is_connected
visit_array (json: JSON_ARRAY)
effective procedure
require
  • json /= Void
visit_false (json: JSON_FALSE)
effective procedure
require
  • json /= Void
visit_null (json: JSON_NULL)
effective procedure
require
  • json /= Void
visit_number (json: JSON_NUMBER)
effective procedure
require
  • json /= Void
visit_object (json: JSON_OBJECT)
effective procedure
require
  • json /= Void
visit_string (json: JSON_STRING)
effective procedure
require
  • json /= Void
visit_true (json: JSON_TRUE)
effective procedure
require
  • json /= Void
out_stream: OUTPUT_STREAM
writable attribute
{}
depth: INTEGER_32
writable attribute
{}
make
effective procedure
{}
pretty_indent
effective procedure
{}
pretty_extend (count: INTEGER_32)
effective procedure
{}
require