Return to driver_for_own_start_system.adb CVS log

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

Annotation of OpenXM_contrib/PHC/Ada/Main/driver_for_own_start_system.adb, Revision 1.1

1.1     ! maekawa     1: with integer_io;                         use integer_io;
        !             2: with Communications_with_User;           use Communications_with_User;
        !             3: with File_Scanning;                      use File_Scanning;
        !             4: with Standard_Complex_Poly_Systems_io;   use Standard_Complex_Poly_Systems_io;
        !             5: with Standard_Complex_Solutions_io;      use Standard_Complex_Solutions_io;
        !             6: with Drivers_for_Poly_Continuation;      use Drivers_for_Poly_Continuation;
        !             7:
        !             8: procedure Driver_for_Own_Start_System
        !             9:              ( file : in file_type; p : in Poly_Sys;
        !            10:                q : out Poly_Sys; qsols : in out Solution_List ) is
        !            11:
        !            12:   qfile : file_type;
        !            13:   qq : Poly_Sys(p'range);
        !            14:   found : boolean;
        !            15:
        !            16: begin
        !            17:   new_line;
        !            18:   put_line("Reading the name of the file that contains the start system.");
        !            19:   Read_Name_and_Open_File(qfile);
        !            20:   get(qfile,qq);
        !            21:   Scan_and_Skip(qfile,"SOLUTIONS",found);
        !            22:   if found
        !            23:    then get(qfile,qsols);
        !            24:    else declare
        !            25:           sfile : file_type;
        !            26:         begin
        !            27:           put_line("Reading the name of the file for the solutions.");
        !            28:           Read_Name_and_Open_File(sfile);
        !            29:           get(sfile,qsols);
        !            30:           Close(sfile);
        !            31:         end;
        !            32:   end if;
        !            33:   Close(qfile);
        !            34:   Check_Continuation_Parameter(qsols);
        !            35:   q := qq;
        !            36:   new_line(file);
        !            37:   put_line(file,"Start system delivered by user : ");
        !            38:   put(file,qq);
        !            39:   new_line(file);
        !            40:   put_line(file,"with start solutions : "); new_line(file);
        !            41:   put(file,qsols);
        !            42:   new_line(file);
        !            43: end Driver_for_Own_Start_System;