phcpack_2.4.88_e448e94a/src/Ada/Main/greetings_and_conclusions.ads

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
with Ada.Calendar;
with text_io;                            use text_io;
with Standard_Natural_Numbers;           use Standard_Natural_Numbers;

package Greetings_and_Conclusions is

-- DESCRIPTION :
--   This package defines the writing of the greetings and the conclusions,
--   as they appear at the beginning and end of phc -B,
--   called in the procedures compsolve, compsolve2, and compsolve4.

  procedure Write_Greeting ( nbtasks,precision : in natural32 );

  -- DESCRIPTION :
  --   Writes the greeting and the number of tasks in nbtasks,
  --   or writes no tasking, followed by the precision.
  --   The values for precision are 0 for standard double,
  --   1 for double double, and 2 for quad double.

  procedure Write_Conclusion
              ( start_moment : in Ada.Calendar.Time; nbtasks : in natural32 );

  -- DESCRIPTION :
  --   Writes the time stamp, number of tasks, seed, and version number
  --   to screen.  The start_moment is the start time of the computations.

  procedure Write_Conclusion
              ( file : in file_type;
                start_moment : in Ada.Calendar.Time; nbtasks : in natural32 );

  -- DESCRIPTION :
  --   Writes the time stamp, number of tasks, seed, and version number
  --   to file.  The start_moment is the start time of the computations.

end Greetings_and_Conclusions;