Annotation of OpenXM_contrib/PHC/Ada/Math_Lib/Polynomials/symbol_table_io.ads, Revision 1.1.1.1
1.1 maekawa 1: with text_io; use text_io;
2: with Symbol_Table; use Symbol_Table;
3:
4: package Symbol_Table_io is
5:
6: -- DESCRIPTION :
7: -- This package provides i/o operations for symbols.
8:
9: procedure get ( sb : in out symbol );
10: procedure get ( sb : in out symbol; delimiter : in character );
11: procedure get ( ch : in out character; sb : in out symbol );
12: procedure get ( ch : in out character; sb : in out symbol;
13: delimiter : in character );
14: procedure get ( file : in file_type; sb : in out symbol );
15: procedure get ( file : in file_type; sb : in out symbol;
16: delimiter : in character );
17: procedure get ( file : in file_type;
18: ch : in out character; sb : in out symbol );
19: procedure get ( file : in file_type;
20: ch : in out character; sb : in out symbol;
21: delimiter : in character );
22:
23: -- DESCRIPTION :
24: -- Reads a symbol from standard input or from file.
25: -- Skips blanks before and after the symbol.
26: -- When a character is given as parameter, it can already
27: -- contain the first character of the symbol.
28: -- Reading stops when either the length of the symbol is reached,
29: -- or when a blank or a delimiter is encountered.
30:
31: procedure put ( sb : in symbol );
32: procedure put ( file : in file_type; sb : in symbol );
33:
34: -- DESCRIPTION :
35: -- Writes a symbol on standard output or on file.
36: -- Blanks after the symbol are not written.
37:
38: end Symbol_Table_io;
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>