-
Notifications
You must be signed in to change notification settings - Fork 2
/
rr_type-ptr_record_type.lss
30 lines (22 loc) · 1.16 KB
/
rr_type-ptr_record_type.lss
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
*******************************************************
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--------------------------------------------------