******************************************************* Listing of SPARK Text SPARK95 Examiner with VC and RTC Generator Release 7.3 / 01.06 Demonstration Version ******************************************************* DATE : 28-FEB-2010 12:06:46.09 Line 1 with ND_RandomNumbers, 2 SPARK_IO, 3 MyIO; 4 --# inherit ND_RandomNumbers, 5 --# SPARK_IO, 6 --# MyIO; 7 8 --# main_program; 9 procedure Main 10 --# global in out SPARK_IO.Outputs; 11 12 --# derives Spark_IO.Outputs from *; 13 is 14 X : Float; 15 begin 16 ND_RandomNumbers.Random(X); 17 MyIO.Put_Integer( Integer(X * 10.0), 0 ); 18 end Main; +++ Flow analysis of subprogram Main performed: no errors found. --End of file--------------------------------------------------