121 lines
6.3 KiB
Plaintext
121 lines
6.3 KiB
Plaintext
{*******************************************************}
|
|
{FDL Declarations}
|
|
{Examiner GPL Edition}
|
|
|
|
{*******************************************************}
|
|
|
|
|
|
{procedure dns_table_pkg.DNS_Table_Type.InsertDNSKEYRecord}
|
|
|
|
|
|
title procedure insertdnskeyrecord;
|
|
|
|
function round__(real) : integer;
|
|
type character = integer;
|
|
type unsigned_types__unsigned8 = integer;
|
|
type unsigned_types__unsigned16 = integer;
|
|
type unsigned_types__unsigned32 = integer;
|
|
type rr_type__classtype = (rr_type__internet, rr_type__cs,
|
|
rr_type__ch, rr_type__hs);
|
|
type string = array [integer] of character;
|
|
const null__string : string = pending;
|
|
type rr_type__resourcerecordtype = record
|
|
ttlinseconds : integer;
|
|
class : rr_type__classtype
|
|
end;
|
|
type rr_type__ownerrecordbuckettype = array [integer] of string;
|
|
type rr_type__dnskey_record_type__dnskeyrecordtype = record
|
|
inherit : rr_type__resourcerecordtype;
|
|
flags : integer;
|
|
protocol : integer;
|
|
algorithm : integer;
|
|
key : string;
|
|
keylength : integer
|
|
end;
|
|
type rr_type__ownerhashtabletype = array [integer] of
|
|
rr_type__ownerrecordbuckettype;
|
|
type rr_type__dnskey_record_type__dnskeyrecordbuckettype = array [integer] of
|
|
rr_type__dnskey_record_type__dnskeyrecordtype;
|
|
type rr_type__dnskey_record_type__dnskeyrecordhashtabletype = array [integer] of
|
|
rr_type__dnskey_record_type__dnskeyrecordbuckettype;
|
|
const rr_type__blankowner : string = pending;
|
|
const rr_type__dnskey_record_type__dnskeystringtypeindex__base__first : integer = pending;
|
|
const rr_type__dnskey_record_type__dnskeystringtypeindex__base__last : integer = pending;
|
|
const rr_type__dnskey_record_type__keylengthvaluetype__base__first : integer = pending;
|
|
const rr_type__dnskey_record_type__keylengthvaluetype__base__last : integer = pending;
|
|
const rr_type__numbucketsindextype__base__first : integer = pending;
|
|
const rr_type__numbucketsindextype__base__last : integer = pending;
|
|
const rr_type__returnedrecordsindextype__base__first : integer = pending;
|
|
const rr_type__returnedrecordsindextype__base__last : integer = pending;
|
|
const rr_type__wirestringtypeindex__base__first : integer = pending;
|
|
const rr_type__wirestringtypeindex__base__last : integer = pending;
|
|
const rr_type__classtype__base__first : rr_type__classtype = pending;
|
|
const rr_type__classtype__base__last : rr_type__classtype = pending;
|
|
const unsigned_types__unsigned32__base__first : integer = pending;
|
|
const unsigned_types__unsigned32__base__last : integer = pending;
|
|
const unsigned_types__unsigned16__base__first : integer = pending;
|
|
const unsigned_types__unsigned16__base__last : integer = pending;
|
|
const unsigned_types__unsigned8__base__first : integer = pending;
|
|
const unsigned_types__unsigned8__base__last : integer = pending;
|
|
const positive__base__first : integer = pending;
|
|
const positive__base__last : integer = pending;
|
|
const character__base__first : character = pending;
|
|
const character__base__last : character = pending;
|
|
const integer__base__first : integer = pending;
|
|
const integer__base__last : integer = pending;
|
|
const rr_type__dnskey_record_type__dnskeyrecordtype__size : integer = pending;
|
|
const rr_type__dnskey_record_type__dnskeystringtypeindex__first : integer = pending;
|
|
const rr_type__dnskey_record_type__dnskeystringtypeindex__last : integer = pending;
|
|
const rr_type__dnskey_record_type__dnskeystringtypeindex__size : integer = pending;
|
|
const rr_type__dnskey_record_type__keylengthvaluetype__first : integer = pending;
|
|
const rr_type__dnskey_record_type__keylengthvaluetype__last : integer = pending;
|
|
const rr_type__dnskey_record_type__keylengthvaluetype__size : integer = pending;
|
|
const rr_type__numbucketsindextype__first : integer = pending;
|
|
const rr_type__numbucketsindextype__last : integer = pending;
|
|
const rr_type__numbucketsindextype__size : integer = pending;
|
|
const rr_type__returnedrecordsindextype__first : integer = pending;
|
|
const rr_type__returnedrecordsindextype__last : integer = pending;
|
|
const rr_type__returnedrecordsindextype__size : integer = pending;
|
|
const rr_type__resourcerecordtype__size : integer = pending;
|
|
const rr_type__wirestringtypeindex__first : integer = pending;
|
|
const rr_type__wirestringtypeindex__last : integer = pending;
|
|
const rr_type__wirestringtypeindex__size : integer = pending;
|
|
const rr_type__classtype__first : rr_type__classtype = pending;
|
|
const rr_type__classtype__last : rr_type__classtype = pending;
|
|
const rr_type__classtype__size : integer = pending;
|
|
const unsigned_types__unsigned32__first : integer = pending;
|
|
const unsigned_types__unsigned32__last : integer = pending;
|
|
const unsigned_types__unsigned32__modulus : integer = pending;
|
|
const unsigned_types__unsigned32__size : integer = pending;
|
|
const unsigned_types__unsigned16__first : integer = pending;
|
|
const unsigned_types__unsigned16__last : integer = pending;
|
|
const unsigned_types__unsigned16__modulus : integer = pending;
|
|
const unsigned_types__unsigned16__size : integer = pending;
|
|
const unsigned_types__unsigned8__first : integer = pending;
|
|
const unsigned_types__unsigned8__last : integer = pending;
|
|
const unsigned_types__unsigned8__modulus : integer = pending;
|
|
const unsigned_types__unsigned8__size : integer = pending;
|
|
const positive__first : integer = pending;
|
|
const positive__last : integer = pending;
|
|
const positive__size : integer = pending;
|
|
const character__first : character = pending;
|
|
const character__last : character = pending;
|
|
const character__size : integer = pending;
|
|
const integer__first : integer = pending;
|
|
const integer__last : integer = pending;
|
|
const integer__size : integer = pending;
|
|
var key : string;
|
|
var therecord : rr_type__dnskey_record_type__dnskeyrecordtype;
|
|
var success : boolean;
|
|
var dns_table_type__dnskeyrecordkeys :
|
|
rr_type__ownerhashtabletype;
|
|
var dns_table_type__dnskeyrecordtable :
|
|
rr_type__dnskey_record_type__dnskeyrecordhashtabletype;
|
|
var bucket : integer;
|
|
var lower_key : string;
|
|
var loop__1__i : integer;
|
|
function to_lower(string) : string;
|
|
function hash(string) : integer;
|
|
|
|
end;
|