GNU
|
Liberty Eiffel
|
Automated Tests
|
Wiki
|
Savannah project
|
Debian packages
|
Documentation
>
libraries
>
PACKRAT
+
Point of view
All features
ANY
All features
expanded class PACKRAT
Summary
top
Direct parents
Insert list:
ANY
Known children
Insert list:
PACKRAT_FEATURES
,
PACKRAT_PRETTY_PRINTER
,
PACKRAT_REDUCER
,
PACKRAT_SEQUENCE
Overview
top
Features
Tune exports to your liking if need be
{}
one
:
INTEGER_8
zero_or_one
:
INTEGER_8
zero_or_more
:
INTEGER_8
one_or_more
:
INTEGER_8
seq
(a_primaries:
TRAVERSABLE
[
PACKRAT_PRIMARY
], a_how_many:
INTEGER_8
, a_tag:
ABSTRACT_STRING
, a_action:
PROCEDURE
[
TUPLE
]):
PACKRAT_ALTERNATIVE
ref
(a_atom_name:
ABSTRACT_STRING
):
PACKRAT_PRIMARY
one
:
INTEGER_8
is 0
constant attribute
{}
top
zero_or_one
:
INTEGER_8
is 1
constant attribute
{}
top
zero_or_more
:
INTEGER_8
is 2
constant attribute
{}
top
one_or_more
:
INTEGER_8
is 3
constant attribute
{}
top
seq
(a_primaries:
TRAVERSABLE
[
PACKRAT_PRIMARY
], a_how_many:
INTEGER_8
, a_tag:
ABSTRACT_STRING
, a_action:
PROCEDURE
[
TUPLE
]):
PACKRAT_ALTERNATIVE
effective function
{}
top
require
a_primaries /= Void
a_how_many.in_range(
one
,
one_or_more
)
ref
(a_atom_name:
ABSTRACT_STRING
):
PACKRAT_PRIMARY
effective function
{}
top
require
a_atom_name /= Void