           *******************************************************
                            Listing of SPARK Text
                             Examiner GPL Edition

           *******************************************************


Line
      --#inherit rr_type;
      package Rr_Type.Ptr_Record_Type is
         type PTRRecordType is new Rr_Type.ResourceRecordType with
            record
               DomainName : Rr_Type.WireStringType;
            end record;
      
         --placeholder for empty slots in hash table
         BlankPTRRecord : constant PTRRecordType := PTRRecordType'(
            TtlInSeconds => 0,
            Class => Rr_Type.INTERNET,
            DomainName => "empty.PTR.resource.record        " & Rr_Type.Spaces32
            & Rr_Type.Spaces32 & Rr_Type.Spaces32);
      
         --hash table (2d array) for PTR records
         type PTRRecordBucketType is array (Rr_Type.ReturnedRecordsIndexType) of PTRRecordType;
         type PTRRecordHashTableType is array (Rr_Type.NumBucketsIndexType) of PTRRecordBucketType;
      
      end Rr_Type.Ptr_Record_Type;


--End of file--------------------------------------------------
