Line data Source code
1 : // Copyright (c) 2018, the Dart project authors. Please see the AUTHORS file
2 : // for details. All rights reserved. Use of this source code is governed by a
3 : // BSD-style license that can be found in the LICENSE file.
4 :
5 : // Don't modify this file by hand! It's generated by tool/generate.dart.
6 :
7 : import '../../term_glyph.dart' as glyph;
8 :
9 : /// A bullet point.
10 : ///
11 : /// If [ascii] is `false`, this is "•". If it's `true`, this is
12 : /// "*" instead.
13 0 : String get bullet => glyph.glyphs.bullet;
14 :
15 : /// A left-pointing arrow.
16 : ///
17 : /// Note that the Unicode arrow glyphs may overlap with adjacent characters in some
18 : /// terminal fonts, and should generally be surrounding by spaces.
19 : ///
20 : /// If [ascii] is `false`, this is "←". If it's `true`, this is
21 : /// "<" instead.
22 0 : String get leftArrow => glyph.glyphs.leftArrow;
23 :
24 : /// A right-pointing arrow.
25 : ///
26 : /// Note that the Unicode arrow glyphs may overlap with adjacent characters in some
27 : /// terminal fonts, and should generally be surrounding by spaces.
28 : ///
29 : /// If [ascii] is `false`, this is "→". If it's `true`, this is
30 : /// ">" instead.
31 0 : String get rightArrow => glyph.glyphs.rightArrow;
32 :
33 : /// An upwards-pointing arrow.
34 : ///
35 : /// If [ascii] is `false`, this is "↑". If it's `true`, this is
36 : /// "^" instead.
37 0 : String get upArrow => glyph.glyphs.upArrow;
38 :
39 : /// A downwards-pointing arrow.
40 : ///
41 : /// If [ascii] is `false`, this is "↓". If it's `true`, this is
42 : /// "v" instead.
43 0 : String get downArrow => glyph.glyphs.downArrow;
44 :
45 : /// A two-character left-pointing arrow.
46 : ///
47 : /// If [ascii] is `false`, this is "◀━". If it's `true`, this is
48 : /// "<=" instead.
49 0 : String get longLeftArrow => glyph.glyphs.longLeftArrow;
50 :
51 : /// A two-character right-pointing arrow.
52 : ///
53 : /// If [ascii] is `false`, this is "━▶". If it's `true`, this is
54 : /// "=>" instead.
55 0 : String get longRightArrow => glyph.glyphs.longRightArrow;
56 :
57 : /// A horizontal line that can be used to draw a box.
58 : ///
59 : /// If [ascii] is `false`, this is "─". If it's `true`, this is
60 : /// "-" instead.
61 0 : String get horizontalLine => glyph.glyphs.horizontalLine;
62 :
63 : /// A vertical line that can be used to draw a box.
64 : ///
65 : /// If [ascii] is `false`, this is "│". If it's `true`, this is
66 : /// "|" instead.
67 0 : String get verticalLine => glyph.glyphs.verticalLine;
68 :
69 : /// The upper left-hand corner of a box.
70 : ///
71 : /// If [ascii] is `false`, this is "┌". If it's `true`, this is
72 : /// "," instead.
73 0 : String get topLeftCorner => glyph.glyphs.topLeftCorner;
74 :
75 : /// The upper right-hand corner of a box.
76 : ///
77 : /// If [ascii] is `false`, this is "┐". If it's `true`, this is
78 : /// "," instead.
79 0 : String get topRightCorner => glyph.glyphs.topRightCorner;
80 :
81 : /// The lower left-hand corner of a box.
82 : ///
83 : /// If [ascii] is `false`, this is "└". If it's `true`, this is
84 : /// "'" instead.
85 0 : String get bottomLeftCorner => glyph.glyphs.bottomLeftCorner;
86 :
87 : /// The lower right-hand corner of a box.
88 : ///
89 : /// If [ascii] is `false`, this is "┘". If it's `true`, this is
90 : /// "'" instead.
91 0 : String get bottomRightCorner => glyph.glyphs.bottomRightCorner;
92 :
93 : /// An intersection of vertical and horizontal box lines.
94 : ///
95 : /// If [ascii] is `false`, this is "┼". If it's `true`, this is
96 : /// "+" instead.
97 0 : String get cross => glyph.glyphs.cross;
98 :
99 : /// A horizontal box line with a vertical line going up from the middle.
100 : ///
101 : /// If [ascii] is `false`, this is "┴". If it's `true`, this is
102 : /// "+" instead.
103 0 : String get teeUp => glyph.glyphs.teeUp;
104 :
105 : /// A horizontal box line with a vertical line going down from the middle.
106 : ///
107 : /// If [ascii] is `false`, this is "┬". If it's `true`, this is
108 : /// "+" instead.
109 0 : String get teeDown => glyph.glyphs.teeDown;
110 :
111 : /// A vertical box line with a horizontal line going left from the middle.
112 : ///
113 : /// If [ascii] is `false`, this is "┤". If it's `true`, this is
114 : /// "+" instead.
115 0 : String get teeLeft => glyph.glyphs.teeLeft;
116 :
117 : /// A vertical box line with a horizontal line going right from the middle.
118 : ///
119 : /// If [ascii] is `false`, this is "├". If it's `true`, this is
120 : /// "+" instead.
121 0 : String get teeRight => glyph.glyphs.teeRight;
122 :
123 : /// The top half of a vertical box line.
124 : ///
125 : /// If [ascii] is `false`, this is "╵". If it's `true`, this is
126 : /// "'" instead.
127 0 : String get upEnd => glyph.glyphs.upEnd;
128 :
129 : /// The bottom half of a vertical box line.
130 : ///
131 : /// If [ascii] is `false`, this is "╷". If it's `true`, this is
132 : /// "," instead.
133 0 : String get downEnd => glyph.glyphs.downEnd;
134 :
135 : /// The left half of a horizontal box line.
136 : ///
137 : /// If [ascii] is `false`, this is "╴". If it's `true`, this is
138 : /// "-" instead.
139 0 : String get leftEnd => glyph.glyphs.leftEnd;
140 :
141 : /// The right half of a horizontal box line.
142 : ///
143 : /// If [ascii] is `false`, this is "╶". If it's `true`, this is
144 : /// "-" instead.
145 0 : String get rightEnd => glyph.glyphs.rightEnd;
146 :
147 : /// A bold horizontal line that can be used to draw a box.
148 : ///
149 : /// If [ascii] is `false`, this is "━". If it's `true`, this is
150 : /// "=" instead.
151 0 : String get horizontalLineBold => glyph.glyphs.horizontalLineBold;
152 :
153 : /// A bold vertical line that can be used to draw a box.
154 : ///
155 : /// If [ascii] is `false`, this is "┃". If it's `true`, this is
156 : /// "|" instead.
157 0 : String get verticalLineBold => glyph.glyphs.verticalLineBold;
158 :
159 : /// The bold upper left-hand corner of a box.
160 : ///
161 : /// If [ascii] is `false`, this is "┏". If it's `true`, this is
162 : /// "," instead.
163 0 : String get topLeftCornerBold => glyph.glyphs.topLeftCornerBold;
164 :
165 : /// The bold upper right-hand corner of a box.
166 : ///
167 : /// If [ascii] is `false`, this is "┓". If it's `true`, this is
168 : /// "," instead.
169 0 : String get topRightCornerBold => glyph.glyphs.topRightCornerBold;
170 :
171 : /// The bold lower left-hand corner of a box.
172 : ///
173 : /// If [ascii] is `false`, this is "┗". If it's `true`, this is
174 : /// "'" instead.
175 0 : String get bottomLeftCornerBold => glyph.glyphs.bottomLeftCornerBold;
176 :
177 : /// The bold lower right-hand corner of a box.
178 : ///
179 : /// If [ascii] is `false`, this is "┛". If it's `true`, this is
180 : /// "'" instead.
181 0 : String get bottomRightCornerBold => glyph.glyphs.bottomRightCornerBold;
182 :
183 : /// An intersection of bold vertical and horizontal box lines.
184 : ///
185 : /// If [ascii] is `false`, this is "╋". If it's `true`, this is
186 : /// "+" instead.
187 0 : String get crossBold => glyph.glyphs.crossBold;
188 :
189 : /// A bold horizontal box line with a vertical line going up from the middle.
190 : ///
191 : /// If [ascii] is `false`, this is "┻". If it's `true`, this is
192 : /// "+" instead.
193 0 : String get teeUpBold => glyph.glyphs.teeUpBold;
194 :
195 : /// A bold horizontal box line with a vertical line going down from the middle.
196 : ///
197 : /// If [ascii] is `false`, this is "┳". If it's `true`, this is
198 : /// "+" instead.
199 0 : String get teeDownBold => glyph.glyphs.teeDownBold;
200 :
201 : /// A bold vertical box line with a horizontal line going left from the middle.
202 : ///
203 : /// If [ascii] is `false`, this is "┫". If it's `true`, this is
204 : /// "+" instead.
205 0 : String get teeLeftBold => glyph.glyphs.teeLeftBold;
206 :
207 : /// A bold vertical box line with a horizontal line going right from the middle.
208 : ///
209 : /// If [ascii] is `false`, this is "┣". If it's `true`, this is
210 : /// "+" instead.
211 0 : String get teeRightBold => glyph.glyphs.teeRightBold;
212 :
213 : /// The top half of a bold vertical box line.
214 : ///
215 : /// If [ascii] is `false`, this is "╹". If it's `true`, this is
216 : /// "'" instead.
217 0 : String get upEndBold => glyph.glyphs.upEndBold;
218 :
219 : /// The bottom half of a bold vertical box line.
220 : ///
221 : /// If [ascii] is `false`, this is "╻". If it's `true`, this is
222 : /// "," instead.
223 0 : String get downEndBold => glyph.glyphs.downEndBold;
224 :
225 : /// The left half of a bold horizontal box line.
226 : ///
227 : /// If [ascii] is `false`, this is "╸". If it's `true`, this is
228 : /// "-" instead.
229 0 : String get leftEndBold => glyph.glyphs.leftEndBold;
230 :
231 : /// The right half of a bold horizontal box line.
232 : ///
233 : /// If [ascii] is `false`, this is "╺". If it's `true`, this is
234 : /// "-" instead.
235 0 : String get rightEndBold => glyph.glyphs.rightEndBold;
236 :
237 : /// A double horizontal line that can be used to draw a box.
238 : ///
239 : /// If [ascii] is `false`, this is "═". If it's `true`, this is
240 : /// "=" instead.
241 0 : String get horizontalLineDouble => glyph.glyphs.horizontalLineDouble;
242 :
243 : /// A double vertical line that can be used to draw a box.
244 : ///
245 : /// If [ascii] is `false`, this is "║". If it's `true`, this is
246 : /// "|" instead.
247 0 : String get verticalLineDouble => glyph.glyphs.verticalLineDouble;
248 :
249 : /// The double upper left-hand corner of a box.
250 : ///
251 : /// If [ascii] is `false`, this is "╔". If it's `true`, this is
252 : /// "," instead.
253 0 : String get topLeftCornerDouble => glyph.glyphs.topLeftCornerDouble;
254 :
255 : /// The double upper right-hand corner of a box.
256 : ///
257 : /// If [ascii] is `false`, this is "╗". If it's `true`, this is
258 : /// "," instead.
259 0 : String get topRightCornerDouble => glyph.glyphs.topRightCornerDouble;
260 :
261 : /// The double lower left-hand corner of a box.
262 : ///
263 : /// If [ascii] is `false`, this is "╚". If it's `true`, this is
264 : /// """ instead.
265 0 : String get bottomLeftCornerDouble => glyph.glyphs.bottomLeftCornerDouble;
266 :
267 : /// The double lower right-hand corner of a box.
268 : ///
269 : /// If [ascii] is `false`, this is "╝". If it's `true`, this is
270 : /// """ instead.
271 0 : String get bottomRightCornerDouble => glyph.glyphs.bottomRightCornerDouble;
272 :
273 : /// An intersection of double vertical and horizontal box lines.
274 : ///
275 : /// If [ascii] is `false`, this is "╬". If it's `true`, this is
276 : /// "+" instead.
277 0 : String get crossDouble => glyph.glyphs.crossDouble;
278 :
279 : /// A double horizontal box line with a vertical line going up from the middle.
280 : ///
281 : /// If [ascii] is `false`, this is "╩". If it's `true`, this is
282 : /// "+" instead.
283 0 : String get teeUpDouble => glyph.glyphs.teeUpDouble;
284 :
285 : /// A double horizontal box line with a vertical line going down from the middle.
286 : ///
287 : /// If [ascii] is `false`, this is "╦". If it's `true`, this is
288 : /// "+" instead.
289 0 : String get teeDownDouble => glyph.glyphs.teeDownDouble;
290 :
291 : /// A double vertical box line with a horizontal line going left from the middle.
292 : ///
293 : /// If [ascii] is `false`, this is "╣". If it's `true`, this is
294 : /// "+" instead.
295 0 : String get teeLeftDouble => glyph.glyphs.teeLeftDouble;
296 :
297 : /// A double vertical box line with a horizontal line going right from the middle.
298 : ///
299 : /// If [ascii] is `false`, this is "╠". If it's `true`, this is
300 : /// "+" instead.
301 0 : String get teeRightDouble => glyph.glyphs.teeRightDouble;
302 :
303 : /// A dashed horizontal line that can be used to draw a box.
304 : ///
305 : /// If [ascii] is `false`, this is "╌". If it's `true`, this is
306 : /// "-" instead.
307 0 : String get horizontalLineDoubleDash => glyph.glyphs.horizontalLineDoubleDash;
308 :
309 : /// A bold dashed horizontal line that can be used to draw a box.
310 : ///
311 : /// If [ascii] is `false`, this is "╍". If it's `true`, this is
312 : /// "-" instead.
313 0 : String get horizontalLineDoubleDashBold =>
314 0 : glyph.glyphs.horizontalLineDoubleDashBold;
315 :
316 : /// A dashed vertical line that can be used to draw a box.
317 : ///
318 : /// If [ascii] is `false`, this is "╎". If it's `true`, this is
319 : /// "|" instead.
320 0 : String get verticalLineDoubleDash => glyph.glyphs.verticalLineDoubleDash;
321 :
322 : /// A bold dashed vertical line that can be used to draw a box.
323 : ///
324 : /// If [ascii] is `false`, this is "╏". If it's `true`, this is
325 : /// "|" instead.
326 0 : String get verticalLineDoubleDashBold =>
327 0 : glyph.glyphs.verticalLineDoubleDashBold;
328 :
329 : /// A dashed horizontal line that can be used to draw a box.
330 : ///
331 : /// If [ascii] is `false`, this is "┄". If it's `true`, this is
332 : /// "-" instead.
333 0 : String get horizontalLineTripleDash => glyph.glyphs.horizontalLineTripleDash;
334 :
335 : /// A bold dashed horizontal line that can be used to draw a box.
336 : ///
337 : /// If [ascii] is `false`, this is "┅". If it's `true`, this is
338 : /// "-" instead.
339 0 : String get horizontalLineTripleDashBold =>
340 0 : glyph.glyphs.horizontalLineTripleDashBold;
341 :
342 : /// A dashed vertical line that can be used to draw a box.
343 : ///
344 : /// If [ascii] is `false`, this is "┆". If it's `true`, this is
345 : /// "|" instead.
346 0 : String get verticalLineTripleDash => glyph.glyphs.verticalLineTripleDash;
347 :
348 : /// A bold dashed vertical line that can be used to draw a box.
349 : ///
350 : /// If [ascii] is `false`, this is "┇". If it's `true`, this is
351 : /// "|" instead.
352 0 : String get verticalLineTripleDashBold =>
353 0 : glyph.glyphs.verticalLineTripleDashBold;
354 :
355 : /// A dashed horizontal line that can be used to draw a box.
356 : ///
357 : /// If [ascii] is `false`, this is "┈". If it's `true`, this is
358 : /// "-" instead.
359 0 : String get horizontalLineQuadrupleDash =>
360 0 : glyph.glyphs.horizontalLineQuadrupleDash;
361 :
362 : /// A bold dashed horizontal line that can be used to draw a box.
363 : ///
364 : /// If [ascii] is `false`, this is "┉". If it's `true`, this is
365 : /// "-" instead.
366 0 : String get horizontalLineQuadrupleDashBold =>
367 0 : glyph.glyphs.horizontalLineQuadrupleDashBold;
368 :
369 : /// A dashed vertical line that can be used to draw a box.
370 : ///
371 : /// If [ascii] is `false`, this is "┊". If it's `true`, this is
372 : /// "|" instead.
373 0 : String get verticalLineQuadrupleDash => glyph.glyphs.verticalLineQuadrupleDash;
374 :
375 : /// A bold dashed vertical line that can be used to draw a box.
376 : ///
377 : /// If [ascii] is `false`, this is "┋". If it's `true`, this is
378 : /// "|" instead.
379 0 : String get verticalLineQuadrupleDashBold =>
380 0 : glyph.glyphs.verticalLineQuadrupleDashBold;
|