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 Unsigned_Types, Rr_Type; 19--# inherit Unsigned_Types, rr_type; 20package Rr_Type.A_Record_Type is 21 type ARecordType is new Rr_Type.ResourceRecordType with 22 record 23 Ipv4 : Unsigned_Types.Unsigned32; 24 end record; 25 26 INVALID_IPV4_ADDR : constant Unsigned_Types.Unsigned32 := 0; 27 28 --placeholder for empty slots in hash table 29 BlankARecord : constant ARecordType := ARecordType'( 30 TtlInSeconds => 0, 31 Class => Rr_Type.INTERNET, Ipv4 => INVALID_IPV4_ADDR); 32 33 --hash table (2d array) for A records 34 type ARecordBucketType is array (Rr_Type.ReturnedRecordsIndexType) of ARecordType; 35 type ARecordHashTableType is array (Rr_Type.NumBucketsIndexType) of ARecordBucketType; 36 37end Rr_Type.A_Record_Type; 38