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