1----------------------------------------------------------------
2-- IRONSIDES - DNS SERVER
3--
4-- By: Martin C. Carlisle and Barry S. Fagin
5--     Department of Computer Science
6--     United States Air Force Academy
7--
8-- This is free software; you can redistribute it and/or
9-- modify without restriction.  We do ask that you please keep
10-- the original author information, and clearly indicate if the
11-- software has been modified.
12--
13-- This software is distributed in the hope that it will be useful,
14-- but WITHOUT ANY WARRANTY; without even the implied warranty
15-- of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
16----------------------------------------------------------------
17
18package Task_Limit is
19   MAX_TASKS : constant Integer := 100;
20   subtype Task_Count_Subtype is Integer range 0..MAX_TASKS;
21   protected type Task_Count_Type is
22      pragma Priority(0);
23      procedure Increment(Success : out Boolean);
24      --# global in out Task_Count_Type;
25      --# derives Task_Count_Type from * &
26      --#         Success from Task_Count_Type;
27      procedure Decrement;
28      --# global in out Task_Count_Type;
29      --# derives Task_Count_Type from *;
30   private
31      Task_Count : Task_Count_Subtype := 0;
32   end Task_Count_Type;
33end Task_Limit;
34
35