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
18WITH DNS_Network;
19with DNS_Network_Receive;
20with Process_Dns_Request;
21with DNS_Types;
22with Ada.Synchronous_Task_Control;
23--# inherit DNS_Types, DNS_Table_Pkg, DNS_Network_Receive, DNS_Network,
24--#     Protected_SPARK_IO_05,
25--#     process_dns_request,
26--#     Ada.Synchronous_Task_Control;
27package Udp_Dns_Package
28--# own protected Startup_Suspension (Suspendable);
29--#     task The_Task : Udp_Dns_Task;
30is
31   procedure Initialization_Done;
32   --# global out Startup_Suspension;
33   --# derives Startup_Suspension from ;
34
35   task type Udp_Dns_Task
36--# global in out DNS_Network.Network;
37--#        in out Protected_SPARK_IO_05.SPARK_IO_PO;
38--#        in DNS_Table_Pkg.DNS_Table;
39--#        out Startup_Suspension;
40--# derives DNS_Network.Network from DNS_Table_Pkg.DNS_Table, DNS_Network.Network &
41--#         Protected_SPARK_IO_05.SPARK_IO_PO from *, DNS_Table_Pkg.DNS_Table, DNS_Network.Network &
42--#         Startup_Suspension from  ;
43--# declare suspends => Startup_Suspension;
44   is
45      pragma Priority(0);
46   end Udp_Dns_Task;
47
48end Udp_dns_package;
49