54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
|
Char_Encoding : Character_Encoding;
Fallback : Atom_Encoding;
Newline : Newline_Encoding;
end record;
Canonical : constant Parameters;
type Printer (Stream : access Ada.Streams.Root_Stream_Type'Class) is
new Printers.Printer with private;
|
<
|
>
>
>
>
>
|
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
|
Char_Encoding : Character_Encoding;
Fallback : Atom_Encoding;
Newline : Newline_Encoding;
end record;
Canonical : constant Parameters;
type Printer is abstract limited new Printers.Printer with private;
procedure Write_Raw
(Output : in out Printer;
Data : in Ada.Streams.Stream_Element_Array)
is abstract;
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);
|
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
|
procedure Set_Fallback
(Output : in out Printer;
Fallback : in Atom_Encoding);
procedure Set_Newline
(Output : in out Printer;
Newline : in Newline_Encoding);
private
type Printer (Stream : access Ada.Streams.Root_Stream_Type'Class) is
new Printers.Printer with record
|
>
>
>
>
<
|
|
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
|
procedure Set_Fallback
(Output : in out Printer;
Fallback : in Atom_Encoding);
procedure Set_Newline
(Output : in out Printer;
Newline : in Newline_Encoding);
type Stream_Printer (Stream : access Ada.Streams.Root_Stream_Type'Class) is
limited new Printers.Printer with private;
private
type Printer is abstract limited new Printers.Printer with record
Param : Parameters;
Cursor : Screen_Column := 1;
Previous : Entity;
First : Boolean := True;
Indent_Level : Screen_Offset := 0;
Need_Blank : Boolean := False;
end record;
|
132
133
134
135
136
137
138
139
140
|
Quoted => No_Quoted,
Token => No_Token,
Hex_Casing => Encodings.Upper, -- unused
Quoted_Escape => Octal_Escape, -- unused
Char_Encoding => ASCII, -- unused
Fallback => Verbatim,
Newline => LF); -- unused
end Natools.S_Expressions.Printers.Pretty;
|
>
>
>
>
>
>
>
|
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
|
Quoted => No_Quoted,
Token => No_Token,
Hex_Casing => Encodings.Upper, -- unused
Quoted_Escape => Octal_Escape, -- unused
Char_Encoding => ASCII, -- unused
Fallback => Verbatim,
Newline => LF); -- unused
type Stream_Printer (Stream : access Ada.Streams.Root_Stream_Type'Class) is
new Printer with null record;
overriding procedure Write_Raw
(Output : in out Stream_Printer;
Data : in Ada.Streams.Stream_Element_Array);
end Natools.S_Expressions.Printers.Pretty;
|