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

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


Line
      --#inherit rr_type;
      package Rr_Type.Nsec_Record_Type is
         type NSECRecordType is new rr_type.ResourceRecordType with
         record
            DomainName : Rr_Type.WireStringType;
            recordList : rr_type.LineFromFileType;
         end record;
      
      --placeholder for empty slots in hash table
      blankNSECRecord : constant NSECRecordType := NSECRecordType'(
         TtlInSeconds => 0,
         Class => Rr_Type.INTERNET,
         DomainName => "empty.NSEC.resource.record       " & rr_type.Spaces64 & rr_type.Spaces32,
         RecordList => rr_type.Spaces256);
      
      --hash table (2d array) for NSEC records
      type NSECRecordBucketType is array(rr_type.ReturnedRecordsIndexType) of NSECRecordType;
      type NSECRecordHashTableType is array(rr_type.NumBucketsIndexType) of NSECRecordBucketType;
      
      end rr_type.nsec_record_type;


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