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)

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)

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