GNU
|
Liberty Eiffel
|
Automated Tests
|
Wiki
|
Savannah project
|
Debian packages
|
Documentation
>
libraries
>
DESCENDING_PARSE_CONTEXT
+
Point of view
All features
ANY
All features
class DESCENDING_PARSE_CONTEXT
Summary
top
Direct parents
Inherit list:
PARSE_CONTEXT
Class invariant
top
buffer /= Void
actions /= Void
Overview
top
Creation features
{
DESCENDING_PARSER
}
make
(a_buffer:
MINI_PARSER_BUFFER
, a_actions:
COLLECTION
[
PARSE_ACTION
])
Features
{
ANY
}
buffer
:
MINI_PARSER_BUFFER
actions
:
COLLECTION
[
PARSE_ACTION
]
{}
make
(a_buffer:
MINI_PARSER_BUFFER
, a_actions:
COLLECTION
[
PARSE_ACTION
])
buffer
:
MINI_PARSER_BUFFER
writable attribute
{
ANY
}
top
actions
:
COLLECTION
[
PARSE_ACTION
]
writable attribute
{
ANY
}
top
make
(a_buffer:
MINI_PARSER_BUFFER
, a_actions:
COLLECTION
[
PARSE_ACTION
])
effective procedure
{}
top
require
a_buffer /= Void
a_actions /= Void
ensure
buffer
= a_buffer
actions
= a_actions