*******************************************************
                        Report of SPARK Examination
       SPARK95 Examiner with VC and RTC Generator Release 7.3 / 01.06
                           Demonstration Version
          *******************************************************


                       DATE : 09-MAR-2010 15:43:31.97

Options:
    noindex_file
    nowarning_file
    notarget_compiler_data
    noconfig_file
    source_extension=ada
    listing_extension=lst
    nodictionary
    report_file=spark.rep
    html
    nostatistics
    fdl_identifiers
    flow_analysis=information
    ada95
    annotation_character=#
    profile=sequential
    rules=none
    error_explanations=every_occurrence

Selected files:
   @E:\SPARKworkspace\IntStack\MainInherit.smf


No Index files were used


Meta File(s) used were:
   E:\SPARKworkspace\IntStack\MainInherit.smf
      E:\SPARKworkspace\IntStack\stack.ads
      E:\SPARKworkspace\IntStack\stack.adb
      E:\SPARKworkspace\IntStack\MainInherit.adb


Full warning reporting selected


Source Filename(s) used were:
   E:\SPARKworkspace\IntStack\stack.ads [View analysis]
   E:\SPARKworkspace\IntStack\stack.adb [View analysis]
   E:\SPARKworkspace\IntStack\MainInherit.adb [View analysis]



Source Filename:   E:\SPARKworkspace\IntStack\stack.ads
Listing Filename:  E:\SPARKworkspace\IntStack\stack.lst [View HTML]

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

No errors found


Source Filename:   E:\SPARKworkspace\IntStack\stack.adb
Listing Filename:  E:\SPARKworkspace\IntStack\stack.lst [View HTML]

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

No errors found


Source Filename:   E:\SPARKworkspace\IntStack\MainInherit.adb
Listing Filename:  E:\SPARKworkspace\IntStack\MainInherit.lst [View HTML]

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

2 error(s) or warning(s)

Line
  13     Stack.pop(I);
         ^1
!!! (  1)  Flow Error        : 10: Assignment to I is ineffective.

  15  end MainInherit;

!!! (  2)  Flow Error        : 33: The variable I is neither referenced nor exported.


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