deferred class REDIRECTION_TOOLS

All features

Direct parents

non-conformant parents

ANY

Known children

non-conformant children

STD_ERROR, STD_INPUT, STD_OUTPUT

Summary

exported features

Details

redirection_succeeded: BOOLEAN

Did the last call to redirect succeed?

restore_default

Cancel redirection

deferred filtered_descriptor: INTEGER
deferred flush
redirect (file_descriptor: INTEGER)

Redirect to/from file_descriptor

save_default_descriptor

Always call this before calling dup2(..., filtered_descriptor)

default_descriptor: INTEGER

A descriptor that referes to the same file as stdin initially does.

dup (descriptor_: INTEGER): INTEGER

Return a new descriptor that refers to the same file as descriptor_.

dup2 (descriptor_1: INTEGER, descriptor_2: INTEGER)

Make descriptor_2 point to the same file as descriptor_1.

open_descriptor_for_read (file_name: POINTER): INTEGER

Open file_name for reading, returning a descriptor to it.

open_descriptor_for_create (file_name: POINTER): INTEGER

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

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): BOOLEAN

Did open returning descriptor_ succeed ?

close_descriptor (descriptor_: INTEGER)

Close descriptor_, freeing it for later use.