Return to postpoco.adb CVS log

Up to [local] / OpenXM_contrib / PHC / Ada / Continuation

Annotation of OpenXM_contrib/PHC/Ada/Continuation/postpoco.adb, Revision 1.1.1.1

1.1       maekawa     1: with text_io;                            use text_io;
                      2: with Communications_with_User;           use Communications_with_User;
                      3: with valipoco;
                      4:
                      5: procedure postpoco is
                      6:
                      7:   pocofile,resultfile : file_type;
                      8:
                      9: begin
                     10:   new_line;
                     11:   put_line("Reading name of the output file of poco.");
                     12:   Read_Name_and_Open_File(pocofile);
                     13:   new_line;
                     14:   put_line("Reading name of output file.");
                     15:   Read_Name_and_Create_File(resultfile);
                     16:   new_line;
                     17:   put_line("See output file for results...");
                     18:   new_line;
                     19:   valipoco(pocofile,resultfile);
                     20: end postpoco;