java.lang.Object
org.springframework.shell.test.jediterm.terminal.emulator.charset.CharacterSets

public final class CharacterSets extends Object
Provides the (graphical) character sets.
  • Field Details

    • ASCII_NAMES

      public static final String[] ASCII_NAMES
    • C0_CHARS

      public static final Object[][] C0_CHARS
      Denotes the mapping for C0 characters.
    • C1_CHARS

      public static final Object[][] C1_CHARS
      Denotes the mapping for C1 characters.
    • DEC_SPECIAL_CHARS

      public static final Object[][] DEC_SPECIAL_CHARS
      The DEC special characters (only the last 32 characters). Contains [light][heavy] flavors for box drawing
  • Method Details

    • isDecBoxChar

      public static boolean isDecBoxChar(char c)
    • getHeavyDecBoxChar

      public static char getHeavyDecBoxChar(char c)
    • getChar

      public static char getChar(char original, GraphicSet gl, GraphicSet gr)
      Returns the character mapping for a given original value using the given graphic sets GL and GR.
      Parameters:
      original - the original character to map;
      gl - the GL graphic set, cannot be null;
      gr - the GR graphic set, cannot be null.
      Returns:
      the mapped character.
    • getCharName

      public static String getCharName(char original, GraphicSet gl, GraphicSet gr)
      Returns the name for the given character using the given graphic sets GL and GR.
      Parameters:
      original - the original character to return the name for;
      gl - the GL graphic set, cannot be null;
      gr - the GR graphic set, cannot be null.
      Returns:
      the character name.