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