1-- CA110040.A 2-- 3-- Grant of Unlimited Rights 4-- 5-- Under contracts F33600-87-D-0337, F33600-84-D-0280, MDA903-79-C-0687, 6-- F08630-91-C-0015, and DCA100-97-D-0025, the U.S. Government obtained 7-- unlimited rights in the software and documentation contained herein. 8-- Unlimited rights are defined in DFAR 252.227-7013(a)(19). By making 9-- this public release, the Government intends to confer upon all 10-- recipients unlimited rights equal to those held by the Government. 11-- These rights include rights to use, duplicate, release or disclose the 12-- released technical data and computer software in whole or in part, in 13-- any manner and for any purpose whatsoever, and to have or permit others 14-- to do so. 15-- 16-- DISCLAIMER 17-- 18-- ALL MATERIALS OR INFORMATION HEREIN RELEASED, MADE AVAILABLE OR 19-- DISCLOSED ARE AS IS. THE GOVERNMENT MAKES NO EXPRESS OR IMPLIED 20-- WARRANTY AS TO ANY MATTER WHATSOEVER, INCLUDING THE CONDITIONS OF THE 21-- SOFTWARE, DOCUMENTATION OR OTHER INFORMATION RELEASED, MADE AVAILABLE 22-- OR DISCLOSED, OR THE OWNERSHIP, MERCHANTABILITY, OR FITNESS FOR A 23-- PARTICULAR PURPOSE OF SAID MATERIAL. 24--* 25-- 26-- OBJECTIVE: 27-- See CA110042.AM 28-- 29-- TEST DESCRIPTION: 30-- See CA110042.AM 31-- 32-- TEST FILES: 33-- The following files comprise this test: 34-- 35-- => CA110040.A 36-- CA110041.A 37-- CA110042.AM 38-- 39-- CHANGE HISTORY: 40-- 06 Dec 94 SAIC ACVC 2.0 41-- 26 Apr 96 SAIC ACVC 2.1: Modified prologue; Added pragma 42-- Elaborate_Body. 43-- 44--! 45 46package CA110040 is -- Package Computer_System. 47 pragma Elaborate_Body (CA110040); 48 49 -- Types. 50 type ID_Type is range 1 .. 4; 51 type System_Account_Capacity is new ID_Type; 52 53 type Account is tagged 54 record 55 User_ID : ID_Type; 56 end record; 57 58 -- Constants. 59 Maximum_System_Accounts : constant System_Account_Capacity := 60 System_Account_Capacity'Last; 61 62 System_Administrator : constant ID_Type := 63 ID_Type (System_Account_Capacity'First); 64 65 Administrator_Account : constant Account := 66 (User_ID => System_Administrator); 67 68 -- Objects. 69 Total_Accounts : System_Account_Capacity := 1; 70 71 -- Exceptions. 72 Illegal_Account : exception; 73 Account_Limit_Exceeded : exception; 74 75 -- Subprograms. 76 function Next_Available_ID return ID_Type; 77 78end CA110040; -- Package Computer_System. 79 80 --=================================================================-- 81 82package body CA110040 is -- Package body Computer_System. 83 84 function Next_Available_ID return ID_Type is 85 begin 86 Total_Accounts := Total_Accounts + 1; 87 return (ID_Type(Total_Accounts)); 88 end Next_Available_ID; 89 90end CA110040; -- Package body Computer_System. 91