GNU
|
Liberty Eiffel
|
Automated Tests
|
Wiki
|
Savannah project
|
Debian packages
|
Documentation
>
libraries
>
READLINE_CONTEXT
+
Point of view
All features
ANY
All features
class READLINE_CONTEXT
Summary
top
Direct parents
Insert list:
ANY
Class invariant
top
line
/= Void
Overview
top
Creation features
{
READLINE_JOB
}
make
(a_line:
STRING
)
Features
{
ANY
}
line
:
TRAVERSABLE
[
STRING
]
read
(a_prompt:
STRING
):
STRING
{}
make
(a_line:
STRING
)
line_
:
FAST_ARRAY
[
STRING
]
line
:
TRAVERSABLE
[
STRING
]
effective function
{
ANY
}
top
read
(a_prompt:
STRING
):
STRING
effective function
{
ANY
}
top
make
(a_line:
STRING
)
effective procedure
{}
top
require
a_line /= Void
line_
:
FAST_ARRAY
[
STRING
]
writable attribute
{}
top