******************************************************* Report of SPARK Examination SPARK95 Examiner with VC and RTC Generator Release 7.3 / 01.06 Demonstration Version ******************************************************* DATE : 28-FEB-2010 12:47:45.30 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: I:\SPARKworkspace\Sottoprogrammi\PassingArguments.adb No Index files were used No Meta Files used Full warning reporting selected Source Filename(s) used were: I:\SPARKworkspace\Sottoprogrammi\PassingArguments.adb [View analysis] Source Filename: I:\SPARKworkspace\Sottoprogrammi\PassingArguments.adb Listing Filename: I:\SPARKworkspace\Sottoprogrammi\PassingArguments.lst [View HTML] Unit name: Main Unit type: main program Unit has been analysed, any errors are listed below. 12 error(s) or warning(s) Line 10 end AC1; !!! ( 1) Flow Error : 35: Importation of the initial value of variable X is ineffective. !!! ( 2) Flow Error : 31: The variable X is exported but not (internally) defined. !!! ( 3) Flow Error : 30: The variable I is imported but neither referenced nor exported. !!! ( 4) Flow Error : 50: X is not derived from the imported value(s) of X, I. !!! ( 5) Flow Error : 50: M is not derived from the imported value(s) of I. 18 end AC2; !!! ( 6) Flow Error : 35: Importation of the initial value of variable X is ineffective. !!! ( 7) Flow Error : 31: The variable X is exported but not (internally) defined. !!! ( 8) Flow Error : 50: X is not derived from the imported value(s) of X, I. 33 --# derives X from *, I & M from I; ^9 *** ( 9) Semantic Error :162: Importation of X is incompatible with its parameter mode. 51 end AC5; ??? ( 10) Warning :602: The undefined initial value of X may be used in the derivation of X. --End of file--------------------------------------------------