54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
|
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 (Stream : access Ada.Streams.Root_Stream_Type'Class) is
new Printers.Printer with private;
|
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
|
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 (Stream : access Ada.Streams.Root_Stream_Type'Class) is
new Printers.Printer with record
|
132
133
134
135
136
137
138
139
140
|
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;
|