73 lines
3.2 KiB
Ada
73 lines
3.2 KiB
Ada
----------------------------------------------------------------
|
|
-- IRONSIDES - DNS SERVER
|
|
--
|
|
-- By: Martin C. Carlisle and Barry S. Fagin
|
|
-- Department of Computer Science
|
|
-- United States Air Force Academy
|
|
--
|
|
-- This is free software; you can redistribute it and/or
|
|
-- modify without restriction. We do ask that you please keep
|
|
-- the original author information, and clearly indicate if the
|
|
-- software has been modified.
|
|
--
|
|
-- This software is distributed in the hope that it will be useful,
|
|
-- but WITHOUT ANY WARRANTY; without even the implied warranty
|
|
-- of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
|
|
----------------------------------------------------------------
|
|
|
|
--all error diagnostic I/O goes here. Spark I/O libraries are a pain,
|
|
--use regular Ada I/O instead and just hide it from the prying eyes of the examiner.
|
|
WITH Rr_Type;
|
|
with Unsigned_Types;
|
|
--# inherit rr_type, unsigned_types, Rr_Type.Dnskey_Record_Type;
|
|
package Error_Msgs is
|
|
|
|
procedure printUnsupportedRecordWarning(currentLine : in rr_type.LineFromFileType;
|
|
Length : IN Natural; lineCount : in unsigned_types.Unsigned32);
|
|
--# derives null from currentLine, length, lineCount;
|
|
|
|
procedure printZeroTTLWarning(currentLine : in rr_type.LineFromFileType;
|
|
Length : IN Natural; lineCount : in unsigned_types.Unsigned32);
|
|
--# derives null from currentLine, length, lineCount;
|
|
|
|
procedure printBlankOriginWarning(currentLine : in rr_type.LineFromFileType;
|
|
Length : IN Natural; lineCount : in unsigned_types.Unsigned32);
|
|
--# derives null from currentLine, length, lineCount;
|
|
|
|
procedure printParseErrorInfo(currentLine : in rr_type.LineFromFileType;
|
|
Length : IN Natural; lineCount : in unsigned_types.Unsigned32);
|
|
--# derives null from currentLine, length, lineCount;
|
|
|
|
PROCEDURE printLineLengthErrorInfo(CurrentLine : IN Rr_Type.LineFromFileType;
|
|
length : IN Natural; lineCount : IN unsigned_types.Unsigned32);
|
|
--# derives null from currentLine, length, lineCount;
|
|
|
|
PROCEDURE printSOARecordErrorInfo(CurrentLine : IN Rr_Type.LineFromFileType;
|
|
length : IN Natural; lineCount : IN unsigned_types.Unsigned32);
|
|
--# derives null from currentLine, length, lineCount;
|
|
|
|
PROCEDURE printAppendDomainLengthErrorInfo(CurrentLine : IN Rr_Type.LineFromFileType;
|
|
length : IN Natural; lineCount : IN unsigned_types.Unsigned32);
|
|
--# derives null from currentLine, length, lineCount;
|
|
|
|
PROCEDURE printDomainLengthErrorInfo(CurrentLine : IN Rr_Type.LineFromFileType;
|
|
begIdx: IN Natural; endIdx : IN Natural);
|
|
--# derives null from currentLine, begIdx, endIdx;
|
|
|
|
PROCEDURE printRRStringLengthErrorInfo(CurrentLine : IN Rr_Type.LineFromFileType;
|
|
begIdx: IN Natural; endIdx : IN Natural);
|
|
--# derives null from currentLine, begIdx, endIdx;
|
|
|
|
PROCEDURE printDNSTableFullInfo(CurrentLine : IN Rr_Type.LineFromFileType;
|
|
lineCount : IN unsigned_types.Unsigned32);
|
|
--# derives null from currentLine, lineCount;
|
|
|
|
PROCEDURE printKeyLengthErrorInfo(CurrentLine : IN Rr_Type.LineFromFileType;
|
|
length : IN Natural; lineCount : IN unsigned_types.Unsigned32);
|
|
--# derives null from currentLine, length, lineCount;
|
|
|
|
PROCEDURE PrintMissingSOARecordInfo;
|
|
--# derives ;
|
|
|
|
end error_msgs;
|