with Type_Definitions;
use Type_Definitions;

package Adapathr is


    --| overview
    --| Adapathr produces a report from the logfile created by the runtime monitor.
    --| The report has 2 parts, history of execution and summary.  The history of
    --| execution lists the order in which the statements were executed.  The
    --| summary lists the number of times each statement was executed.

    procedure Path_Report_Writer (Logfile_Name : in Filename;
                                  --| name of input log file
                                  Reportfile_Name : in Filename);
    --| name of output report file
    --| overview
    --| Path_Report_Writer is called by the user interface to create a path
    --| analysis report for the specified log file.
    --| effects
    --| Path_Report_Writer accepts the logfile name and user specified data
    --| as input, the user specified data is written to the output report.
    --| n/a
    --| requires, raises


end Adapathr;