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

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


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


Index Filename(s) used were: 
   sparklalr.idx
   spark.idx


Meta File(s) used were:
   sparklalr.smf
      command_line_options.adb
      ees_sym.adb
      sparklalr_char_class.adb
      sparklalr_common.adb
      sparklalr_conflict.adb
      sparklalr_error.adb
      sparklalr_goto.adb
      sparklalr_input.adb
      spark_ada_integer_text_io.adb
      sparklalr_level.adb
      sparklalr_memory.adb
      sparklalr_memory-dump.adb
      sparklalr_memory-left_corner.adb
      sparklalr_parser.adb
      sparklalr_patab.adb
      symbols_dump.adb
      sparklalr.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:
   command_line_options.adb
   command_line_options.ads
   spark-ada-text_io.ads
   spark-ada-strings-unbounded.ads
   spark-ada-command_line-unbounded_string.ads
   spark-ada-command_line.ads
   fatal.shs
   spark-ada.ads
   spark.ads
   spark-ada-strings-maps.ads
   spark-ada-strings.ads
   ees_sym.adb
   ees_sym.ads
   symbols_dump.ads
   spark_ada_integer_text_io.ads
   sparklalr_parser.ads
   sparklalr_memory-dump.ads
   sparklalr_memory.ads
   sparklalr_common.ads
   sparklalr_symbol.ads
   sparklalr_level.ads
   sparklalr_input.ads
   sparklalr_goto.ads
   sparklalr_error.ads
   sparklalr_char_class.ads
   spark-ada-text_io-unbounded_string.ads
   sparklalr_char_class.adb
   sparklalr_common.adb
   sparklalr_conflict.adb
   sparklalr_conflict.ads
   sparklalr_patab.ads
   sparklalr_error.adb
   sparklalr_goto.adb
   sparklalr_input.adb
   spark_ada_integer_text_io.adb
   sparklalr_level.adb
   sparklalr_memory.adb
   sparklalr_memory-dump.adb
   sparklalr_memory-left_corner.adb
   sparklalr_memory-left_corner.ads
   sparklalr_parser.adb
   sparklalr_patab.adb
   symbols_dump.adb
   sparklalr.adb



Source Filename:   command_line_options.ads
No Listing File

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

No errors found


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

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

56 error(s) or warning(s)

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

         --# declare delay;
                     ^
---        Warning           :  4: declare annotation - ignored by the Examiner.

         --# declare delay;
                     ^
---        Warning           :  4: declare annotation - ignored by the Examiner.

         --# declare delay;
                     ^
---        Warning           :  4: declare annotation - ignored by the Examiner.

         --# declare delay;
                     ^
---        Warning           :  4: declare annotation - ignored by the Examiner.

         --# declare delay;
                     ^
---        Warning           :  4: declare annotation - ignored by the Examiner.

         --# declare delay;
                     ^
---        Warning           :  4: declare annotation - ignored by the Examiner.

         --# declare delay;
                     ^
---        Warning           :  4: declare annotation - ignored by the Examiner.

         --# declare delay;
                     ^
---        Warning           :  4: declare annotation - ignored by the Examiner.

         --# declare delay;
                     ^
---        Warning           :  4: declare annotation - ignored by the Examiner.

         --# declare delay;
                     ^
---        Warning           :  4: declare annotation - ignored by the Examiner.

         --# declare delay;
                     ^
---        Warning           :  4: declare annotation - ignored by the Examiner.

         --# declare delay;
                     ^
---        Warning           :  4: declare annotation - ignored by the Examiner.

         --# declare delay;
                     ^
---        Warning           :  4: declare annotation - ignored by the Examiner.

         --# declare delay;
                     ^
---        Warning           :  4: declare annotation - ignored by the Examiner.

         --# declare delay;
                     ^
---        Warning           :  4: declare annotation - ignored by the Examiner.

         --# declare delay;
                     ^
---        Warning           :  4: declare annotation - ignored by the Examiner.

         --# declare delay;
                     ^
---        Warning           :  4: declare annotation - ignored by the Examiner.

         --# declare delay;
                     ^
---        Warning           :  4: declare annotation - ignored by the Examiner.

         --# declare delay;
                     ^
---        Warning           :  4: declare annotation - ignored by the Examiner.

         --# declare delay;
                     ^
---        Warning           :  4: declare annotation - ignored by the Examiner.

         --# declare delay;
                     ^
---        Warning           :  4: declare annotation - ignored by the Examiner.

         --# declare delay;
                     ^
---        Warning           :  4: declare annotation - ignored by the Examiner.

         --# declare delay;
                     ^
---        Warning           :  4: declare annotation - ignored by the Examiner.

         --# declare delay;
                     ^
---        Warning           :  4: declare annotation - ignored by the Examiner.

         --# declare delay;
                     ^
---        Warning           :  4: declare annotation - ignored by the Examiner.

         --# declare delay;
                     ^
---        Warning           :  4: declare annotation - ignored by the Examiner.

         --# declare delay;
                     ^
---        Warning           :  4: declare annotation - ignored by the Examiner.

         --# declare delay;
                     ^
---        Warning           :  4: declare annotation - ignored by the Examiner.

         --# declare delay;
                     ^
---        Warning           :  4: declare annotation - ignored by the Examiner.

         --# declare delay;
                     ^
---        Warning           :  4: declare annotation - ignored by the Examiner.

         --# declare delay;
                     ^
---        Warning           :  4: declare annotation - ignored by the Examiner.

         --# declare delay;
                     ^
---        Warning           :  4: declare annotation - ignored by the Examiner.

         --# declare delay;
                     ^
---        Warning           :  4: declare annotation - ignored by the Examiner.

         --# declare delay;
                     ^
---        Warning           :  4: declare annotation - ignored by the Examiner.

         --# declare delay;
                     ^
---        Warning           :  4: declare annotation - ignored by the Examiner.

         --# declare delay;
                     ^
---        Warning           :  4: declare annotation - ignored by the Examiner.

         --# declare delay;
                     ^
---        Warning           :  4: declare annotation - ignored by the Examiner.

         --# declare delay;
                     ^
---        Warning           :  4: declare annotation - ignored by the Examiner.

         --# declare delay;
                     ^
---        Warning           :  4: declare annotation - ignored by the Examiner.

         --# declare delay;
                     ^
---        Warning           :  4: declare annotation - ignored by the Examiner.

         --# declare delay;
                     ^
---        Warning           :  4: declare annotation - ignored by the Examiner.

         --# declare delay;
                     ^
---        Warning           :  4: declare annotation - ignored by the Examiner.

         --# declare delay;
                     ^
---        Warning           :  4: declare annotation - ignored by the Examiner.

         --# declare delay;
                     ^
---        Warning           :  4: declare annotation - ignored by the Examiner.

         --# declare delay;
                     ^
---        Warning           :  4: declare annotation - ignored by the Examiner.

         --# declare delay;
                     ^
---        Warning           :  4: declare annotation - ignored by the Examiner.

         --# declare delay;
                     ^
---        Warning           :  4: declare annotation - ignored by the Examiner.

         --# declare delay;
                     ^
---        Warning           :  4: declare annotation - ignored by the Examiner.

         --# declare delay;
                     ^
---        Warning           :  4: declare annotation - ignored by the Examiner.

         --# declare delay;
                     ^
---        Warning           :  4: declare annotation - ignored by the Examiner.

         --# declare delay;
                     ^
---        Warning           :  4: declare annotation - ignored by the Examiner.

         --# declare delay;
                     ^
---        Warning           :  4: declare annotation - ignored by the Examiner.

         --# declare delay;
                     ^
---        Warning           :  4: declare annotation - ignored by the Examiner.

         --# declare delay;
                     ^
---        Warning           :  4: declare annotation - ignored by the Examiner.

      end SPARK.Ada.Text_IO;

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


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-command_line-unbounded_string.ads
No Listing File

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

No errors found


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

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

No errors found


Source Filename:   fatal.shs
No Listing File

   Unit name:  Fatal
   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:   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:   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:   ees_sym.ads
No Listing File

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

No errors found


Source Filename:   symbols_dump.ads
No Listing File

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

No errors found


Source Filename:   spark_ada_integer_text_io.ads
No Listing File

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

No errors found


Source Filename:   sparklalr_parser.ads
No Listing File

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

No errors found


Source Filename:   sparklalr_memory-dump.ads
No Listing File

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

No errors found


Source Filename:   sparklalr_memory.ads
No Listing File

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

No errors found


Source Filename:   sparklalr_common.ads
No Listing File

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

No errors found


Source Filename:   sparklalr_symbol.ads
No Listing File

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

No errors found


Source Filename:   sparklalr_level.ads
No Listing File

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

No errors found


Source Filename:   sparklalr_input.ads
No Listing File

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

No errors found


Source Filename:   sparklalr_goto.ads
No Listing File

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

No errors found


Source Filename:   sparklalr_error.ads
No Listing File

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

No errors found


Source Filename:   sparklalr_char_class.ads
No Listing File

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

No errors found


Source Filename:   spark-ada-text_io-unbounded_string.ads
No Listing File

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

10 error(s) or warning(s)

Line
         --# declare delay;
                     ^
---        Warning           :  4: declare annotation - ignored by the Examiner.

         --# declare delay;
                     ^
---        Warning           :  4: declare annotation - ignored by the Examiner.

         --# declare delay;
                     ^
---        Warning           :  4: declare annotation - ignored by the Examiner.

         --# declare delay;
                     ^
---        Warning           :  4: declare annotation - ignored by the Examiner.

         --# declare delay;
                     ^
---        Warning           :  4: declare annotation - ignored by the Examiner.

         --# declare delay;
                     ^
---        Warning           :  4: declare annotation - ignored by the Examiner.

         --# declare delay;
                     ^
---        Warning           :  4: declare annotation - ignored by the Examiner.

         --# declare delay;
                     ^
---        Warning           :  4: declare annotation - ignored by the Examiner.

         --# declare delay;
                     ^
---        Warning           :  4: declare annotation - ignored by the Examiner.

         --# declare delay;
                     ^
---        Warning           :  4: declare annotation - ignored by the Examiner.


Source Filename:   sparklalr_conflict.ads
No Listing File

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

No errors found


Source Filename:   sparklalr_patab.ads
No Listing File

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

No errors found


Source Filename:   sparklalr_memory-left_corner.ads
No Listing File

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

No errors found


Source Filename:   command_line_options.adb
Listing Filename:  command_line_options.lsb

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

No errors found


Source Filename:   ees_sym.adb
Listing Filename:  ees_sym.lsb

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

No errors found


Source Filename:   sparklalr_char_class.adb
Listing Filename:  sparklalr_char_class.lsb

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

No errors found


Source Filename:   sparklalr_common.adb
Listing Filename:  sparklalr_common.lsb

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

No errors found


Source Filename:   sparklalr_conflict.adb
Listing Filename:  sparklalr_conflict.lsb

   Unit name:  Sparklalr_Conflict
   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  10              Ineffective assignment here expe    1      
Warn 303              when others here covers all case    1      
Flow  10              Ineffective assignment here expe    1      
Warn 303              when others here covers all case    1      
Warn 303              when others here covers all case    1      
Flow  10              Ineffective assignment here expe    1      
Flow  10              Ineffective assignment here expe    1      
Flow  10              Ineffective assignment here expe    1      
Flow  10              Ineffective assignment here expe    1      
Flow  33         end  Pl is unused OK                     1      
Flow  10              Ineffective assignment here expe    1      
Flow  33         end  Pl is unused OK                     1      
Flow  41              Stable expression here expected     1      
Flow  10              Ineffective assignment here expe    2      
Flow  33         end  Pl is unused OK                     1      



Source Filename:   sparklalr_error.adb
Listing Filename:  sparklalr_error.lsb

   Unit name:  Sparklalr_Error
   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  10              Ineffective assignment here expe    1      
Flow  10              Ineffective assignment here expe    1      
Flow  10              Ineffective assignment here expe    1      
Flow  10              Skipping whitespace, so value is    1      
Flow  33         end  Unused OK                           1      
Flow  33         end  Unused OK                           1      
Flow  10              Ineffective assignment here expe    1      
Flow  33         end  Unused OK                           1      
Warn 303              when others covers all cases her    1      



Source Filename:   sparklalr_goto.adb
Listing Filename:  sparklalr_goto.lsb

   Unit name:  Sparklalr_Goto
   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  10              Ineffective assignment here expe    1      
Flow  10              Ineffective assignment here expe    1      
Flow  10              Ineffective assignment here expe    1      
Flow  10              Ineffective assignment here expe    1      
Flow  10              Ineffective assignment here expe    1      
Flow  10              Ineffective assignment here expe    1      



Source Filename:   sparklalr_input.adb
Listing Filename:  sparklalr_input.lsb

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

1 error(s) or warning(s)

Line
            pragma Unreferenced (Dummy);
                   ^
---        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              Ineffective assignment here expe    1      
Flow  10              Ineffective assignment here expe    1      
Flow  33         end  Unused OK                           1      
Flow  10              Ineffective assignment here expe    1      
Flow  10              Ineffective assignment here expe    1      
Flow  33         end  Unused OK                           1      
Flow  10              Ineffective assignment here expe    1      
Flow  10              Ineffective assignment here expe    1      
Flow  33         end  Unused OK                           1      
Flow  10              Ineffective assignment here expe    1      
Flow  10              Ineffective assigment to Symb he    1      
Flow  33         end  Unused OK                           1      
Flow  10              Ineffective assignment here expe    1      
Flow  10              Ineffective assignment here expe    1      
Flow  10              Ineffective assignment here expe    1      
Flow  33         end  Token is unused OK                  1      
Flow  10              Ineffective assignment here expe    1      
Flow  33         end  Unused OK                           1      
Flow  10              Ineffective assignment here expe    1      
Flow  10              Ineffective assigment to Ch here    1      
Flow  10              Ineffective assignment here expe    1      
Flow  10              Ineffective assignment here expe    1      
Flow  10              Ineffective assigment to Ch here    1      
Flow  10              Ineffective assignment here expe    1      
Flow  10              Ineffective assigment to Ch here    1      
Flow  10              Ineffective assignment here expe    1      
Flow  10              Ineffective assigment to Ch here    1      
Flow  10              Ineffective assignment here expe    1      
Flow  10              Ineffective assignment here expe    1      
Flow  10              Ineffective assignment here expe    1      
Flow  33         end  Unused OK                           1      
Flow  33         end  Token is unused OK                  1      
Flow  10              Ineffective assignment here expe    1      
Flow  10              Ineffective assigment to Ch here    1      
Flow  10              Ineffective assignment here expe    1      
Flow  10              Ineffective assignment here expe    1      
Flow  33         end  Unused OK                           1      
Flow  33         end  Token is unused OK                  1      
Flow  10              Ineffective assigment to Dummy h    1      
Flow  10              Ineffective assigment to Dummy h    1      
Flow  10              Ineffective assigment to Dummy h    1      
Flow  33         end  Dummy is unused OK                  1      



Source Filename:   spark_ada_integer_text_io.adb
Listing Filename:  spark_ada_integer_text_io.lsb

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

4 error(s) or warning(s)

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

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

      with SPARK.Ada.Text_IO.Not_SPARK;
                             ^
---        Warning           :  1: The identifier Not_SPARK is either undeclared or 
           not visible at this point.

      end SPARK_Ada_Integer_Text_IO;

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


Source Filename:   sparklalr_level.adb
Listing Filename:  sparklalr_level.lsb

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

No errors found


Source Filename:   sparklalr_memory.adb
Listing Filename:  sparklalr_memory.lsb

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

No errors found


Source Filename:   sparklalr_memory-dump.adb
Listing Filename:  sparklalr_memory-dump.lsb

   Unit name:  Sparklalr_Memory.Dump
   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
Warn 303              when others here covers all case    1      
Warn 303              when others here covers all case    1      
Warn 303              when others here covers all case    1      
Flow  10              Ineffective assignment here expe    1      
Flow  10              Ineffective assignment here expe    1      
Flow  10              Unused variable Look_Set_Added      1      
Flow  10              Ineffective assignment here expe    1      
Flow  10              Unused variable Look_Set_Added      1      
Flow  10              Ineffective assignment here expe    1      
Flow  10              Unused variable Look_Set_Added      1      
Flow  41              Stable expression here expected     1      
Flow  10              Ineffective assignment here expe    1      
Flow  10              Ineffective assignment here expe    1      
Flow  33         end  Pl is unused OK                     1      



Source Filename:   sparklalr_memory-left_corner.adb
Listing Filename:  sparklalr_memory-left_corner.lsb

   Unit name:  Sparklalr_Memory.Left_Corner
   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  10              Ineffective assignment here expe    1      
Flow  10              Ineffective assignment here expe    1      
Flow  10              Ineffective assignment here expe    1      
Flow  10              Ineffective assignment here expe    1      
Flow  10              Ineffective assignment here expe    1      
Flow  10              Ineffective assignment here expe    1      
Flow  10              Ineffective assignment here expe    1      
Flow  10              Ineffective assignment here expe    1      



Source Filename:   sparklalr_parser.adb
Listing Filename:  sparklalr_parser.lsb

   Unit name:  Sparklalr_Parser
   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  10              Ineffective assigment to Posn he    1      
Flow  10              Ineffective assigment to Pl here    1      
Flow  10              Ineffective assigment to Posn he    1      
Flow  10              Ineffective assigment to Pl here    1      
Flow  33         end  Pl is unused OK                     1      
Flow  10              Ineffective assigment to Posn he    1      
Flow  10              Ineffective assigment to Posn he    1      
Flow  10              Ineffective assigment to Posn he    1      
Flow  10              Ineffective assigment to Posn he    1      
Flow  10              Ineffective assigment to Posn he    1      
Flow  10              Ineffective assigment to Posn he    1      
Flow  10              Ineffective assigment to Posn he    1      



Source Filename:   sparklalr_patab.adb
Listing Filename:  sparklalr_patab.lsb

   Unit name:  Sparklalr_Patab
   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  41              Stable expression here expected     1      



Source Filename:   symbols_dump.adb
Listing Filename:  symbols_dump.lsb

   Unit name:  Symbols_Dump
   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  10              Ineffective assignment here expe    1      
Flow  10              Ineffective assignment here expe    1      
Flow  10              Ineffective assignment here expe    1      
Flow  10              Ineffective assignment here expe    1      
Flow  10              Ineffective assignment here expe    1      
Flow  10              Ineffective assignment here expe    1      



Source Filename:   sparklalr.adb
Listing Filename:  sparklalr.lsb

   Unit name:  Sparklalr
   Unit type:  main program
   Unit has been analysed, any errors are listed below.

1 error(s) or warning(s)

Line
      end Sparklalr;

---        Warning           :  9: The body of subprogram Sparklalr has a hidden 
           exception handler - analysis and verification of contracts for this 
           handler have not been performed.


Expected messages marked with the accept annotation
Type Msg    Lines              Reason                    Match
     No.  From    To                                    No.  Line
Flow 602         end  Always defined before used          1      
Flow  41              Stable expression here expected     1      
Flow  10              Ineffective assignment here expe    1      
Flow  10              Ineffective assignment here expe    1      
Flow  10              Ineffective assignment here expe    1      
Flow  10              Ineffective assignment here expe    1      
Flow  41              Stable expression here expected     1      
Flow  41              Stable expression here expected     1      
Flow 602         end  Always defined before used          1      
Flow 602         end  Always defined before used          1      


Note: Automatic flow analysis mode selected


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