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.Ns_Record_Type is
|
|
type NSRecordType is new Rr_Type.ResourceRecordType with
|
|
record
|
|
NameServer : Rr_Type.WireStringType;
|
|
end record;
|
|
|
|
--placeholder for empty slots in hash table
|
|
BlankNSRecord : constant NSRecordType := NSRecordType'(
|
|
TtlInSeconds => 0,
|
|
Class => Rr_Type.INTERNET,
|
|
NameServer => "empty.NS.resource.record " & Rr_Type.Spaces32
|
|
& Rr_Type.Spaces32 & Rr_Type.Spaces32);
|
|
|
|
--hash table (2d array) for NS records
|
|
type NSRecordBucketType is array (Rr_Type.ReturnedRecordsIndexType) of NSRecordType;
|
|
type NSRecordHashTableType is array (Rr_Type.NumBucketsIndexType) of NSRecordBucketType;
|
|
|
|
end Rr_Type.Ns_Record_Type;
|
|
|
|
|
|
--End of file--------------------------------------------------
|