Return to symbol_table_io.ads CVS log | Up to [local] / OpenXM_contrib / PHC / Ada / Math_Lib / Polynomials |
File: [local] / OpenXM_contrib / PHC / Ada / Math_Lib / Polynomials / symbol_table_io.ads (download)
Revision 1.1.1.1 (vendor branch), Sun Oct 29 17:45:27 2000 UTC (23 years, 10 months ago) by maekawa
Import the second public release of PHCpack. OKed by Jan Verschelde. |
with text_io; use text_io; with Symbol_Table; use Symbol_Table; package Symbol_Table_io is -- DESCRIPTION : -- This package provides i/o operations for symbols. procedure get ( sb : in out symbol ); procedure get ( sb : in out symbol; delimiter : in character ); procedure get ( ch : in out character; sb : in out symbol ); procedure get ( ch : in out character; sb : in out symbol; delimiter : in character ); procedure get ( file : in file_type; sb : in out symbol ); procedure get ( file : in file_type; sb : in out symbol; delimiter : in character ); procedure get ( file : in file_type; ch : in out character; sb : in out symbol ); procedure get ( file : in file_type; ch : in out character; sb : in out symbol; delimiter : in character ); -- DESCRIPTION : -- Reads a symbol from standard input or from file. -- Skips blanks before and after the symbol. -- When a character is given as parameter, it can already -- contain the first character of the symbol. -- Reading stops when either the length of the symbol is reached, -- or when a blank or a delimiter is encountered. procedure put ( sb : in symbol ); procedure put ( file : in file_type; sb : in symbol ); -- DESCRIPTION : -- Writes a symbol on standard output or on file. -- Blanks after the symbol are not written. end Symbol_Table_io;