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
18
19with DNS_Network;
20--# inherit DNS_types, DNS_Table_Pkg, DNS_Network, System, Protected_SPARK_IO_05, Process_DNS_Request;
21package Multitask_Process_Dns_Request is
22   procedure Process_Request_Tcp(
23      Reply_Socket : in DNS_Network.DNS_Socket);
24      --# global in out Protected_SPARK_IO_05.SPARK_IO_PO;
25      --#        in DNS_Table_Pkg.DNS_Table;
26      --#        in out DNS_Network.Network;
27      --# derives DNS_Network.Network from DNS_Network.Network, Reply_Socket,
28      --#                                  DNS_Table_Pkg.DNS_Table &
29      --#         Protected_SPARK_IO_05.SPARK_IO_PO from *, DNS_Network.Network, Reply_Socket,
30      --#                                                DNS_Table_Pkg.DNS_Table;
31
32end Multitask_Process_Dns_Request;
33
34