           *******************************************************
                         Report of SPARK Examination
                             Examiner GPL Edition

           *******************************************************


Options:
    index_file=wrap_utility.idx
    nowarning_file
    notarget_compiler_data
    config_file=gnat.cfg
    source_extension=ada
    listing_extension=ls_
    nodictionary_file
    report_file=wrap_utility.rep
    nohtml
    plain_output
    sparklib
    nostatistics
    fdl_identifiers=accept
    flow_analysis=auto
    language=95
    profile=sequential
    annotation_character=#
    rules=lazy
    error_explanations=off
    justification_option=full
    casing=si
    output_directory=vcg
    output_directory (actual)=vcg

Selected files:
   @wrap_utility.smf


Index Filename(s) used were: 
   wrap_utility.idx
   spark.idx
   main.idx


Meta File(s) used were:
   wrap_utility.smf
      wraps.adb


Full warning reporting selected


Target configuration file:
Line
      package Standard is
         type Short_Short_Integer is range -128 ..  127;
         type Short_Integer       is range -2**15 .. 2**15 - 1;
         type Integer             is range -2**31 .. 2**31 - 1;
         type Long_Long_Integer   is range -2**63 .. 2**63 - 1;
      end Standard;
      
      package System is
         Min_Int : constant := -2 ** 63;
         Max_Int : constant :=  2 ** 63 - 1;
      end System;


Source Filename(s) used were:
   wraps.adb
   wraps.ads
   spark_io.ads



Source Filename:   wraps.ads
No Listing File

   Unit name:  WRAPS
   Unit type:  package specification
   Unit has been analysed, any errors are listed below.

No errors found


Source Filename:   spark_io.ads
No Listing File

   Unit name:  SPARK_IO
   Unit type:  package specification
   Unit has been analysed, any errors are listed below.

2 error(s) or warning(s)

Line
         pragma Inline (Valid_File, End_Of_Line, End_Of_File, Get_Char);
                ^
---        Warning           :  3: Pragma - ignored by the Examiner.

      end SPARK_IO;

---        Warning           : 10: The private part of package SPARK_IO is hidden - 
           hidden text is ignored by the Examiner.


Source Filename:   wraps.adb
Listing Filename:  wraps.lsb

   Unit name:  WRAPS
   Unit type:  package body
   Unit has been analysed, any errors are listed below.

9 error(s) or warning(s)

Line
      with Ada.Command_Line, GNAT.OS_Lib, GNAT.IO_Aux, SPARK_IO;
           ^                 ^            ^
---        Warning           :  1: The identifier Ada is either undeclared or not 
           visible at this point.
---        Warning           :  1: The identifier GNAT is either undeclared or not 
           visible at this point.
---        Warning           :  1: The identifier GNAT is either undeclared or not 
           visible at this point.

            end CheckFileExists;

---        Warning           : 10: The body of subprogram CheckFileExists is hidden - 
           hidden text is ignored by the Examiner.

            end New_Wrap;

---        Warning           : 10: The body of subprogram New_Wrap is hidden - hidden 
           text is ignored by the Examiner.

            end OpenInFile;

---        Warning           : 10: The body of subprogram OpenInFile is hidden - 
           hidden text is ignored by the Examiner.

            end OpenOutFile;

---        Warning           : 10: The body of subprogram OpenOutFile is hidden - 
           hidden text is ignored by the Examiner.

            end CleanUp;

---        Warning           : 10: The body of subprogram CleanUp is hidden - hidden 
           text is ignored by the Examiner.

            end DisplayErrorMessage;

---        Warning           : 10: The body of subprogram DisplayErrorMessage is 
           hidden - hidden text is ignored by the Examiner.


Expected messages marked with the accept annotation
Type Msg    Lines              Reason                    Match
     No.  From    To                                    No.  Line
Flow  22              OpenInFile is hidden. Expression    1      
Flow  23              Array elements are initialised b    1      
Flow 602         end  Array elements are initialised b    1      
Flow  22              Initialise hides behaviour. Expr    1      
Flow  10              May actually affect infile.         1      
Flow  10              May actually affect outfile.        1      


Note: Automatic flow analysis mode selected


--End of file--------------------------------------------------
