Annotation of OpenXM_contrib/PHC/Ada/Main/driver_for_own_start_system.adb, Revision 1.1.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;
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>