Return to bablpoco.adb CVS log

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

Annotation of OpenXM_contrib/PHC/Ada/Continuation/bablpoco.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 Black_Polynomial_Continuations;     use Black_Polynomial_Continuations;
                      4:
                      5: procedure bablpoco ( infilename,outfilename : in string ) is
                      6:
                      7:   infile,outfile : file_type;
                      8:   poco : duration;
                      9:
                     10: begin
                     11:   if infilename /= ""
                     12:    then Open_Input_File(infile,infilename);
                     13:    else new_line;
                     14:         put_line("Reading the name of the input file.");
                     15:         Read_Name_and_Open_File(infile);
                     16:   end if;
                     17:   Create_Output_File(outfile,outfilename);
                     18:   Black_Box_Polynomial_Continuation(infile,outfile,poco);
                     19:   Close(infile); Close(outfile);
                     20: end bablpoco;