lib/src/generated/ascii_glyph_set.dart

// Copyright (c) 2018, the Dart project authors.  Please see the AUTHORS file
// for details. All rights reserved. Use of this source code is governed by a
// BSD-style license that can be found in the LICENSE file.

// Don't modify this file by hand! It's generated by tool/generate.dart.

import 'glyph_set.dart';

/// A [GlyphSet] that includes only ASCII glyphs.
class AsciiGlyphSet implements GlyphSet {
  const AsciiGlyphSet();

  /// Returns [glyph] if [this] supports Unicode glyphs and [alternative]
  /// otherwise.
  String glyphOrAscii(String glyph, String alternative) => alternative;

  /// A bullet point.
  ///
  /// Always "*" for [this].
  String get bullet => "*";

  /// A left-pointing arrow.
  ///
  /// Note that the Unicode arrow glyphs may overlap with adjacent characters in some
  /// terminal fonts, and should generally be surrounding by spaces.
  ///
  /// Always "<" for [this].
  String get leftArrow => "<";

  /// A right-pointing arrow.
  ///
  /// Note that the Unicode arrow glyphs may overlap with adjacent characters in some
  /// terminal fonts, and should generally be surrounding by spaces.
  ///
  /// Always ">" for [this].
  String get rightArrow => ">";

  /// An upwards-pointing arrow.
  ///
  /// Always "^" for [this].
  String get upArrow => "^";

  /// A downwards-pointing arrow.
  ///
  /// Always "v" for [this].
  String get downArrow => "v";

  /// A two-character left-pointing arrow.
  ///
  /// Always "<=" for [this].
  String get longLeftArrow => "<=";

  /// A two-character right-pointing arrow.
  ///
  /// Always "=>" for [this].
  String get longRightArrow => "=>";

  /// A horizontal line that can be used to draw a box.
  ///
  /// Always "-" for [this].
  String get horizontalLine => "-";

  /// A vertical line that can be used to draw a box.
  ///
  /// Always "|" for [this].
  String get verticalLine => "|";

  /// The upper left-hand corner of a box.
  ///
  /// Always "," for [this].
  String get topLeftCorner => ",";

  /// The upper right-hand corner of a box.
  ///
  /// Always "," for [this].
  String get topRightCorner => ",";

  /// The lower left-hand corner of a box.
  ///
  /// Always "'" for [this].
  String get bottomLeftCorner => "'";

  /// The lower right-hand corner of a box.
  ///
  /// Always "'" for [this].
  String get bottomRightCorner => "'";

  /// An intersection of vertical and horizontal box lines.
  ///
  /// Always "+" for [this].
  String get cross => "+";

  /// A horizontal box line with a vertical line going up from the middle.
  ///
  /// Always "+" for [this].
  String get teeUp => "+";

  /// A horizontal box line with a vertical line going down from the middle.
  ///
  /// Always "+" for [this].
  String get teeDown => "+";

  /// A vertical box line with a horizontal line going left from the middle.
  ///
  /// Always "+" for [this].
  String get teeLeft => "+";

  /// A vertical box line with a horizontal line going right from the middle.
  ///
  /// Always "+" for [this].
  String get teeRight => "+";

  /// The top half of a vertical box line.
  ///
  /// Always "'" for [this].
  String get upEnd => "'";

  /// The bottom half of a vertical box line.
  ///
  /// Always "," for [this].
  String get downEnd => ",";

  /// The left half of a horizontal box line.
  ///
  /// Always "-" for [this].
  String get leftEnd => "-";

  /// The right half of a horizontal box line.
  ///
  /// Always "-" for [this].
  String get rightEnd => "-";

  /// A bold horizontal line that can be used to draw a box.
  ///
  /// Always "=" for [this].
  String get horizontalLineBold => "=";

  /// A bold vertical line that can be used to draw a box.
  ///
  /// Always "|" for [this].
  String get verticalLineBold => "|";

  /// The bold upper left-hand corner of a box.
  ///
  /// Always "," for [this].
  String get topLeftCornerBold => ",";

  /// The bold upper right-hand corner of a box.
  ///
  /// Always "," for [this].
  String get topRightCornerBold => ",";

  /// The bold lower left-hand corner of a box.
  ///
  /// Always "'" for [this].
  String get bottomLeftCornerBold => "'";

  /// The bold lower right-hand corner of a box.
  ///
  /// Always "'" for [this].
  String get bottomRightCornerBold => "'";

  /// An intersection of bold vertical and horizontal box lines.
  ///
  /// Always "+" for [this].
  String get crossBold => "+";

  /// A bold horizontal box line with a vertical line going up from the middle.
  ///
  /// Always "+" for [this].
  String get teeUpBold => "+";

  /// A bold horizontal box line with a vertical line going down from the middle.
  ///
  /// Always "+" for [this].
  String get teeDownBold => "+";

  /// A bold vertical box line with a horizontal line going left from the middle.
  ///
  /// Always "+" for [this].
  String get teeLeftBold => "+";

  /// A bold vertical box line with a horizontal line going right from the middle.
  ///
  /// Always "+" for [this].
  String get teeRightBold => "+";

  /// The top half of a bold vertical box line.
  ///
  /// Always "'" for [this].
  String get upEndBold => "'";

  /// The bottom half of a bold vertical box line.
  ///
  /// Always "," for [this].
  String get downEndBold => ",";

  /// The left half of a bold horizontal box line.
  ///
  /// Always "-" for [this].
  String get leftEndBold => "-";

  /// The right half of a bold horizontal box line.
  ///
  /// Always "-" for [this].
  String get rightEndBold => "-";

  /// A double horizontal line that can be used to draw a box.
  ///
  /// Always "=" for [this].
  String get horizontalLineDouble => "=";

  /// A double vertical line that can be used to draw a box.
  ///
  /// Always "|" for [this].
  String get verticalLineDouble => "|";

  /// The double upper left-hand corner of a box.
  ///
  /// Always "," for [this].
  String get topLeftCornerDouble => ",";

  /// The double upper right-hand corner of a box.
  ///
  /// Always "," for [this].
  String get topRightCornerDouble => ",";

  /// The double lower left-hand corner of a box.
  ///
  /// Always '"' for [this].
  String get bottomLeftCornerDouble => '"';

  /// The double lower right-hand corner of a box.
  ///
  /// Always '"' for [this].
  String get bottomRightCornerDouble => '"';

  /// An intersection of double vertical and horizontal box lines.
  ///
  /// Always "+" for [this].
  String get crossDouble => "+";

  /// A double horizontal box line with a vertical line going up from the middle.
  ///
  /// Always "+" for [this].
  String get teeUpDouble => "+";

  /// A double horizontal box line with a vertical line going down from the middle.
  ///
  /// Always "+" for [this].
  String get teeDownDouble => "+";

  /// A double vertical box line with a horizontal line going left from the middle.
  ///
  /// Always "+" for [this].
  String get teeLeftDouble => "+";

  /// A double vertical box line with a horizontal line going right from the middle.
  ///
  /// Always "+" for [this].
  String get teeRightDouble => "+";

  /// A dashed horizontal line that can be used to draw a box.
  ///
  /// Always "-" for [this].
  String get horizontalLineDoubleDash => "-";

  /// A bold dashed horizontal line that can be used to draw a box.
  ///
  /// Always "-" for [this].
  String get horizontalLineDoubleDashBold => "-";

  /// A dashed vertical line that can be used to draw a box.
  ///
  /// Always "|" for [this].
  String get verticalLineDoubleDash => "|";

  /// A bold dashed vertical line that can be used to draw a box.
  ///
  /// Always "|" for [this].
  String get verticalLineDoubleDashBold => "|";

  /// A dashed horizontal line that can be used to draw a box.
  ///
  /// Always "-" for [this].
  String get horizontalLineTripleDash => "-";

  /// A bold dashed horizontal line that can be used to draw a box.
  ///
  /// Always "-" for [this].
  String get horizontalLineTripleDashBold => "-";

  /// A dashed vertical line that can be used to draw a box.
  ///
  /// Always "|" for [this].
  String get verticalLineTripleDash => "|";

  /// A bold dashed vertical line that can be used to draw a box.
  ///
  /// Always "|" for [this].
  String get verticalLineTripleDashBold => "|";

  /// A dashed horizontal line that can be used to draw a box.
  ///
  /// Always "-" for [this].
  String get horizontalLineQuadrupleDash => "-";

  /// A bold dashed horizontal line that can be used to draw a box.
  ///
  /// Always "-" for [this].
  String get horizontalLineQuadrupleDashBold => "-";

  /// A dashed vertical line that can be used to draw a box.
  ///
  /// Always "|" for [this].
  String get verticalLineQuadrupleDash => "|";

  /// A bold dashed vertical line that can be used to draw a box.
  ///
  /// Always "|" for [this].
  String get verticalLineQuadrupleDashBold => "|";
}