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