+
Point of view
All features
deferred class MINI_PARSER_MEMORY
Summary
Stores MINI_PARSER_BUFFER positions, but may be useful to associate extra data (such as line, column)
Direct parents
Insert list: ANY
Known children
Inherit list: DEFAULT_MINI_PARSER_MEMORY
Overview
Features
{ANY}
deferred function
{ANY}
returns an identifier that uniquely identifies a buffer index.
require
  • buffer /= Void
ensure
restore (a_memo: INTEGER_32, buffer: MINI_PARSER_BUFFER)
deferred procedure
{ANY}
restores the buffer index using the given memo
require
valid_memo (a_memo: INTEGER_32, buffer: MINI_PARSER_BUFFER): BOOLEAN
deferred function
{ANY}
True if the memo represents a valid index in the buffer