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