GNU
|
Liberty Eiffel
|
Automated Tests
|
Wiki
|
Savannah project
|
Debian packages
|
Documentation
>
libraries
>
REDIRECTION_TOOLS
+
Point of view
All features
ANY
STREAM_HANDLER
All features
deferred class REDIRECTION_TOOLS
Summary
top
Direct parents
Insert list:
ANY
Known children
Insert list:
STD_ERROR
,
STD_INPUT
,
STD_OUTPUT
Overview
top
Features
{
STREAM_HANDLER
}
redirection_succeeded
:
BOOLEAN
Did the last call to redirect succeed?
restore_default
Cancel redirection
{}
filtered_descriptor
:
INTEGER_32
flush
redirect
(file_descriptor:
INTEGER_32
)
Redirect to/from
file_descriptor
save_default_descriptor
Always call this before calling
dup2
(...,
filtered_descriptor
)
default_descriptor
:
INTEGER_32
A descriptor that refers to the same file as stdin initially does.
dup
(descriptor_:
INTEGER_32
):
INTEGER_32
Return a new descriptor that refers to the same file as
descriptor_
.
dup2
(descriptor_1:
INTEGER_32
, descriptor_2:
INTEGER_32
)
Make
descriptor_2
point to the same file as
descriptor_1
.
open_descriptor_for_read
(file_name:
POINTER
):
INTEGER_32
Open
file_name
for reading, returning a descriptor to it.
open_descriptor_for_create
(file_name:
POINTER
):
INTEGER_32
Open
file_name
for writing, returning a descriptor to it.
open_descriptor_for_append
(file_name:
POINTER
):
INTEGER_32
Open
file_name
for writing, returning a descriptor to it.
open_descriptor_succeeded
(descriptor_:
INTEGER_32
):
BOOLEAN
Did open returning
descriptor_
succeed ?
close_descriptor
(descriptor_:
INTEGER_32
)
Close
descriptor_
, freeing it for later use.
redirection_succeeded
:
BOOLEAN
writable attribute
{
STREAM_HANDLER
}
top
Did the last call to redirect succeed?
restore_default
effective procedure
{
STREAM_HANDLER
}
top
Cancel redirection
filtered_descriptor
:
INTEGER_32
deferred function
{}
top
flush
deferred procedure
{}
top
redirect
(file_descriptor:
INTEGER_32
)
effective procedure
{}
top
Redirect to/from
file_descriptor
save_default_descriptor
once procedure
{}
top
Always call this before calling
dup2
(...,
filtered_descriptor
)
default_descriptor
:
INTEGER_32
writable attribute
{}
top
A descriptor that refers to the same file as stdin initially does.
dup
(descriptor_:
INTEGER_32
):
INTEGER_32
{}
top
Return a new descriptor that refers to the same file as
descriptor_
.
dup2
(descriptor_1:
INTEGER_32
, descriptor_2:
INTEGER_32
)
{}
top
Make
descriptor_2
point to the same file as
descriptor_1
.
open_descriptor_for_read
(file_name:
POINTER
):
INTEGER_32
{}
top
Open
file_name
for reading, returning a descriptor to it.
open_descriptor_for_create
(file_name:
POINTER
):
INTEGER_32
{}
top
Open
file_name
for writing, returning a descriptor to it.
The file is truncated if it already existed.
open_descriptor_for_append
(file_name:
POINTER
):
INTEGER_32
{}
top
Open
file_name
for writing, returning a descriptor to it.
New content is appended to the end of the file if it already existed.
open_descriptor_succeeded
(descriptor_:
INTEGER_32
):
BOOLEAN
{}
top
Did open returning
descriptor_
succeed ?
close_descriptor
(descriptor_:
INTEGER_32
)
{}
top
Close
descriptor_
, freeing it for later use.