blob: 0d649edcedfd5e8dd85fefa59e952159ea6a70b1 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
|
-- { dg-do run }
-- { dg-options "-gnata" }
with Ada.Assertions, Ada.Text_IO;
use Ada.Assertions, Ada.Text_IO;
with Predicate3_Pkg;
use Predicate3_Pkg;
procedure Predicate3 is
Got_Assertion : Boolean := False;
begin
begin
Put_Line (Good (C)'Image);
exception
when Assertion_Error =>
Got_Assertion := True;
end;
if not Got_Assertion then
raise Program_Error;
end if;
Got_Assertion := False;
declare
X: Priv;
begin
X := Wrong;
exception
when Assertion_Error =>
Got_Assertion := True;
end;
if not Got_Assertion then
raise Program_Error;
end if;
end Predicate3;
|
