+
Point of view
All features
class JSON_OBJECT
Summary
Direct parents
Inherit list: JSON_TEXT
Class invariant
Overview
Creation features
{JSON_HANDLER}
Features
{ANY}
{JSON_HANDLER}
{}
{ANY}
{JSON_HANDLER}
accept (visitor: VISITOR)
effective procedure
{ANY}
Accept to be visited by the visitor.
require
  • visitor /= Void
is_equal (other: JSON_OBJECT): BOOLEAN
effective function
{ANY}
Is other attached to an object considered equal to current object?
require
    • other /= Void
    • other /= Void
ensure
  • commutative: generating_type = other.generating_type implies Result = other.is_equal(Current)
out_in_tagged_out_memory
effective procedure
{ANY}
Append terse printable representation of current object in tagged_out_memory.
require
    • locked: tagged_out_locked
    • locked: tagged_out_locked
ensure
  • still_locked: tagged_out_locked
  • not_cleared: tagged_out_memory.count >= old tagged_out_memory.count
  • append_only: old tagged_out_memory.twin.is_equal(tagged_out_memory.substring(1, old tagged_out_memory.count))
effective function
{ANY}
require
  • key /= Void
writable attribute
make (a_members: MAP[JSON_VALUE, JSON_STRING])
effective procedure
{}
require
  • a_members /= Void
ensure
line: INTEGER_32
writable attribute
{ANY}
optional line and column; 0 if not set
column: INTEGER_32
writable attribute
{ANY}
optional line and column; 0 if not set
set_position (a_line: INTEGER_32, a_column: INTEGER_32)
effective procedure
ensure