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     ! 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;