Differences From Artifact [f63f303f0e]:
- File src/natools-s_expressions-printers-pretty.ads — part of check-in [737b8974b4] at 2014-06-14 15:18:58 on branch trunk — s_expressions-printers-pretty: export procedure Newline to allow clients to freely insert newlines (e.g. at the end of files) (user: nat, size: 6060) [annotate] [blame] [check-ins using]
To Artifact [601d499607]:
- File src/natools-s_expressions-printers-pretty.ads — part of check-in [3b9912ed66] at 2014-07-19 18:27:21 on branch trunk — Add pragma Preelaborable_Initialization throughout the code (user: nat, size: 6110) [annotate] [blame] [check-ins using]
| ︙ | |||
57 58 59 60 61 62 63 64 65 66 67 68 69 70 | 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 | + |
end record;
-- Default values yield canonical encoding, though fields marked with
-- an asterisk (*) can have any value and still be canonical.
Canonical : constant Parameters := (others => <>);
type Printer is abstract limited new Printers.Printer with private;
pragma Preelaborable_Initialization (Printer);
procedure Write_Raw
(Output : in out Printer;
Data : in Ada.Streams.Stream_Element_Array)
is abstract;
overriding procedure Open_List (Output : in out Printer);
|
| ︙ |