Differences From Artifact [d9720a139b]:
- File
src/natools-s_expressions-printers-pretty.ads
— part of check-in
[89b2db0d6d]
at
2014-06-08 19:08:16
on branch trunk
— s_expressions-printers-pretty: add valid default values to Parameter objects
This ensures that default Parameters objects are valid, and therefore that pretty printers without explicit parameter initialization are valid (and canonical) too. (user: nat, size: 5962) [annotate] [blame] [check-ins using]
To 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]
| ︙ | ︙ | |||
69 70 71 72 73 74 75 76 77 78 79 80 81 82 |
overriding procedure Open_List (Output : in out Printer);
overriding procedure Append_Atom
(Output : in out Printer;
Data : in Atom);
overriding procedure Close_List (Output : in out Printer);
procedure Set_Parameters (Output : in out Printer; Param : in Parameters);
function Get_Parameters (Output : Printer) return Parameters;
procedure Set_Width
(Output : in out Printer;
Width : in Screen_Offset);
procedure Set_Newline_At
| > > > | 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 |
overriding procedure Open_List (Output : in out Printer);
overriding procedure Append_Atom
(Output : in out Printer;
Data : in Atom);
overriding procedure Close_List (Output : in out Printer);
procedure Newline (Output : in out Printer);
-- Open a new indented line in the output
procedure Set_Parameters (Output : in out Printer; Param : in Parameters);
function Get_Parameters (Output : Printer) return Parameters;
procedure Set_Width
(Output : in out Printer;
Width : in Screen_Offset);
procedure Set_Newline_At
|
| ︙ | ︙ |