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