******************************************************* 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--------------------------------------------------