+
Point of view
All features
class JSON_PARSER
Summary
top
Direct parents
Insert list: JSON_HANDLER
Class invariant
top
Overview
top
parse_json_text (text: INPUT_STREAM): JSON_TEXT
effective function
{JSON_HANDLER}
top
require
  • text.is_connected
parse_value (context: JSON_PARSE_CONTEXT, nested: BOOLEAN): JSON_VALUE
effective function
{}
top
require
  • context.is_valid
parse_object (context: JSON_PARSE_CONTEXT, nested: BOOLEAN): JSON_OBJECT
effective function
{}
top
require
  • context.is_valid
  • context.item = '{'
parse_array (context: JSON_PARSE_CONTEXT, nested: BOOLEAN): JSON_ARRAY
effective function
{}
top
require
  • context.is_valid
  • context.item = '['
parse_string (context: JSON_PARSE_CONTEXT): JSON_STRING
effective function
{}
top
require
  • context.is_valid
  • context.item = '"'
parse_number (context: JSON_PARSE_CONTEXT): JSON_NUMBER
effective function
{}
top
require
  • context.is_valid
  • "0123456789-".has(context.item)
parse_true (context: JSON_PARSE_CONTEXT): JSON_TRUE
effective function
{}
top
require
  • context.is_valid
  • context.item = 't'
parse_false (context: JSON_PARSE_CONTEXT): JSON_FALSE
effective function
{}
top
require
  • context.is_valid
  • context.item = 'f'
parse_null (context: JSON_PARSE_CONTEXT): JSON_NULL
effective function
{}
top
require
  • context.is_valid
  • context.item = 'n'
effective procedure
{}
top
require
  • a_on_error /= Void
ensure
writable attribute
{}
top
debug_parse_in (tag: STRING, context: JSON_PARSE_CONTEXT)
effective procedure
{}
top
debug_parse_out (tag: STRING, context: JSON_PARSE_CONTEXT, res: JSON_VALUE)
effective procedure
{}
top