55 lines
3.1 KiB
Plaintext
55 lines
3.1 KiB
Plaintext
-- $Id: mcc.idx 3410 2003-06-12 12:44:30Z spark $
|
|
DNS_Network specification is in dns_network.ads
|
|
DNS_Network body is in dns_network.adb
|
|
DNS_Network_Receive specification is in dns_network_receive.ads
|
|
DNS_Network_Receive body is in dns_network_receive.adb
|
|
DNS_Table_Pkg specification is in dns_table_pkg.ads
|
|
DNS_Table_Pkg body is in dns_table_pkg.adb
|
|
DNS_Types specification is in dns_types.ads
|
|
DNS_Types body is in dns_types.adb
|
|
Error_Msgs specification is in error_msgs.ads
|
|
Error_Msgs body is in error_msgs.adb
|
|
Multitask_Process_Dns_Request specification is in Multitask_Process_Dns_Request.ads
|
|
Multitask_Process_Dns_Request body is in Multitask_Process_Dns_Request.adb
|
|
Non_Spark_Stuff specification is in Non_Spark_Stuff.ads
|
|
Non_Spark_Stuff body is in Non_Spark_Sutff.adb
|
|
Parser_Utilities specification is in Parser_Utilities.ads
|
|
Parser_Utilities body is in Parser_Utilities.adb
|
|
Process_Dns_Request specification is in Process_Dns_Request.ads
|
|
Process_Dns_Request body is in Process_Dns_Request.adb
|
|
Process_First_Line_Of_Record specification is in Process_First_Line_Of_Record.ads
|
|
Process_First_Line_Of_Record body is in Process_First_Line_Of_Record.adb
|
|
Protected_SPARK_IO_05 specification is in protected_spark_io_05.ads
|
|
Protected_SPARK_IO_05 body is in protected_spark_io_05.adb
|
|
RR_Type.A_Record_Type specification is in rr_type-a_record_type.ads
|
|
RR_Type.AAAA_Record_Type specification is in rr_type-aaaa_record_type.ads
|
|
RR_Type.CName_Record_Type specification is in rr_type-cname_record_type.ads
|
|
RR_Type.DNSKEY_Record_Type specification is in rr_type-dnskey_record_type.ads
|
|
RR_Type.MX_Record_Type specification is in rr_type-mx_record_type.ads
|
|
RR_Type.NS_Record_Type specification is in rr_type-ns_record_type.ads
|
|
RR_Type.NSEC_Record_Type specification is in rr_type-nsec_record_type.ads
|
|
RR_Type.PTR_Record_Type specification is in rr_type-ptr_record_type.ads
|
|
RR_Type.RRSIG_Record_Type specification is in rr_type-rrsig_record_type.ads
|
|
RR_Type.SOA_Record_Type specification is in rr_type-soa_record_type.ads
|
|
RR_Type specification is in rr_type.ads
|
|
Socket_Timeout specification is in Socket_Timeout.ads
|
|
Socket_Timeout body is in Socket_Timeout.adb
|
|
Spark_DNS_main body is in spark_dns_main.adb
|
|
Spark_Ada_Command_Line specification is in spark_ada_command_line.ads
|
|
Spark_Ada_Command_Line body is in spark_ada_command_line.adb
|
|
SPARK_IO specification is in c:/spark/2011/lib/spark/spark_io.ads
|
|
SPARK_IO body is in c:/spark/2011/lib/spark/spark_io.adb
|
|
SPARK_IO_05 specification is in c:/spark/2011/lib/spark/spark_io_05.ads
|
|
SPARK_IO_05 body is in c:/spark/2011/lib/spark/spark_io_05.adb
|
|
Task_Limit specification is in Task_Limit.ads
|
|
Task_Limit body is in Task_Limit.adb
|
|
Tcp_Dns_Package specification is in Tcp_Dns_Package.ads
|
|
Tcp_Dns_Package body is in Tcp_Dns_Package.adb
|
|
Udp_Dns_Package specification is in Udp_Dns_Package.ads
|
|
Udp_Dns_Package body is in Udp_Dns_Package.adb
|
|
Unsigned_Types specification is in Unsigned_Types.ads
|
|
Zone_File_IO specification is in zone_file_io.ads
|
|
Zone_File_IO body is in zone_file_io.adb
|
|
zone_file_parser specification is in zone_file_parser.ads
|
|
zone_file_parser body is in zone_file_parser.adb
|