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
|
-- CA110041.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:
-- See CA110042.AM
--
-- TEST DESCRIPTION:
-- See CA110042.AM
--
-- TEST FILES:
-- The following files comprise this test:
--
-- CA110040.A
-- => CA110041.A
-- CA110042.AM
--
-- CHANGE HISTORY:
-- 06 Dec 94 SAIC ACVC 2.0
-- 26 Apr 96 SAIC ACVC 2.1: Modified prologue.
--
--!
package CA110040.CA110041 is -- Child Package Computer_System.Manager
type User_Account is new Account with private;
procedure Initialize_User_Account (Acct : out User_Account);
private
-- The private portion of this spec demonstrates that components contained
-- in the visible part of the parent are directly visible in the private
-- part of a public child.
type Account_Access_Type is (None, Guest, User, System);
type User_Account is new Account with -- Parent type.
record
Privilege : Account_Access_Type := None;
end record;
System_Account : User_Account :=
(User_ID => Administrator_Account.User_ID, -- Parent constant.
Privilege => System); -- User_ID has been
-- set to 1.
Auditor_Account : User_Account :=
(User_ID => Next_Available_ID, -- Parent function.
Privilege => System); -- User_ID has been
-- set to 2.
Total_Authorized_Accounts : System_Account_Capacity
renames Total_Accounts; -- Parent object.
Unauthorized_Account : exception
renames Illegal_Account; -- Parent exception
end CA110040.CA110041; -- Child Package Computer_System.Manager
--=================================================================--
-- Child Package body Computer_System.Manager
package body CA110040.CA110041 is
function Account_Limit_Reached return Boolean is
begin
if Total_Authorized_Accounts = Maximum_System_Accounts then
return (True);
else
return (False);
end if;
end Account_Limit_Reached;
---------------------------------------------------------------
function Valid_Account (Acct : User_Account) return Boolean is
Result : Boolean := False;
begin
if (Acct.User_ID /= System_Account.User_ID) and
(Acct.User_ID /= Auditor_Account.User_ID)
then
Result := True;
end if;
return (Result);
end Valid_Account;
---------------------------------------------------------------
procedure Initialize_User_Account (Acct : out User_Account) is
begin
if Account_Limit_Reached then
raise Account_Limit_Exceeded;
else
Acct.User_ID := Next_Available_ID;
Acct.Privilege := User;
end if;
if not Valid_Account (Acct) then
raise Unauthorized_Account;
end if;
end Initialize_User_Account;
end CA110040.CA110041; -- Child Package body Computer_System.Manager
|
