Enum TokenType

  • All Implemented Interfaces:
    java.io.Serializable, java.lang.Comparable<TokenType>

    public enum TokenType
    extends java.lang.Enum<TokenType>
    This enumerates possible TeX tokens. According to chapter 7 in "The TeX book", a token is either a character with an associated catcode or a control sequence. We add "end of input" token as a convenience. Not all catcodes can actually end up in a token, so we only include the relevant ones.
    • Enum Constant Detail

      • ESCAPE

        public static final TokenType ESCAPE
      • BEGIN_GROUP

        public static final TokenType BEGIN_GROUP
      • END_GROUP

        public static final TokenType END_GROUP
      • MATH_SHIFT

        public static final TokenType MATH_SHIFT
      • ALIGNMENT_TAB

        public static final TokenType ALIGNMENT_TAB
      • PARAMETER

        public static final TokenType PARAMETER
      • SUPERSCRIPT

        public static final TokenType SUPERSCRIPT
      • SUBSCRIPT

        public static final TokenType SUBSCRIPT
      • LETTER

        public static final TokenType LETTER
      • ACTIVE

        public static final TokenType ACTIVE
      • COMMAND_SEQUENCE

        public static final TokenType COMMAND_SEQUENCE
      • ENDINPUT

        public static final TokenType ENDINPUT
    • Method Detail

      • values

        public static TokenType[] values()
        Returns an array containing the constants of this enum type, in the order they are declared. This method may be used to iterate over the constants as follows:
        for (TokenType c : TokenType.values())
            System.out.println(c);
        
        Returns:
        an array containing the constants of this enum type, in the order they are declared
      • valueOf

        public static TokenType valueOf​(java.lang.String name)
        Returns the enum constant of this type with the specified name. The string must match exactly an identifier used to declare an enum constant in this type. (Extraneous whitespace characters are not permitted.)
        Parameters:
        name - the name of the enum constant to be returned.
        Returns:
        the enum constant with the specified name
        Throws:
        java.lang.IllegalArgumentException - if this enum type has no constant with the specified name
        java.lang.NullPointerException - if the argument is null