Previous Up
7.30 Source reader facility

7.30.1 Introduction

To be written...

7.30.2 sr_open/3

7.30.3 sr_change_options/2

7.30.4 sr_close/1

7.30.5 sr_read_term/4

7.30.6 sr_current_descriptor/1

7.30.7 sr_get_stream/2

7.30.8 sr_get_module/3

7.30.9 sr_get_file_name/2

7.30.10 sr_get_position/3

7.30.11 sr_get_include_list/2

7.30.12 sr_get_include_stream_list/2

7.30.13 sr_get_size_counters/3

7.30.14 sr_get_error_counters/3

7.30.15 sr_set_error_counters/3

7.30.16 sr_error_from_exception/2

7.30.17 sr_write_message/8, sr_write_message/6, sr_write_message/4

7.30.18 sr_write_error/6, sr_write_error/4, sr_write_error/2




Copyright (C) 1999-2002 Daniel Diaz.

Chapters 9 and 10 : Copyright (C) 2002-2003 INRIA, Rémy Haemmerlé.

Verbatim copying and distribution of this entire article is permitted in any medium, provided this notice is preserved.

More about the copyright
Previous Up