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 | 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 |
︙ |