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

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


Options:
    index_file=pogs.idx
    nowarning_file
    notarget_compiler_data
    config_file=gnat.cfg
    source_extension=ada
    listing_extension=ls_
    nodictionary_file
    report_file=pogs.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:
   @pogs.smf


Index Filename(s) used were: 
   pogs.idx
   ada.idx
   spark.idx


Meta File(s) used were:
   pogs.smf
      banner.adb
      banner-copyright.adb
      banner-get_version.adb
      fatalerrors.adb
      filedetails.adb
      fileheap.adb
      findfiles.adb
      heap.adb
      pathformatter.adb
      total.adb
      vcdetails.adb
      vcheap.adb
      vcs.adb
      vcs-analyseprooflogfile.adb
      vcs-analysereviewfile.adb
      vcs-analysesimplogfile.adb
      vcs-analysesimplifiedvcfile.adb
      vcs-analysevictoredvcfile.adb
      vcs-analysevictorlogfile.adb
      vcs-analyse_dpc_file.adb
      vcs-analyse_summary_dp_file.adb
      vcs-analyse_riposte_summary_file.adb
      vcs-analysevcfile.adb
      vcs-printvcreport.adb
      vcs-processnewrangeline.adb
      vcs-writevcinfo.adb
      toppackage.adb
      slg_parser.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:
   banner.adb
   banner.ads
   version.ads
   spark_io.ads
   e_strings.ads
   commandline.ads
   osfiling.ads
   oscommandline.ads
   spark-ada-strings-unbounded.ads
   spark-ada-strings-maps.ads
   ada-characters-handling.shs
   spark-ada-strings.ads
   spark-ada.ads
   spark.ads
   banner-copyright.adb
   banner-get_version.adb
   fatalerrors.adb
   fatalerrors.ads
   filedetails.adb
   filedetails.ads
   heapindex.ads
   fileheap.adb
   fileheap.ads
   heap.ads
   findfiles.adb
   findfiles.ads
   osdirectory.ads
   heap.adb
   pathformatter.adb
   pathformatter.ads
   total.adb
   total.ads
   vcheap.ads
   vcdetails.ads
   vcdetails.adb
   vcheap.adb
   vcs.adb
   vcs.ads
   spark_calendar.ads
   slg_parser.ads
   date_time.ads
   vcs-analyseprooflogfile.adb
   vcs-analysereviewfile.adb
   vcs-analysesimplogfile.adb
   vcs-analysesimplifiedvcfile.adb
   vcs-analysevictoredvcfile.adb
   vcs-analysevictorlogfile.adb
   vcs-analyse_dpc_file.adb
   vcs-analyse_summary_dp_file.adb
   vcs-analyse_riposte_summary_file.adb
   vcs-analysevcfile.adb
   vcs-printvcreport.adb
   vcs-processnewrangeline.adb
   vcs-writevcinfo.adb
   toppackage.adb
   toppackage.ads
   slg_parser.adb



Source Filename:   banner.ads
No Listing File

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

No errors found


Source Filename:   version.ads
No Listing File

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

No errors found


Expected messages marked with the accept annotation
Type Msg    Lines              Reason                    Match
     No.  From    To                                    No.  Line
Warn   3         end  Pragma to suppress compiler warn    1      



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:   e_strings.ads
No Listing File

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

No errors found


Source Filename:   commandline.ads
No Listing File

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

No errors found


Source Filename:   osfiling.ads
No Listing File

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

No errors found


Source Filename:   oscommandline.ads
No Listing File

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

No errors found


Source Filename:   spark-ada-strings-unbounded.ads
No Listing File

   Unit name:  SPARK.Ada.Strings.Unbounded
   Unit type:  package specification
   Unit has been analysed, any errors are listed below.

2 error(s) or warning(s)

Line
      with Ada.Strings.Unbounded;
           ^
---        Warning           :  1: The identifier Ada is either undeclared or not 
           visible at this point.

      end SPARK.Ada.Strings.Unbounded;

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


Source Filename:   spark-ada-strings-maps.ads
No Listing File

   Unit name:  SPARK.Ada.Strings.Maps
   Unit type:  package specification
   Unit has been analysed, any errors are listed below.

2 error(s) or warning(s)

Line
      with Ada.Strings.Maps;
           ^
---        Warning           :  1: The identifier Ada is either undeclared or not 
           visible at this point.

      end SPARK.Ada.Strings.Maps;

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


Source Filename:   ada-characters-handling.shs
No Listing File

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

No errors found


Source Filename:   spark-ada-strings.ads
No Listing File

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

No errors found


Source Filename:   spark-ada.ads
No Listing File

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

No errors found


Source Filename:   spark.ads
No Listing File

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

No errors found


Source Filename:   fatalerrors.ads
No Listing File

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

No errors found


Source Filename:   filedetails.ads
No Listing File

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

No errors found


Source Filename:   heapindex.ads
No Listing File

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

No errors found


Source Filename:   fileheap.ads
No Listing File

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

No errors found


Source Filename:   heap.ads
No Listing File

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

1 error(s) or warning(s)

Line
         pragma Pack (AtomDescriptor);
                ^
---        Warning           :  3: Pragma - ignored by the Examiner.


Source Filename:   findfiles.ads
No Listing File

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

No errors found


Source Filename:   osdirectory.ads
No Listing File

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

No errors found


Source Filename:   pathformatter.ads
No Listing File

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

No errors found


Source Filename:   total.ads
No Listing File

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

No errors found


Source Filename:   vcheap.ads
No Listing File

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

No errors found


Source Filename:   vcdetails.ads
No Listing File

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

No errors found


Source Filename:   vcs.ads
No Listing File

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

No errors found


Source Filename:   spark_calendar.ads
No Listing File

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

2 error(s) or warning(s)

Line
      with Calendar;
           ^
---        Warning           :  1: The identifier Calendar is either undeclared or 
           not visible at this point.

      end SPARK_Calendar;

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


Source Filename:   slg_parser.ads
No Listing File

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

No errors found


Source Filename:   date_time.ads
No Listing File

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

No errors found


Source Filename:   toppackage.ads
No Listing File

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

No errors found


Source Filename:   banner.adb
Listing Filename:  banner.lsb

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

No errors found


Source Filename:   banner-copyright.adb
Listing Filename:  banner-copyright.lsb

   Unit name:  Banner.Copyright
   Unit type:  subunit
   Unit has been analysed, any errors are listed below.

No errors found


Source Filename:   banner-get_version.adb
Listing Filename:  banner-get_version.lsb

   Unit name:  Banner.Get_Version
   Unit type:  subunit
   Unit has been analysed, any errors are listed below.

No errors found


Source Filename:   fatalerrors.adb
Listing Filename:  fatalerrors.lsb

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

2 error(s) or warning(s)

Line
      with POGS_Exceptions;
           ^
---        Warning           :  1: The identifier POGS_Exceptions is either 
           undeclared or not visible at this point.

      end FatalErrors;

---        Warning           : 10: The body of package FatalErrors is hidden - hidden 
           text is ignored by the Examiner.


Source Filename:   filedetails.adb
Listing Filename:  filedetails.lsb

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

1 error(s) or warning(s)

Line
            for I in HeapIndex.IndexType loop

---        Warning           :402: Default assertion planted to cut loop.


Expected messages marked with the accept annotation
Type Msg    Lines              Reason                    Match
     No.  From    To                                    No.  Line
Flow  23         end  Element-by-element array initial    1      
Flow 602         end  Element-by-element array initial    1      



Source Filename:   fileheap.adb
Listing Filename:  fileheap.lsb

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

1 error(s) or warning(s)

Line
            while not LoopFinished loop

---        Warning           :402: Default assertion planted to cut loop.


Expected messages marked with the accept annotation
Type Msg    Lines              Reason                    Match
     No.  From    To                                    No.  Line
Flow  10              Dummy unused here                   1      
Flow  33         end  Dummy unused here                   1      
Flow  10              Dummy unused here                   2      
Flow  33         end  Dummy unused here                   1      



Source Filename:   findfiles.adb
Listing Filename:  findfiles.lsb

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

2 error(s) or warning(s)

Line
            while UnResolvedDirFound loop

---        Warning           :402: Default assertion planted to cut loop.

               while NextSuccess loop

---        Warning           :402: Default assertion planted to cut loop.


Expected messages marked with the accept annotation
Type Msg    Lines              Reason                    Match
     No.  From    To                                    No.  Line
Flow  10              Name unused here                    1      
Flow  33         end  Name unused here                    1      



Source Filename:   heap.adb
Listing Filename:  heap.lsb

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

No errors found


Expected messages marked with the accept annotation
Type Msg    Lines              Reason                    Match
     No.  From    To                                    No.  Line
Flow  23         end  Partial initialization              1      
Flow 602         end  Partial initialization              1      



Source Filename:   pathformatter.adb
Listing Filename:  pathformatter.lsb

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

No errors found


Source Filename:   total.adb
Listing Filename:  total.lsb

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

1 error(s) or warning(s)

Line
         end Fatal_Error;

---        Warning           : 10: The body of subprogram Fatal_Error 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  10              Unused_Path_End unused here         1      
Flow  10              Unused_Path_Start unused here       1      
Flow  10              Unused_VC_Name unused here          1      
Flow  41              Expression is stable                1      
Flow  41              Expression is stable                1      
Flow  41              Expression is stable                1      
Flow  33         end  Unused_Path_End unused here         1      
Flow  33         end  Unused_Path_Start unused here       1      
Flow  33         end  Unused_VC_Name unused here          1      
Flow  10         end  Temp_Status not used here           1      
Flow  10         end  Temp_Store_Bool not used here       1      
Flow  41              No need to write two loops here.    2      
Flow  33         end  Temp_Store_Bool is not needed.      1      
Flow  33         end  Temp_Status is not needed.          1      



Source Filename:   vcdetails.adb
Listing Filename:  vcdetails.lsb

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

No errors found


Expected messages marked with the accept annotation
Type Msg    Lines              Reason                    Match
     No.  From    To                                    No.  Line
Flow  31         end  Partial initialization              1      
Flow  32         end  Partial initialization              1      
Flow 602         end  Partial initialization              1      
Flow  10              Dummy_Position unused here          7      
Flow  10              To_Found unused here                1      
Flow  33         end  Dummy_Position unused here          1      
Flow  33         end  To_Found unused here                1      



Source Filename:   vcheap.adb
Listing Filename:  vcheap.lsb

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

2 error(s) or warning(s)

Line
         end Get_VC_State;

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

         end Exists;

---        Warning           : 10: The body of subprogram Exists 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  10              Existing_Path_Start not used her    1      
Flow  10              Existing_Path_End not used here     1      
Flow  10              Existing_End_Type not used here     1      
Flow  10              Existing_VC_State not used here     1      
Flow  10              Existing_DPC_State not used here    1      
Flow  33         end  Existing_Path_Start not used her    1      
Flow  33         end  Existing_Path_End not used here     1      
Flow  33         end  Existing_End_Type not used here     1      
Flow  33         end  Existing_VC_State not used here     1      
Flow  33         end  Existing_DPC_State not used here    1      
Flow  10              Dummy not used here                 1      
Flow  33         end  Dummy not used here                 1      
Flow  10              Dummy unused here                   2      
Flow  33         end  Dummy unused here                   1      
Flow  10              Current_VC_Path_Start not used h    1      
Flow  10              Current_VC_Path_End not used her    1      
Flow  10              Current_VC_End_Type not used her    1      
Flow  10              Current_VC_State not used here      1      
Flow  10              Current_DPC_State not used here     1      
Flow  33         end  Current_VC_Path_Start not used h    1      
Flow  33         end  Current_VC_Path_End not used her    1      
Flow  33         end  Current_VC_End_Type not used her    1      
Flow  33         end  Current_VC_State not used here      1      
Flow  33         end  Current_DPC_State not used here     1      



Source Filename:   vcs.adb
Listing Filename:  vcs.lsb

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

1 error(s) or warning(s)

Line
         pragma Unreferenced (WriteVCInfo);
                ^
---        Warning           :  3: Pragma - ignored by the Examiner.


Expected messages marked with the accept annotation
Type Msg    Lines              Reason                    Match
     No.  From    To                                    No.  Line
Flow  10              Unused_Pos unused here              1      
Flow  33         end  Unused_Pos unused here              1      
Flow  10              We don't use this yet, but may i    1      
Flow 601         end  False coupling through SPARK_IO     1      
Flow 601         end  False coupling through SPARK_IO     1      
Flow 601         end  False coupling through SPARK_IO     1      
Flow 601         end  False coupling through SPARK_IO     1      
Flow 601         end  False coupling through SPARK_IO     1      
Flow 601         end  False coupling through SPARK_IO     1      
Flow 601         end  False coupling through SPARK_IO     1      
Flow 601         end  False coupling through SPARK_IO     1      
Flow 601         end  False coupling through SPARK_IO     1      
Flow 601         end  False coupling through SPARK_IO     1      
Flow 601         end  False coupling through SPARK_IO     1      
Flow 601         end  False coupling through SPARK_IO     1      
Flow 601         end  False coupling through SPARK_IO     1      
Flow 601         end  False coupling through SPARK_IO     1      
Flow 601         end  False coupling through SPARK_IO     1      
Flow 601         end  False coupling through SPARK_IO     1      
Flow  33         end  We don't export this yet - we mi    1      



Source Filename:   vcs-analyseprooflogfile.adb
Listing Filename:  vcs-analyseprooflogfile.lsb

   Unit name:  VCS.AnalyseProofLogFile
   Unit type:  subunit
   Unit has been analysed, any errors are listed below.

No errors found


Expected messages marked with the accept annotation
Type Msg    Lines              Reason                    Match
     No.  From    To                                    No.  Line
Flow  10              Stop unused here                    1      
Flow  10              Stop unused here                    1      
Flow  10              Stop unused here                    3      
Flow  33         end  Stop unused here                    1      
Flow 602         end  Always well-defined when no erro    1      
Flow  10              Dummy_Close_Status unused here      1      
Flow  10              Proof_Log_File unused here          1      
Flow  33         end  Dummy_Close_Status unused here      1      



Source Filename:   vcs-analysereviewfile.adb
Listing Filename:  vcs-analysereviewfile.lsb

   Unit name:  VCS.AnalyseReviewFile
   Unit type:  subunit
   Unit has been analysed, any errors are listed below.

No errors found


Expected messages marked with the accept annotation
Type Msg    Lines              Reason                    Match
     No.  From    To                                    No.  Line
Flow  10              Dummy_Close_Status unused here      1      
Flow  10              Review_File unused here             1      
Flow  33         end  Dummy_Close_Status unused here      1      



Source Filename:   vcs-analysesimplogfile.adb
Listing Filename:  vcs-analysesimplogfile.lsb

   Unit name:  VCS.AnalyseSimpLogFile
   Unit type:  subunit
   Unit has been analysed, any errors are listed below.

No errors found


Expected messages marked with the accept annotation
Type Msg    Lines              Reason                    Match
     No.  From    To                                    No.  Line
Flow  10              Modify filehandle to close file     1      
Flow 601         end  False coupling through SPARK_IO     1      
Flow 601         end  False coupling through SPARK_IO     1      



Source Filename:   vcs-analysesimplifiedvcfile.adb
Listing Filename:  vcs-analysesimplifiedvcfile.lsb

   Unit name:  VCS.AnalyseSimplifiedVCFile
   Unit type:  subunit
   Unit has been analysed, any errors are listed below.

No errors found


Expected messages marked with the accept annotation
Type Msg    Lines              Reason                    Match
     No.  From    To                                    No.  Line
Flow  10              Dummy_Close_Status unused here      1      
Flow  10              Simplified_VC_File unused here      1      
Flow  33         end  Dummy_Close_Status unused here      1      



Source Filename:   vcs-analysevictoredvcfile.adb
Listing Filename:  vcs-analysevictoredvcfile.lsb

   Unit name:  VCS.AnalyseVictoredVCFile
   Unit type:  subunit
   Unit has been analysed, any errors are listed below.

No errors found


Expected messages marked with the accept annotation
Type Msg    Lines              Reason                    Match
     No.  From    To                                    No.  Line
Flow  10              We don't care about Stop at the     1      
Flow  33         end  We don't care about Stop at the     1      
Flow  10              We don't care anymore since we'v    1      
Flow  10              Same as above.                      1      
Flow 601         end  False coupling through SPARK_IO     1      
Flow 601         end  False coupling through SPARK_IO     1      



Source Filename:   vcs-analysevictorlogfile.adb
Listing Filename:  vcs-analysevictorlogfile.lsb

   Unit name:  VCS.AnalyseVictorLogFile
   Unit type:  subunit
   Unit has been analysed, any errors are listed below.

No errors found


Expected messages marked with the accept annotation
Type Msg    Lines              Reason                    Match
     No.  From    To                                    No.  Line
Flow  10              We don't care anymore since we'v    1      
Flow  10              Same as above.                      1      



Source Filename:   vcs-analyse_dpc_file.adb
Listing Filename:  vcs-analyse_dpc_file.lsb

   Unit name:  VCS.Analyse_DPC_File
   Unit type:  subunit
   Unit has been analysed, any errors are listed below.

No errors found


Expected messages marked with the accept annotation
Type Msg    Lines              Reason                    Match
     No.  From    To                                    No.  Line
Flow  10              Dummy_Close_Status unused here      1      
Flow  10              DPC_File unused here                1      
Flow  33         end  Dummy_Close_Status unused here      1      



Source Filename:   vcs-analyse_summary_dp_file.adb
Listing Filename:  vcs-analyse_summary_dp_file.lsb

   Unit name:  VCS.Analyse_Summary_DP_File
   Unit type:  subunit
   Unit has been analysed, any errors are listed below.

No errors found


Expected messages marked with the accept annotation
Type Msg    Lines              Reason                    Match
     No.  From    To                                    No.  Line
Flow  10              DummyCloseStatus unused here        1      
Flow  10              Summary_DP_File unused here         1      
Flow  33         end  DummyCloseStatus unused here        1      



Source Filename:   vcs-analyse_riposte_summary_file.adb
Listing Filename:  vcs-analyse_riposte_summary_file.lsb

   Unit name:  VCS.Analyse_Riposte_Summary_File
   Unit type:  subunit
   Unit has been analysed, any errors are listed below.

No errors found


Expected messages marked with the accept annotation
Type Msg    Lines              Reason                    Match
     No.  From    To                                    No.  Line
Flow  10              We don't care about Stop at the     1      
Flow  33         end  We don't care about Stop at the     1      
Flow  10              We don't care anymore since we'v    1      
Flow  10              Same as above.                      1      
Flow 601         end  False coupling through SPARK_IO     1      
Flow 601         end  False coupling through SPARK_IO     1      



Source Filename:   vcs-analysevcfile.adb
Listing Filename:  vcs-analysevcfile.lsb

   Unit name:  VCS.AnalyseVCFile
   Unit type:  subunit
   Unit has been analysed, any errors are listed below.

No errors found


Expected messages marked with the accept annotation
Type Msg    Lines              Reason                    Match
     No.  From    To                                    No.  Line
Flow  10              Dummy_Close_Status unused here      1      
Flow  10              VC_File unused here                 1      
Flow  33         end  Dummy_Close_Status unused here      1      



Source Filename:   vcs-printvcreport.adb
Listing Filename:  vcs-printvcreport.lsb

   Unit name:  VCS.PrintVCReport
   Unit type:  subunit
   Unit has been analysed, any errors are listed below.

No errors found


Expected messages marked with the accept annotation
Type Msg    Lines              Reason                    Match
     No.  From    To                                    No.  Line
Flow  10              Unused_Pos unused here              1      
Flow  33         end  Unused_Pos unused here              1      



Source Filename:   vcs-processnewrangeline.adb
Listing Filename:  vcs-processnewrangeline.lsb

   Unit name:  VCS.ProcessNewRangeLine
   Unit type:  subunit
   Unit has been analysed, any errors are listed below.

No errors found


Expected messages marked with the accept annotation
Type Msg    Lines              Reason                    Match
     No.  From    To                                    No.  Line
Flow  10              Dummy_Position unused here          3      
Flow  10              Line_Found unused here              1      
Flow  33         end  Dummy_Position unused here          1      
Flow  33         end  Line_Found unused here              1      
Flow  10              Line_Found unused here              1      
Flow  33         end  Line_Found unused here              1      
Flow  10              Dummy_Position unused here          1      
Flow  10              Line_Found unused here              1      
Flow  33         end  Dummy_Position unused here          1      
Flow  33         end  Line_Found unused here              1      



Source Filename:   vcs-writevcinfo.adb
Listing Filename:  vcs-writevcinfo.lsb

   Unit name:  VCS.WriteVCInfo
   Unit type:  subunit
   Unit has been analysed, any errors are listed below.

No errors found


Source Filename:   toppackage.adb
Listing Filename:  toppackage.lsb

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

1 error(s) or warning(s)

Line
               while not Heap.IsNullPointer (This_File) and Success loop

---        Warning           :402: Default assertion planted to cut loop.


Expected messages marked with the accept annotation
Type Msg    Lines              Reason                    Match
     No.  From    To                                    No.  Line
Flow  10              Unused_Directory_Is_Resolved unu    1      
Flow  41              Expression is stable but efficie    2      
Flow  10              Temp_File unused here               1      
Flow  10              Temp_False_File unused here         1      
Flow  10              Temp_Contra_File unused here        1      
Flow  10              Temp_Victor_File unused here        1      
Flow  10              Temp_Riposte_File unused here       1      
Flow  10              Temp_User_File unused here          1      
Flow  10              Temp_Rlu_Error_File unused here     1      
Flow  10              Temp_Rlu_Used_File unused here      1      
Flow  10              Temp_PR_Verr_File unused here       1      
Flow  10              Temp_PR_Verr_File unused here       1      
Flow  10              Temp_DPC_Error_File unused here     1      
Flow  10              Temp_SDP_Error_File unused here     1      
Flow  10              Temp_Victor_Error_File unused he    1      
Flow  10              Temp_Riposte_Error_File unused h    1      
Flow  10         end  Status unused here                  1      
Flow  10         end  Report_File unused here             1      
Flow  33         end  Unused_Directory_Is_Resolved unu    1      



Source Filename:   slg_parser.adb
Listing Filename:  slg_parser.lsb

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

4 error(s) or warning(s)

Line
         pragma Inline (Is_White_Space);
                ^
---        Warning           :  3: Pragma - ignored by the Examiner.

         pragma Inline (Is_Char_At_Posn);
                ^
---        Warning           :  3: Pragma - ignored by the Examiner.

         pragma Inline (Is_Whitespace_At_Posn);
                ^
---        Warning           :  3: Pragma - ignored by the Examiner.

         pragma Inline (Inc_Posn);
                ^
---        Warning           :  3: Pragma - ignored by the Examiner.


Expected messages marked with the accept annotation
Type Msg    Lines              Reason                    Match
     No.  From    To                                    No.  Line
Flow  23              The call to open initalises File    1      
Flow 602         end  The call to open initalises File    1      
Flow 602         end  The call to open initalises File    1      
Flow 602         end  The call to open initalises File    1      
Flow  10         end  The status returned from Close i    1      
Flow  33         end  The status returned from Close i    1      


Note: Automatic flow analysis mode selected


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