You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I was forwarded here by @pmderodat relating to an issue I ran into with GNAT GPL Community 2019 relating to pretty printing. I haven't been able to simply the test case but the full source code is available here: https://github.com/dnscatcher/DNSCatcher
The issue is consistent in many of the files in src/dnscatcher/dns/processor/rdata/*.ads, and manifests like this
-- Converts a RR record to logicial representation
--
-- @value This
-- Class object
--
-- @value DNS_Header
-- DNS Packet Header
--
-- @value Parsed_RR
-- Any parsed Resource Record from Processor.Packet
--
procedure From_Parsed_RR
(This : in out Parsed_Unknown_RData;
DNS_Header : DNS_Packet_Header;
Parsed_RR : Parsed_DNS_Resource_Record);
-- Represents RData as a String for debug logging
--
-- @value This
-- Class object
--
-- @returns
-- String saying "UNKNOWN"
--
function RData_To_String
(This : in Parsed_Unknown_RData)
return String;
-- Represents the resource record packet as a whole as a string
--
-- @value This
-- Class object
--
-- @returns
-- String that states "UNKNOWN"
--
function Print_Packet
(This : in Parsed_Unknown_RData)
return String;
That single block keeps being indented in all the subclasses of RData in this package. The pretty printer settings are as follows (from compiler_settings.gpr)
package Pretty_Printer is
for Default_Switches ("ada") use (
"-w",
"-rnb",
"-c4",
"--call_threshold=1",
"--par_threshold=1",
"--separate-stmt-name",
"--vertical-enum-types",
"--vertical-array-types",
"--vertical-case-alternatives",
"--separate-loop-then");
end Pretty_Printer;
I've tried a few other settings with no avail, so any insight or workarounds would be greatly appreciated.
The text was updated successfully, but these errors were encountered:
I was forwarded here by @pmderodat relating to an issue I ran into with GNAT GPL Community 2019 relating to pretty printing. I haven't been able to simply the test case but the full source code is available here: https://github.com/dnscatcher/DNSCatcher
The issue is consistent in many of the files in src/dnscatcher/dns/processor/rdata/*.ads, and manifests like this
That single block keeps being indented in all the subclasses of RData in this package. The pretty printer settings are as follows (from compiler_settings.gpr)
I've tried a few other settings with no avail, so any insight or workarounds would be greatly appreciated.
The text was updated successfully, but these errors were encountered: