32 lines
1.2 KiB
Plaintext
32 lines
1.2 KiB
Plaintext
*******************************************************
|
|
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--------------------------------------------------
|