24 lines
536 B
Ada
24 lines
536 B
Ada
with Ada.Text_IO; use Ada.Text_IO;
|
|
|
|
procedure Divide_By_Zero is
|
|
begin
|
|
declare
|
|
N : Integer := 1;
|
|
D : Integer := 0;
|
|
begin
|
|
N := N / D;
|
|
exception
|
|
when Constraint_Error =>
|
|
Put_Line ("Integer zero divide");
|
|
end;
|
|
declare
|
|
type Sane_Float is new Float range Float'First..Float'Last;
|
|
N : Sane_Float := 1.0;
|
|
D : Sane_Float := 0.0;
|
|
begin
|
|
N := N / D;
|
|
exception
|
|
when Constraint_Error =>
|
|
Put_Line ("Floating-point zero divide");
|
|
end;
|
|
end Divide_By_Zero;
|