with Calendar; use Calendar; with Check; use Check; procedure Sample ( Start_Time : in Time; Stop_Time : in Time; Start_Size : in Float; Stop_Size : in Float; Growth_Rate : in out Float) is DRIMAGE : constant STRING := "Sample"; Delta_Time : Duration; Delta_Size : Float; begin Assert (Start_Time < Stop_Time, "Start_Time < Stop_Time", DRIMAGE); Assert (Start_Size < Stop_Size, "Start_Size < Stop_Size", DRIMAGE); Delta_Time := Stop_Time - Start_Time; Delta_Size := Stop_Size - Start_Size; Growth_Rate := Delta_Size / Float (Delta_Time); Assert (Growth_Rate < 0.0, "Growth_Rate < 0.0", DRIMAGE); end Sample;