Return to mainroco.adb CVS log

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

Annotation of OpenXM_contrib/PHC/Ada/Main/mainroco.adb, Revision 1.1.1.1

1.1       maekawa     1: with text_io,integer_io;                 use text_io,integer_io;
                      2: with Communications_with_User;           use Communications_with_User;
                      3: with Numbers_io;                         use Numbers_io;
                      4: with Standard_Complex_Poly_Systems;      use Standard_Complex_Poly_Systems;
                      5: with Standard_Complex_Poly_Systems_io;   use Standard_Complex_Poly_Systems_io;
                      6: with Standard_Complex_Solutions;         use Standard_Complex_Solutions;
                      7: with Standard_Complex_Solutions_io;      use Standard_Complex_Solutions_io;
                      8: with Driver_for_Root_Counts;
                      9: with Bye_Bye_Message;
                     10:
                     11: procedure mainroco ( infilename,outfilename : in string ) is
                     12:
                     13:   n : natural;
                     14:   inft,outft : file_type;
                     15:   lp : Link_to_Poly_Sys;
                     16:
                     17:   procedure Read_System ( filename : in string ) is
                     18:
                     19:     file : file_type;
                     20:
                     21:   begin
                     22:     if filename /= ""
                     23:      then Open(file,in_file,filename);
                     24:           get(file,n);
                     25:           lp := new Poly_Sys(1..n);
                     26:           get(file,n,lp.all);
                     27:           Close(file);
                     28:     end if;
                     29:   exception
                     30:     when others =>
                     31:       new_line;
                     32:       put("Could not open file with name "); put_line(filename);
                     33:       lp := null; return;
                     34:   end Read_System;
                     35:
                     36: begin
                     37:   Read_System(infilename);
                     38:   if lp = null
                     39:    then new_line; get(lp); new_line;
                     40:   end if;
                     41:   Create_Output_File(outft,outfilename);
                     42:   put(outft,lp.all);
                     43:   declare
                     44:     q : Poly_Sys(lp'range);
                     45:     qsols : Solution_List;
                     46:     rc : natural;
                     47:   begin
                     48:     Driver_for_Root_Counts(outft,lp.all,q,false,qsols,rc);
                     49:   end;
                     50:   new_line(outft);
                     51:   put(outft,Bye_Bye_Message);
                     52:   Close(outft);
                     53: end mainroco;