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