+
Point of view
All features
class JSON_NUMBER
Summary
Direct parents
Inherit list: JSON_VALUE
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.
is_equal (other: JSON_NUMBER): BOOLEAN
effective function
{ANY}
Is other attached to an object considered equal to current object?
is_integer: BOOLEAN
effective function
{ANY}
to_integer: INTEGER_64
effective function
{ANY}
to_real: REAL_64
effective function
{ANY}
append_in (str: STRING)
effective procedure
{ANY}
write_to (str: OUTPUT_STREAM)
effective procedure
{ANY}
out_in_tagged_out_memory
effective procedure
{ANY}
Append terse printable representation of current object in tagged_out_memory.
sign: INTEGER_8
writable attribute
writable attribute
frac: NATURAL_64
writable attribute
frac_exp: INTEGER_64
writable attribute
writable attribute
make (a_sign: INTEGER_8, a_int: NATURAL_64, a_frac: NATURAL_64, a_frac_exp: INTEGER_64, a_exp: INTEGER_64)
effective procedure
{}
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