+
Point of view
All features
class DEFAULT_MINI_PARSER_MEMORY
Summary
top
Default MINI_PARSER_BUFFER representation: the index itself.
Direct parents
Inherit list: MINI_PARSER_MEMORY
Overview
top
Features
{ANY}
effective function
{ANY}
top
returns an identifier that uniquely identifies a buffer index.
require
  • buffer /= Void
ensure
  • valid_memo(Result, buffer)
restore (a_memo: INTEGER_32, buffer: MINI_PARSER_BUFFER)
effective procedure
{ANY}
top
restores the buffer index using the given memo
require
  • valid_memo(a_memo, buffer)
  • buffer /= Void
valid_memo (a_memo: INTEGER_32, buffer: MINI_PARSER_BUFFER): BOOLEAN
effective function
{ANY}
top
True if the memo represents a valid index in the buffer