GNU
|
Liberty Eiffel
|
Automated Tests
|
Wiki
|
Savannah project
|
Debian packages
|
Documentation
>
libraries
>
MINI_PARSER_MEMORY
+
Point of view
All features
ANY
All features
deferred class MINI_PARSER_MEMORY
Summary
top
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
top
Features
{
ANY
}
memo
(buffer:
MINI_PARSER_BUFFER
):
INTEGER_32
returns an identifier that uniquely identifies a buffer index.
restore
(a_memo:
INTEGER_32
, buffer:
MINI_PARSER_BUFFER
)
restores the buffer index using the given memo
valid_memo
(a_memo:
INTEGER_32
, buffer:
MINI_PARSER_BUFFER
):
BOOLEAN
True if the memo represents a valid index in the buffer
memo
(buffer:
MINI_PARSER_BUFFER
):
INTEGER_32
deferred 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
)
deferred 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
deferred function
{
ANY
}
top
True if the memo represents a valid index in the buffer