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
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
|
-- C910002.A
--
-- Grant of Unlimited Rights
--
-- Under contracts F33600-87-D-0337, F33600-84-D-0280, MDA903-79-C-0687,
-- F08630-91-C-0015, and DCA100-97-D-0025, the U.S. Government obtained
-- unlimited rights in the software and documentation contained herein.
-- Unlimited rights are defined in DFAR 252.227-7013(a)(19). By making
-- this public release, the Government intends to confer upon all
-- recipients unlimited rights equal to those held by the Government.
-- These rights include rights to use, duplicate, release or disclose the
-- released technical data and computer software in whole or in part, in
-- any manner and for any purpose whatsoever, and to have or permit others
-- to do so.
--
-- DISCLAIMER
--
-- ALL MATERIALS OR INFORMATION HEREIN RELEASED, MADE AVAILABLE OR
-- DISCLOSED ARE AS IS. THE GOVERNMENT MAKES NO EXPRESS OR IMPLIED
-- WARRANTY AS TO ANY MATTER WHATSOEVER, INCLUDING THE CONDITIONS OF THE
-- SOFTWARE, DOCUMENTATION OR OTHER INFORMATION RELEASED, MADE AVAILABLE
-- OR DISCLOSED, OR THE OWNERSHIP, MERCHANTABILITY, OR FITNESS FOR A
-- PARTICULAR PURPOSE OF SAID MATERIAL.
--*
--
-- OBJECTIVE:
-- Check that the contents of a task object include the values
-- of its discriminants.
-- Check that selected_component notation can be used to
-- denote a discriminant of a task.
--
-- TEST DESCRIPTION:
-- This test declares a task type that contains discriminants.
-- Objects of the task type are created with different values.
-- The task type has nested tasks that are used to check that
-- the discriminate values are the expected values.
-- Note that the names of the discriminants in the body of task
-- type DTT denote the current instance of the unit.
--
--
-- CHANGE HISTORY:
-- 12 OCT 95 SAIC Initial release for 2.1
-- 8 MAY 96 SAIC Incorporated Reviewer comments.
--
--!
with Report;
procedure C910002 is
Verbose : constant Boolean := False;
begin
Report.Test ("C910002",
"Check that selected_component notation can be" &
" used to access task discriminants");
declare
task type DTT
(IA, IB : Integer;
CA, CB : Character) is
entry Check_Values (First_Int : Integer;
First_Char : Character);
end DTT;
task body DTT is
Int1 : Integer;
Char1 : Character;
-- simple nested task to check the character values
task Check_Chars is
entry Start_Check;
end Check_Chars;
task body Check_Chars is
begin
accept Start_Check;
if DTT.CA /= Char1 or
DTT.CB /= Character'Succ (Char1) then
Report.Failed ("character check failed. Expected: '" &
Char1 & Character'Succ (Char1) &
"' but found '" &
DTT.CA & DTT.CB & "'");
elsif Verbose then
Report.Comment ("char check for " & Char1);
end if;
exception
when others => Report.Failed ("exception in Check_Chars");
end Check_Chars;
-- use a discriminated task to check the integer values
task type Check_Ints (First : Integer);
task body Check_Ints is
begin
if DTT.IA /= Check_Ints.First or
IB /= First+1 then
Report.Failed ("integer check failed. Expected:" &
Integer'Image (Check_Ints.First) &
Integer'Image (First+1) &
" but found" &
Integer'Image (DTT.IA) & Integer'Image (IB) );
elsif Verbose then
Report.Comment ("int check for" & Integer'Image (First));
end if;
exception
when others => Report.Failed ("exception in Check_Ints");
end Check_Ints;
begin
accept Check_Values (First_Int : Integer;
First_Char : Character) do
Int1 := First_Int;
Char1 := First_Char;
end Check_Values;
-- kick off the character check
Check_Chars.Start_Check;
-- do the integer check
declare
Int_Checker : Check_Ints (Int1);
begin
null; -- let task do its thing
end;
-- do one test here too
if DTT.IA /= Int1 then
Report.Failed ("DTT check failed. Expected:" &
Integer'Image (Int1) &
" but found:" &
Integer'Image (DTT.IA));
elsif Verbose then
Report.Comment ("DTT check for" & Integer'Image (Int1));
end if;
exception
when others => Report.Failed ("exception in DTT");
end DTT;
T1a : DTT (1, 2, 'a', 'b');
T9C : DTT (9, 10, 'C', 'D');
begin -- test encapsulation
T1a.Check_Values (1, 'a');
T9C.Check_Values (9, 'C');
end;
Report.Result;
end C910002;
|
