Re: Hi-Lite high integrity showcase and overflow errors

[Shark8 <onewingedshark@gmail.com>]

Forgive the multiple posts, but this might be a little bit clearer; I certainly like that the [word] Return is not repeated.


	function Mult (X , Y : My_Int) return My_Int is
	begin
	    Return Result : My_Int do
		Result:= X*Y;

		-- When the constraint is exceeded we return the last value.
		exception
		when Constraint_Error =>
		    Result:= My_Int'Last;
	    End Return;
	end Mult;