+
Point of view
All features
class JSON_PARSE_CONTEXT
Summary
Direct parents
Insert list: LOGGING
Class invariant
Overview
line: INTEGER_32
writable attribute
column: INTEGER_32
writable attribute
item: CHARACTER
effective function
require
is_valid: BOOLEAN
effective function
next
effective procedure
require
skip_blanks
effective procedure
ensure
skip (word: STRING): BOOLEAN
effective function
require
  • not word.is_empty
error (str: ABSTRACT_STRING)
effective procedure
require
  • str /= Void
debug_position: ABSTRACT_STRING
effective function
ensure
  • Result /= Void
writable attribute
{}
index: INTEGER_32
writable attribute
{}
writable attribute
{}
effective procedure
{}
require
  • a_data.is_connected
ensure
item_or_invalid: ABSTRACT_STRING
effective function
{}
delay_fix_position: BOOLEAN
writable attribute
{}
fix_position
effective procedure
{}
_inline_agent6: ABSTRACT_STRING
frozen
effective function
{}
log: LOGGER
effective function
{}
There is one logger per concrete type; for performance reasons it is cached in each instance.
ensure
  • Result /= Void
log_memory__0_: LOGGER
writable attribute
{}
The cached logger.
The ugly name is intentional. Don't use directly.