sqlglot.tokens

   1from __future__ import annotations
   2
   3import typing as t
   4from enum import auto
   5
   6from sqlglot.helper import AutoName
   7from sqlglot.trie import in_trie, new_trie
   8
   9
  10class TokenType(AutoName):
  11    L_PAREN = auto()
  12    R_PAREN = auto()
  13    L_BRACKET = auto()
  14    R_BRACKET = auto()
  15    L_BRACE = auto()
  16    R_BRACE = auto()
  17    COMMA = auto()
  18    DOT = auto()
  19    DASH = auto()
  20    PLUS = auto()
  21    COLON = auto()
  22    DCOLON = auto()
  23    SEMICOLON = auto()
  24    STAR = auto()
  25    BACKSLASH = auto()
  26    SLASH = auto()
  27    LT = auto()
  28    LTE = auto()
  29    GT = auto()
  30    GTE = auto()
  31    NOT = auto()
  32    EQ = auto()
  33    NEQ = auto()
  34    NULLSAFE_EQ = auto()
  35    AND = auto()
  36    OR = auto()
  37    AMP = auto()
  38    DPIPE = auto()
  39    PIPE = auto()
  40    CARET = auto()
  41    TILDA = auto()
  42    ARROW = auto()
  43    DARROW = auto()
  44    FARROW = auto()
  45    HASH = auto()
  46    HASH_ARROW = auto()
  47    DHASH_ARROW = auto()
  48    LR_ARROW = auto()
  49    LT_AT = auto()
  50    AT_GT = auto()
  51    DOLLAR = auto()
  52    PARAMETER = auto()
  53    SESSION_PARAMETER = auto()
  54    NATIONAL = auto()
  55    DAMP = auto()
  56
  57    BLOCK_START = auto()
  58    BLOCK_END = auto()
  59
  60    SPACE = auto()
  61    BREAK = auto()
  62
  63    STRING = auto()
  64    NUMBER = auto()
  65    IDENTIFIER = auto()
  66    DATABASE = auto()
  67    COLUMN = auto()
  68    COLUMN_DEF = auto()
  69    SCHEMA = auto()
  70    TABLE = auto()
  71    VAR = auto()
  72    BIT_STRING = auto()
  73    HEX_STRING = auto()
  74    BYTE_STRING = auto()
  75
  76    # types
  77    BIT = auto()
  78    BOOLEAN = auto()
  79    TINYINT = auto()
  80    UTINYINT = auto()
  81    SMALLINT = auto()
  82    USMALLINT = auto()
  83    INT = auto()
  84    UINT = auto()
  85    BIGINT = auto()
  86    UBIGINT = auto()
  87    FLOAT = auto()
  88    DOUBLE = auto()
  89    DECIMAL = auto()
  90    CHAR = auto()
  91    NCHAR = auto()
  92    VARCHAR = auto()
  93    NVARCHAR = auto()
  94    TEXT = auto()
  95    MEDIUMTEXT = auto()
  96    LONGTEXT = auto()
  97    MEDIUMBLOB = auto()
  98    LONGBLOB = auto()
  99    BINARY = auto()
 100    VARBINARY = auto()
 101    JSON = auto()
 102    JSONB = auto()
 103    TIME = auto()
 104    TIMESTAMP = auto()
 105    TIMESTAMPTZ = auto()
 106    TIMESTAMPLTZ = auto()
 107    DATETIME = auto()
 108    DATE = auto()
 109    UUID = auto()
 110    GEOGRAPHY = auto()
 111    NULLABLE = auto()
 112    GEOMETRY = auto()
 113    HLLSKETCH = auto()
 114    HSTORE = auto()
 115    SUPER = auto()
 116    SERIAL = auto()
 117    SMALLSERIAL = auto()
 118    BIGSERIAL = auto()
 119    XML = auto()
 120    UNIQUEIDENTIFIER = auto()
 121    MONEY = auto()
 122    SMALLMONEY = auto()
 123    ROWVERSION = auto()
 124    IMAGE = auto()
 125    VARIANT = auto()
 126    OBJECT = auto()
 127    INET = auto()
 128
 129    # keywords
 130    ALIAS = auto()
 131    ALTER = auto()
 132    ALWAYS = auto()
 133    ALL = auto()
 134    ANTI = auto()
 135    ANY = auto()
 136    APPLY = auto()
 137    ARRAY = auto()
 138    ASC = auto()
 139    ASOF = auto()
 140    AT_TIME_ZONE = auto()
 141    AUTO_INCREMENT = auto()
 142    BEGIN = auto()
 143    BETWEEN = auto()
 144    BOTH = auto()
 145    BUCKET = auto()
 146    BY_DEFAULT = auto()
 147    CACHE = auto()
 148    CASCADE = auto()
 149    CASE = auto()
 150    CHARACTER_SET = auto()
 151    CLUSTER_BY = auto()
 152    COLLATE = auto()
 153    COMMAND = auto()
 154    COMMENT = auto()
 155    COMMIT = auto()
 156    COMPOUND = auto()
 157    CONSTRAINT = auto()
 158    CREATE = auto()
 159    CROSS = auto()
 160    CUBE = auto()
 161    CURRENT_DATE = auto()
 162    CURRENT_DATETIME = auto()
 163    CURRENT_ROW = auto()
 164    CURRENT_TIME = auto()
 165    CURRENT_TIMESTAMP = auto()
 166    DEFAULT = auto()
 167    DELETE = auto()
 168    DESC = auto()
 169    DESCRIBE = auto()
 170    DISTINCT = auto()
 171    DISTINCT_FROM = auto()
 172    DISTRIBUTE_BY = auto()
 173    DIV = auto()
 174    DROP = auto()
 175    ELSE = auto()
 176    END = auto()
 177    ESCAPE = auto()
 178    EXCEPT = auto()
 179    EXECUTE = auto()
 180    EXISTS = auto()
 181    FALSE = auto()
 182    FETCH = auto()
 183    FILTER = auto()
 184    FINAL = auto()
 185    FIRST = auto()
 186    FOLLOWING = auto()
 187    FOR = auto()
 188    FOREIGN_KEY = auto()
 189    FORMAT = auto()
 190    FROM = auto()
 191    FULL = auto()
 192    FUNCTION = auto()
 193    GLOB = auto()
 194    GLOBAL = auto()
 195    GROUP_BY = auto()
 196    GROUPING_SETS = auto()
 197    HAVING = auto()
 198    HINT = auto()
 199    IF = auto()
 200    IGNORE_NULLS = auto()
 201    ILIKE = auto()
 202    ILIKE_ANY = auto()
 203    IN = auto()
 204    INDEX = auto()
 205    INNER = auto()
 206    INSERT = auto()
 207    INTERSECT = auto()
 208    INTERVAL = auto()
 209    INTO = auto()
 210    INTRODUCER = auto()
 211    IRLIKE = auto()
 212    IS = auto()
 213    ISNULL = auto()
 214    JOIN = auto()
 215    JOIN_MARKER = auto()
 216    LANGUAGE = auto()
 217    LATERAL = auto()
 218    LAZY = auto()
 219    LEADING = auto()
 220    LEFT = auto()
 221    LIKE = auto()
 222    LIKE_ANY = auto()
 223    LIMIT = auto()
 224    LOAD_DATA = auto()
 225    LOCAL = auto()
 226    MAP = auto()
 227    MATCH_RECOGNIZE = auto()
 228    MATERIALIZED = auto()
 229    MERGE = auto()
 230    MOD = auto()
 231    NATURAL = auto()
 232    NEXT = auto()
 233    NO_ACTION = auto()
 234    NOTNULL = auto()
 235    NULL = auto()
 236    NULLS_FIRST = auto()
 237    NULLS_LAST = auto()
 238    OFFSET = auto()
 239    ON = auto()
 240    ONLY = auto()
 241    OPTIONS = auto()
 242    ORDER_BY = auto()
 243    ORDERED = auto()
 244    ORDINALITY = auto()
 245    OUTER = auto()
 246    OUT_OF = auto()
 247    OVER = auto()
 248    OVERLAPS = auto()
 249    OVERWRITE = auto()
 250    PARTITION = auto()
 251    PARTITION_BY = auto()
 252    PERCENT = auto()
 253    PIVOT = auto()
 254    PLACEHOLDER = auto()
 255    PRAGMA = auto()
 256    PRECEDING = auto()
 257    PRIMARY_KEY = auto()
 258    PROCEDURE = auto()
 259    PROPERTIES = auto()
 260    PSEUDO_TYPE = auto()
 261    QUALIFY = auto()
 262    QUOTE = auto()
 263    RANGE = auto()
 264    RECURSIVE = auto()
 265    REPLACE = auto()
 266    RESPECT_NULLS = auto()
 267    RETURNING = auto()
 268    REFERENCES = auto()
 269    RIGHT = auto()
 270    RLIKE = auto()
 271    ROLLBACK = auto()
 272    ROLLUP = auto()
 273    ROW = auto()
 274    ROWS = auto()
 275    SEED = auto()
 276    SELECT = auto()
 277    SEMI = auto()
 278    SEPARATOR = auto()
 279    SERDE_PROPERTIES = auto()
 280    SET = auto()
 281    SHOW = auto()
 282    SIMILAR_TO = auto()
 283    SOME = auto()
 284    SORTKEY = auto()
 285    SORT_BY = auto()
 286    STRUCT = auto()
 287    TABLE_SAMPLE = auto()
 288    TEMPORARY = auto()
 289    TOP = auto()
 290    THEN = auto()
 291    TRAILING = auto()
 292    TRUE = auto()
 293    UNBOUNDED = auto()
 294    UNCACHE = auto()
 295    UNION = auto()
 296    UNLOGGED = auto()
 297    UNNEST = auto()
 298    UNPIVOT = auto()
 299    UPDATE = auto()
 300    USE = auto()
 301    USING = auto()
 302    VALUES = auto()
 303    VIEW = auto()
 304    VOLATILE = auto()
 305    WHEN = auto()
 306    WHERE = auto()
 307    WINDOW = auto()
 308    WITH = auto()
 309    WITH_TIME_ZONE = auto()
 310    WITH_LOCAL_TIME_ZONE = auto()
 311    WITHIN_GROUP = auto()
 312    WITHOUT_TIME_ZONE = auto()
 313    UNIQUE = auto()
 314
 315
 316class Token:
 317    __slots__ = ("token_type", "text", "line", "col", "comments")
 318
 319    @classmethod
 320    def number(cls, number: int) -> Token:
 321        """Returns a NUMBER token with `number` as its text."""
 322        return cls(TokenType.NUMBER, str(number))
 323
 324    @classmethod
 325    def string(cls, string: str) -> Token:
 326        """Returns a STRING token with `string` as its text."""
 327        return cls(TokenType.STRING, string)
 328
 329    @classmethod
 330    def identifier(cls, identifier: str) -> Token:
 331        """Returns an IDENTIFIER token with `identifier` as its text."""
 332        return cls(TokenType.IDENTIFIER, identifier)
 333
 334    @classmethod
 335    def var(cls, var: str) -> Token:
 336        """Returns an VAR token with `var` as its text."""
 337        return cls(TokenType.VAR, var)
 338
 339    def __init__(
 340        self,
 341        token_type: TokenType,
 342        text: str,
 343        line: int = 1,
 344        col: int = 1,
 345        comments: t.List[str] = [],
 346    ) -> None:
 347        self.token_type = token_type
 348        self.text = text
 349        self.line = line
 350        self.col = col - len(text)
 351        self.col = self.col if self.col > 1 else 1
 352        self.comments = comments
 353
 354    def __repr__(self) -> str:
 355        attributes = ", ".join(f"{k}: {getattr(self, k)}" for k in self.__slots__)
 356        return f"<Token {attributes}>"
 357
 358
 359class _Tokenizer(type):
 360    def __new__(cls, clsname, bases, attrs):  # type: ignore
 361        klass = super().__new__(cls, clsname, bases, attrs)
 362
 363        klass._QUOTES = {
 364            f"{prefix}{s}": e
 365            for s, e in cls._delimeter_list_to_dict(klass.QUOTES).items()
 366            for prefix in (("",) if s[0].isalpha() else ("", "n", "N"))
 367        }
 368        klass._BIT_STRINGS = cls._delimeter_list_to_dict(klass.BIT_STRINGS)
 369        klass._HEX_STRINGS = cls._delimeter_list_to_dict(klass.HEX_STRINGS)
 370        klass._BYTE_STRINGS = cls._delimeter_list_to_dict(klass.BYTE_STRINGS)
 371        klass._IDENTIFIERS = cls._delimeter_list_to_dict(klass.IDENTIFIERS)
 372        klass._STRING_ESCAPES = set(klass.STRING_ESCAPES)
 373        klass._IDENTIFIER_ESCAPES = set(klass.IDENTIFIER_ESCAPES)
 374        klass._COMMENTS = dict(
 375            (comment, None) if isinstance(comment, str) else (comment[0], comment[1])
 376            for comment in klass.COMMENTS
 377        )
 378
 379        klass.KEYWORD_TRIE = new_trie(
 380            key.upper()
 381            for key in {
 382                **klass.KEYWORDS,
 383                **{comment: TokenType.COMMENT for comment in klass._COMMENTS},
 384                **{quote: TokenType.QUOTE for quote in klass._QUOTES},
 385                **{bit_string: TokenType.BIT_STRING for bit_string in klass._BIT_STRINGS},
 386                **{hex_string: TokenType.HEX_STRING for hex_string in klass._HEX_STRINGS},
 387                **{byte_string: TokenType.BYTE_STRING for byte_string in klass._BYTE_STRINGS},
 388            }
 389            if " " in key or any(single in key for single in klass.SINGLE_TOKENS)
 390        )
 391
 392        return klass
 393
 394    @staticmethod
 395    def _delimeter_list_to_dict(list: t.List[str | t.Tuple[str, str]]) -> t.Dict[str, str]:
 396        return dict((item, item) if isinstance(item, str) else (item[0], item[1]) for item in list)
 397
 398
 399class Tokenizer(metaclass=_Tokenizer):
 400    SINGLE_TOKENS = {
 401        "(": TokenType.L_PAREN,
 402        ")": TokenType.R_PAREN,
 403        "[": TokenType.L_BRACKET,
 404        "]": TokenType.R_BRACKET,
 405        "{": TokenType.L_BRACE,
 406        "}": TokenType.R_BRACE,
 407        "&": TokenType.AMP,
 408        "^": TokenType.CARET,
 409        ":": TokenType.COLON,
 410        ",": TokenType.COMMA,
 411        ".": TokenType.DOT,
 412        "-": TokenType.DASH,
 413        "=": TokenType.EQ,
 414        ">": TokenType.GT,
 415        "<": TokenType.LT,
 416        "%": TokenType.MOD,
 417        "!": TokenType.NOT,
 418        "|": TokenType.PIPE,
 419        "+": TokenType.PLUS,
 420        ";": TokenType.SEMICOLON,
 421        "/": TokenType.SLASH,
 422        "\\": TokenType.BACKSLASH,
 423        "*": TokenType.STAR,
 424        "~": TokenType.TILDA,
 425        "?": TokenType.PLACEHOLDER,
 426        "@": TokenType.PARAMETER,
 427        # used for breaking a var like x'y' but nothing else
 428        # the token type doesn't matter
 429        "'": TokenType.QUOTE,
 430        "`": TokenType.IDENTIFIER,
 431        '"': TokenType.IDENTIFIER,
 432        "#": TokenType.HASH,
 433    }
 434
 435    QUOTES: t.List[t.Tuple[str, str] | str] = ["'"]
 436
 437    BIT_STRINGS: t.List[str | t.Tuple[str, str]] = []
 438
 439    HEX_STRINGS: t.List[str | t.Tuple[str, str]] = []
 440
 441    BYTE_STRINGS: t.List[str | t.Tuple[str, str]] = []
 442
 443    IDENTIFIERS: t.List[str | t.Tuple[str, str]] = ['"']
 444
 445    STRING_ESCAPES = ["'"]
 446
 447    _STRING_ESCAPES: t.Set[str] = set()
 448
 449    IDENTIFIER_ESCAPES = ['"']
 450
 451    _IDENTIFIER_ESCAPES: t.Set[str] = set()
 452
 453    KEYWORDS = {
 454        **{f"{{%{postfix}": TokenType.BLOCK_START for postfix in ("", "+", "-")},
 455        **{f"{prefix}%}}": TokenType.BLOCK_END for prefix in ("", "+", "-")},
 456        "{{+": TokenType.BLOCK_START,
 457        "{{-": TokenType.BLOCK_START,
 458        "+}}": TokenType.BLOCK_END,
 459        "-}}": TokenType.BLOCK_END,
 460        "/*+": TokenType.HINT,
 461        "==": TokenType.EQ,
 462        "::": TokenType.DCOLON,
 463        "||": TokenType.DPIPE,
 464        ">=": TokenType.GTE,
 465        "<=": TokenType.LTE,
 466        "<>": TokenType.NEQ,
 467        "!=": TokenType.NEQ,
 468        "<=>": TokenType.NULLSAFE_EQ,
 469        "->": TokenType.ARROW,
 470        "->>": TokenType.DARROW,
 471        "=>": TokenType.FARROW,
 472        "#>": TokenType.HASH_ARROW,
 473        "#>>": TokenType.DHASH_ARROW,
 474        "<->": TokenType.LR_ARROW,
 475        "&&": TokenType.DAMP,
 476        "ALL": TokenType.ALL,
 477        "ALWAYS": TokenType.ALWAYS,
 478        "AND": TokenType.AND,
 479        "ANTI": TokenType.ANTI,
 480        "ANY": TokenType.ANY,
 481        "ASC": TokenType.ASC,
 482        "AS": TokenType.ALIAS,
 483        "AT TIME ZONE": TokenType.AT_TIME_ZONE,
 484        "AUTOINCREMENT": TokenType.AUTO_INCREMENT,
 485        "AUTO_INCREMENT": TokenType.AUTO_INCREMENT,
 486        "BEGIN": TokenType.BEGIN,
 487        "BETWEEN": TokenType.BETWEEN,
 488        "BOTH": TokenType.BOTH,
 489        "BUCKET": TokenType.BUCKET,
 490        "BY DEFAULT": TokenType.BY_DEFAULT,
 491        "CACHE": TokenType.CACHE,
 492        "UNCACHE": TokenType.UNCACHE,
 493        "CASE": TokenType.CASE,
 494        "CASCADE": TokenType.CASCADE,
 495        "CHARACTER SET": TokenType.CHARACTER_SET,
 496        "CLUSTER BY": TokenType.CLUSTER_BY,
 497        "COLLATE": TokenType.COLLATE,
 498        "COLUMN": TokenType.COLUMN,
 499        "COMMIT": TokenType.COMMIT,
 500        "COMPOUND": TokenType.COMPOUND,
 501        "CONSTRAINT": TokenType.CONSTRAINT,
 502        "CREATE": TokenType.CREATE,
 503        "CROSS": TokenType.CROSS,
 504        "CUBE": TokenType.CUBE,
 505        "CURRENT_DATE": TokenType.CURRENT_DATE,
 506        "CURRENT ROW": TokenType.CURRENT_ROW,
 507        "CURRENT_TIME": TokenType.CURRENT_TIME,
 508        "CURRENT_TIMESTAMP": TokenType.CURRENT_TIMESTAMP,
 509        "DATABASE": TokenType.DATABASE,
 510        "DEFAULT": TokenType.DEFAULT,
 511        "DELETE": TokenType.DELETE,
 512        "DESC": TokenType.DESC,
 513        "DESCRIBE": TokenType.DESCRIBE,
 514        "DISTINCT": TokenType.DISTINCT,
 515        "DISTINCT FROM": TokenType.DISTINCT_FROM,
 516        "DISTRIBUTE BY": TokenType.DISTRIBUTE_BY,
 517        "DIV": TokenType.DIV,
 518        "DROP": TokenType.DROP,
 519        "ELSE": TokenType.ELSE,
 520        "END": TokenType.END,
 521        "ESCAPE": TokenType.ESCAPE,
 522        "EXCEPT": TokenType.EXCEPT,
 523        "EXECUTE": TokenType.EXECUTE,
 524        "EXISTS": TokenType.EXISTS,
 525        "FALSE": TokenType.FALSE,
 526        "FETCH": TokenType.FETCH,
 527        "FILTER": TokenType.FILTER,
 528        "FIRST": TokenType.FIRST,
 529        "FULL": TokenType.FULL,
 530        "FUNCTION": TokenType.FUNCTION,
 531        "FOLLOWING": TokenType.FOLLOWING,
 532        "FOR": TokenType.FOR,
 533        "FOREIGN KEY": TokenType.FOREIGN_KEY,
 534        "FORMAT": TokenType.FORMAT,
 535        "FROM": TokenType.FROM,
 536        "GLOB": TokenType.GLOB,
 537        "GROUP BY": TokenType.GROUP_BY,
 538        "GROUPING SETS": TokenType.GROUPING_SETS,
 539        "HAVING": TokenType.HAVING,
 540        "IF": TokenType.IF,
 541        "ILIKE": TokenType.ILIKE,
 542        "IGNORE NULLS": TokenType.IGNORE_NULLS,
 543        "IN": TokenType.IN,
 544        "INDEX": TokenType.INDEX,
 545        "INET": TokenType.INET,
 546        "INNER": TokenType.INNER,
 547        "INSERT": TokenType.INSERT,
 548        "INTERVAL": TokenType.INTERVAL,
 549        "INTERSECT": TokenType.INTERSECT,
 550        "INTO": TokenType.INTO,
 551        "IS": TokenType.IS,
 552        "ISNULL": TokenType.ISNULL,
 553        "JOIN": TokenType.JOIN,
 554        "LATERAL": TokenType.LATERAL,
 555        "LAZY": TokenType.LAZY,
 556        "LEADING": TokenType.LEADING,
 557        "LEFT": TokenType.LEFT,
 558        "LIKE": TokenType.LIKE,
 559        "LIMIT": TokenType.LIMIT,
 560        "LOAD DATA": TokenType.LOAD_DATA,
 561        "LOCAL": TokenType.LOCAL,
 562        "MATERIALIZED": TokenType.MATERIALIZED,
 563        "MERGE": TokenType.MERGE,
 564        "NATURAL": TokenType.NATURAL,
 565        "NEXT": TokenType.NEXT,
 566        "NO ACTION": TokenType.NO_ACTION,
 567        "NOT": TokenType.NOT,
 568        "NOTNULL": TokenType.NOTNULL,
 569        "NULL": TokenType.NULL,
 570        "NULLS FIRST": TokenType.NULLS_FIRST,
 571        "NULLS LAST": TokenType.NULLS_LAST,
 572        "OBJECT": TokenType.OBJECT,
 573        "OFFSET": TokenType.OFFSET,
 574        "ON": TokenType.ON,
 575        "ONLY": TokenType.ONLY,
 576        "OPTIONS": TokenType.OPTIONS,
 577        "OR": TokenType.OR,
 578        "ORDER BY": TokenType.ORDER_BY,
 579        "ORDINALITY": TokenType.ORDINALITY,
 580        "OUTER": TokenType.OUTER,
 581        "OUT OF": TokenType.OUT_OF,
 582        "OVER": TokenType.OVER,
 583        "OVERLAPS": TokenType.OVERLAPS,
 584        "OVERWRITE": TokenType.OVERWRITE,
 585        "PARTITION": TokenType.PARTITION,
 586        "PARTITION BY": TokenType.PARTITION_BY,
 587        "PARTITIONED BY": TokenType.PARTITION_BY,
 588        "PARTITIONED_BY": TokenType.PARTITION_BY,
 589        "PERCENT": TokenType.PERCENT,
 590        "PIVOT": TokenType.PIVOT,
 591        "PRAGMA": TokenType.PRAGMA,
 592        "PRECEDING": TokenType.PRECEDING,
 593        "PRIMARY KEY": TokenType.PRIMARY_KEY,
 594        "PROCEDURE": TokenType.PROCEDURE,
 595        "QUALIFY": TokenType.QUALIFY,
 596        "RANGE": TokenType.RANGE,
 597        "RECURSIVE": TokenType.RECURSIVE,
 598        "REGEXP": TokenType.RLIKE,
 599        "REPLACE": TokenType.REPLACE,
 600        "RESPECT NULLS": TokenType.RESPECT_NULLS,
 601        "REFERENCES": TokenType.REFERENCES,
 602        "RIGHT": TokenType.RIGHT,
 603        "RLIKE": TokenType.RLIKE,
 604        "ROLLBACK": TokenType.ROLLBACK,
 605        "ROLLUP": TokenType.ROLLUP,
 606        "ROW": TokenType.ROW,
 607        "ROWS": TokenType.ROWS,
 608        "SCHEMA": TokenType.SCHEMA,
 609        "SEED": TokenType.SEED,
 610        "SELECT": TokenType.SELECT,
 611        "SEMI": TokenType.SEMI,
 612        "SET": TokenType.SET,
 613        "SHOW": TokenType.SHOW,
 614        "SIMILAR TO": TokenType.SIMILAR_TO,
 615        "SOME": TokenType.SOME,
 616        "SORTKEY": TokenType.SORTKEY,
 617        "SORT BY": TokenType.SORT_BY,
 618        "TABLE": TokenType.TABLE,
 619        "TABLESAMPLE": TokenType.TABLE_SAMPLE,
 620        "TEMP": TokenType.TEMPORARY,
 621        "TEMPORARY": TokenType.TEMPORARY,
 622        "THEN": TokenType.THEN,
 623        "TRUE": TokenType.TRUE,
 624        "TRAILING": TokenType.TRAILING,
 625        "UNBOUNDED": TokenType.UNBOUNDED,
 626        "UNION": TokenType.UNION,
 627        "UNLOGGED": TokenType.UNLOGGED,
 628        "UNNEST": TokenType.UNNEST,
 629        "UNPIVOT": TokenType.UNPIVOT,
 630        "UPDATE": TokenType.UPDATE,
 631        "USE": TokenType.USE,
 632        "USING": TokenType.USING,
 633        "VALUES": TokenType.VALUES,
 634        "VIEW": TokenType.VIEW,
 635        "VOLATILE": TokenType.VOLATILE,
 636        "WHEN": TokenType.WHEN,
 637        "WHERE": TokenType.WHERE,
 638        "WINDOW": TokenType.WINDOW,
 639        "WITH": TokenType.WITH,
 640        "WITH TIME ZONE": TokenType.WITH_TIME_ZONE,
 641        "WITH LOCAL TIME ZONE": TokenType.WITH_LOCAL_TIME_ZONE,
 642        "WITHIN GROUP": TokenType.WITHIN_GROUP,
 643        "WITHOUT TIME ZONE": TokenType.WITHOUT_TIME_ZONE,
 644        "APPLY": TokenType.APPLY,
 645        "ARRAY": TokenType.ARRAY,
 646        "BIT": TokenType.BIT,
 647        "BOOL": TokenType.BOOLEAN,
 648        "BOOLEAN": TokenType.BOOLEAN,
 649        "BYTE": TokenType.TINYINT,
 650        "TINYINT": TokenType.TINYINT,
 651        "SHORT": TokenType.SMALLINT,
 652        "SMALLINT": TokenType.SMALLINT,
 653        "INT2": TokenType.SMALLINT,
 654        "INTEGER": TokenType.INT,
 655        "INT": TokenType.INT,
 656        "INT4": TokenType.INT,
 657        "LONG": TokenType.BIGINT,
 658        "BIGINT": TokenType.BIGINT,
 659        "INT8": TokenType.BIGINT,
 660        "DEC": TokenType.DECIMAL,
 661        "DECIMAL": TokenType.DECIMAL,
 662        "MAP": TokenType.MAP,
 663        "NULLABLE": TokenType.NULLABLE,
 664        "NUMBER": TokenType.DECIMAL,
 665        "NUMERIC": TokenType.DECIMAL,
 666        "FIXED": TokenType.DECIMAL,
 667        "REAL": TokenType.FLOAT,
 668        "FLOAT": TokenType.FLOAT,
 669        "FLOAT4": TokenType.FLOAT,
 670        "FLOAT8": TokenType.DOUBLE,
 671        "DOUBLE": TokenType.DOUBLE,
 672        "DOUBLE PRECISION": TokenType.DOUBLE,
 673        "JSON": TokenType.JSON,
 674        "CHAR": TokenType.CHAR,
 675        "CHARACTER": TokenType.CHAR,
 676        "NCHAR": TokenType.NCHAR,
 677        "VARCHAR": TokenType.VARCHAR,
 678        "VARCHAR2": TokenType.VARCHAR,
 679        "NVARCHAR": TokenType.NVARCHAR,
 680        "NVARCHAR2": TokenType.NVARCHAR,
 681        "STR": TokenType.TEXT,
 682        "STRING": TokenType.TEXT,
 683        "TEXT": TokenType.TEXT,
 684        "CLOB": TokenType.TEXT,
 685        "LONGVARCHAR": TokenType.TEXT,
 686        "BINARY": TokenType.BINARY,
 687        "BLOB": TokenType.VARBINARY,
 688        "BYTEA": TokenType.VARBINARY,
 689        "VARBINARY": TokenType.VARBINARY,
 690        "TIME": TokenType.TIME,
 691        "TIMESTAMP": TokenType.TIMESTAMP,
 692        "TIMESTAMPTZ": TokenType.TIMESTAMPTZ,
 693        "TIMESTAMPLTZ": TokenType.TIMESTAMPLTZ,
 694        "DATE": TokenType.DATE,
 695        "DATETIME": TokenType.DATETIME,
 696        "UNIQUE": TokenType.UNIQUE,
 697        "STRUCT": TokenType.STRUCT,
 698        "VARIANT": TokenType.VARIANT,
 699        "ALTER": TokenType.ALTER,
 700        "ALTER AGGREGATE": TokenType.COMMAND,
 701        "ALTER DEFAULT": TokenType.COMMAND,
 702        "ALTER DOMAIN": TokenType.COMMAND,
 703        "ALTER ROLE": TokenType.COMMAND,
 704        "ALTER RULE": TokenType.COMMAND,
 705        "ALTER SEQUENCE": TokenType.COMMAND,
 706        "ALTER TYPE": TokenType.COMMAND,
 707        "ALTER USER": TokenType.COMMAND,
 708        "ALTER VIEW": TokenType.COMMAND,
 709        "ANALYZE": TokenType.COMMAND,
 710        "CALL": TokenType.COMMAND,
 711        "COMMENT": TokenType.COMMENT,
 712        "COPY": TokenType.COMMAND,
 713        "EXPLAIN": TokenType.COMMAND,
 714        "GRANT": TokenType.COMMAND,
 715        "OPTIMIZE": TokenType.COMMAND,
 716        "PREPARE": TokenType.COMMAND,
 717        "TRUNCATE": TokenType.COMMAND,
 718        "VACUUM": TokenType.COMMAND,
 719    }
 720
 721    WHITE_SPACE: t.Dict[t.Optional[str], TokenType] = {
 722        " ": TokenType.SPACE,
 723        "\t": TokenType.SPACE,
 724        "\n": TokenType.BREAK,
 725        "\r": TokenType.BREAK,
 726        "\r\n": TokenType.BREAK,
 727    }
 728
 729    COMMANDS = {
 730        TokenType.COMMAND,
 731        TokenType.EXECUTE,
 732        TokenType.FETCH,
 733        TokenType.SHOW,
 734    }
 735
 736    COMMAND_PREFIX_TOKENS = {TokenType.SEMICOLON, TokenType.BEGIN}
 737
 738    # handle numeric literals like in hive (3L = BIGINT)
 739    NUMERIC_LITERALS: t.Dict[str, str] = {}
 740    ENCODE: t.Optional[str] = None
 741
 742    COMMENTS = ["--", ("/*", "*/"), ("{#", "#}")]
 743    KEYWORD_TRIE = None  # autofilled
 744
 745    IDENTIFIER_CAN_START_WITH_DIGIT = False
 746
 747    __slots__ = (
 748        "sql",
 749        "size",
 750        "tokens",
 751        "_start",
 752        "_current",
 753        "_line",
 754        "_col",
 755        "_comments",
 756        "_char",
 757        "_end",
 758        "_peek",
 759        "_prev_token_line",
 760        "_prev_token_comments",
 761        "_prev_token_type",
 762    )
 763
 764    def __init__(self) -> None:
 765        self.reset()
 766
 767    def reset(self) -> None:
 768        self.sql = ""
 769        self.size = 0
 770        self.tokens: t.List[Token] = []
 771        self._start = 0
 772        self._current = 0
 773        self._line = 1
 774        self._col = 1
 775        self._comments: t.List[str] = []
 776
 777        self._char = None
 778        self._end = None
 779        self._peek = None
 780        self._prev_token_line = -1
 781        self._prev_token_comments: t.List[str] = []
 782        self._prev_token_type = None
 783
 784    def tokenize(self, sql: str) -> t.List[Token]:
 785        """Returns a list of tokens corresponding to the SQL string `sql`."""
 786        self.reset()
 787        self.sql = sql
 788        self.size = len(sql)
 789        self._scan()
 790        return self.tokens
 791
 792    def _scan(self, until: t.Optional[t.Callable] = None) -> None:
 793        while self.size and not self._end:
 794            self._start = self._current
 795            self._advance()
 796
 797            if self._char is None:
 798                break
 799
 800            if self._char not in self.WHITE_SPACE:
 801                if self._char.isdigit():
 802                    self._scan_number()
 803                elif self._char in self._IDENTIFIERS:
 804                    self._scan_identifier(self._IDENTIFIERS[self._char])
 805                else:
 806                    self._scan_keywords()
 807
 808            if until and until():
 809                break
 810
 811    def _chars(self, size: int) -> str:
 812        if size == 1:
 813            return self._char  # type: ignore
 814        start = self._current - 1
 815        end = start + size
 816        if end <= self.size:
 817            return self.sql[start:end]
 818        return ""
 819
 820    def _advance(self, i: int = 1) -> None:
 821        if self.WHITE_SPACE.get(self._char) is TokenType.BREAK:
 822            self._set_new_line()
 823
 824        self._col += i
 825        self._current += i
 826        self._end = self._current >= self.size  # type: ignore
 827        self._char = self.sql[self._current - 1]  # type: ignore
 828        self._peek = self.sql[self._current] if self._current < self.size else ""  # type: ignore
 829
 830    def _set_new_line(self) -> None:
 831        self._col = 1
 832        self._line += 1
 833
 834    @property
 835    def _text(self) -> str:
 836        return self.sql[self._start : self._current]
 837
 838    def _add(self, token_type: TokenType, text: t.Optional[str] = None) -> None:
 839        self._prev_token_line = self._line
 840        self._prev_token_comments = self._comments
 841        self._prev_token_type = token_type  # type: ignore
 842        self.tokens.append(
 843            Token(
 844                token_type,
 845                self._text if text is None else text,
 846                self._line,
 847                self._col,
 848                self._comments,
 849            )
 850        )
 851        self._comments = []
 852
 853        # If we have either a semicolon or a begin token before the command's token, we'll parse
 854        # whatever follows the command's token as a string
 855        if (
 856            token_type in self.COMMANDS
 857            and self._peek != ";"
 858            and (len(self.tokens) == 1 or self.tokens[-2].token_type in self.COMMAND_PREFIX_TOKENS)
 859        ):
 860            start = self._current
 861            tokens = len(self.tokens)
 862            self._scan(lambda: self._peek == ";")
 863            self.tokens = self.tokens[:tokens]
 864            text = self.sql[start : self._current].strip()
 865            if text:
 866                self._add(TokenType.STRING, text)
 867
 868    def _scan_keywords(self) -> None:
 869        size = 0
 870        word = None
 871        chars = self._text
 872        char = chars
 873        prev_space = False
 874        skip = False
 875        trie = self.KEYWORD_TRIE
 876        single_token = char in self.SINGLE_TOKENS
 877
 878        while chars:
 879            if skip:
 880                result = 1
 881            else:
 882                result, trie = in_trie(trie, char.upper())  # type: ignore
 883
 884            if result == 0:
 885                break
 886            if result == 2:
 887                word = chars
 888            size += 1
 889            end = self._current - 1 + size
 890
 891            if end < self.size:
 892                char = self.sql[end]
 893                single_token = single_token or char in self.SINGLE_TOKENS
 894                is_space = char in self.WHITE_SPACE
 895
 896                if not is_space or not prev_space:
 897                    if is_space:
 898                        char = " "
 899                    chars += char
 900                    prev_space = is_space
 901                    skip = False
 902                else:
 903                    skip = True
 904            else:
 905                chars = " "
 906
 907        word = None if not single_token and chars[-1] not in self.WHITE_SPACE else word
 908
 909        if not word:
 910            if self._char in self.SINGLE_TOKENS:
 911                self._add(self.SINGLE_TOKENS[self._char])  # type: ignore
 912                return
 913            self._scan_var()
 914            return
 915
 916        if self._scan_string(word):
 917            return
 918        if self._scan_formatted_string(word):
 919            return
 920        if self._scan_comment(word):
 921            return
 922
 923        self._advance(size - 1)
 924        self._add(self.KEYWORDS[word.upper()])
 925
 926    def _scan_comment(self, comment_start: str) -> bool:
 927        if comment_start not in self._COMMENTS:  # type: ignore
 928            return False
 929
 930        comment_start_line = self._line
 931        comment_start_size = len(comment_start)
 932        comment_end = self._COMMENTS[comment_start]  # type: ignore
 933
 934        if comment_end:
 935            comment_end_size = len(comment_end)
 936
 937            while not self._end and self._chars(comment_end_size) != comment_end:
 938                self._advance()
 939
 940            self._comments.append(self._text[comment_start_size : -comment_end_size + 1])  # type: ignore
 941            self._advance(comment_end_size - 1)
 942        else:
 943            while not self._end and not self.WHITE_SPACE.get(self._peek) is TokenType.BREAK:
 944                self._advance()
 945            self._comments.append(self._text[comment_start_size:])  # type: ignore
 946
 947        # Leading comment is attached to the succeeding token, whilst trailing comment to the preceding.
 948        # Multiple consecutive comments are preserved by appending them to the current comments list.
 949        if comment_start_line == self._prev_token_line:
 950            self.tokens[-1].comments.extend(self._comments)
 951            self._comments = []
 952            self._prev_token_line = self._line
 953
 954        return True
 955
 956    def _scan_number(self) -> None:
 957        if self._char == "0":
 958            peek = self._peek.upper()  # type: ignore
 959            if peek == "B":
 960                return self._scan_bits()
 961            elif peek == "X":
 962                return self._scan_hex()
 963
 964        decimal = False
 965        scientific = 0
 966
 967        while True:
 968            if self._peek.isdigit():  # type: ignore
 969                self._advance()
 970            elif self._peek == "." and not decimal:
 971                decimal = True
 972                self._advance()
 973            elif self._peek in ("-", "+") and scientific == 1:
 974                scientific += 1
 975                self._advance()
 976            elif self._peek.upper() == "E" and not scientific:  # type: ignore
 977                scientific += 1
 978                self._advance()
 979            elif self._peek.isidentifier():  # type: ignore
 980                number_text = self._text
 981                literal = []
 982
 983                while self._peek.strip() and self._peek not in self.SINGLE_TOKENS:  # type: ignore
 984                    literal.append(self._peek.upper())  # type: ignore
 985                    self._advance()
 986
 987                literal = "".join(literal)  # type: ignore
 988                token_type = self.KEYWORDS.get(self.NUMERIC_LITERALS.get(literal))  # type: ignore
 989
 990                if token_type:
 991                    self._add(TokenType.NUMBER, number_text)
 992                    self._add(TokenType.DCOLON, "::")
 993                    return self._add(token_type, literal)  # type: ignore
 994                elif self.IDENTIFIER_CAN_START_WITH_DIGIT:
 995                    return self._add(TokenType.VAR)
 996
 997                self._add(TokenType.NUMBER, number_text)
 998                return self._advance(-len(literal))
 999            else:
1000                return self._add(TokenType.NUMBER)
1001
1002    def _scan_bits(self) -> None:
1003        self._advance()
1004        value = self._extract_value()
1005        try:
1006            self._add(TokenType.BIT_STRING, f"{int(value, 2)}")
1007        except ValueError:
1008            self._add(TokenType.IDENTIFIER)
1009
1010    def _scan_hex(self) -> None:
1011        self._advance()
1012        value = self._extract_value()
1013        try:
1014            self._add(TokenType.HEX_STRING, f"{int(value, 16)}")
1015        except ValueError:
1016            self._add(TokenType.IDENTIFIER)
1017
1018    def _extract_value(self) -> str:
1019        while True:
1020            char = self._peek.strip()  # type: ignore
1021            if char and char not in self.SINGLE_TOKENS:
1022                self._advance()
1023            else:
1024                break
1025
1026        return self._text
1027
1028    def _scan_string(self, quote: str) -> bool:
1029        quote_end = self._QUOTES.get(quote)  # type: ignore
1030        if quote_end is None:
1031            return False
1032
1033        self._advance(len(quote))
1034        text = self._extract_string(quote_end)
1035        text = text.encode(self.ENCODE).decode(self.ENCODE) if self.ENCODE else text  # type: ignore
1036        self._add(TokenType.NATIONAL if quote[0].upper() == "N" else TokenType.STRING, text)
1037        return True
1038
1039    # X'1234, b'0110', E'\\\\\' etc.
1040    def _scan_formatted_string(self, string_start: str) -> bool:
1041        if string_start in self._HEX_STRINGS:  # type: ignore
1042            delimiters = self._HEX_STRINGS  # type: ignore
1043            token_type = TokenType.HEX_STRING
1044            base = 16
1045        elif string_start in self._BIT_STRINGS:  # type: ignore
1046            delimiters = self._BIT_STRINGS  # type: ignore
1047            token_type = TokenType.BIT_STRING
1048            base = 2
1049        elif string_start in self._BYTE_STRINGS:  # type: ignore
1050            delimiters = self._BYTE_STRINGS  # type: ignore
1051            token_type = TokenType.BYTE_STRING
1052            base = None
1053        else:
1054            return False
1055
1056        self._advance(len(string_start))
1057        string_end = delimiters.get(string_start)
1058        text = self._extract_string(string_end)
1059
1060        if base is None:
1061            self._add(token_type, text)
1062        else:
1063            try:
1064                self._add(token_type, f"{int(text, base)}")
1065            except:
1066                raise RuntimeError(
1067                    f"Numeric string contains invalid characters from {self._line}:{self._start}"
1068                )
1069
1070        return True
1071
1072    def _scan_identifier(self, identifier_end: str) -> None:
1073        text = ""
1074        identifier_end_is_escape = identifier_end in self._IDENTIFIER_ESCAPES
1075
1076        while True:
1077            if self._end:
1078                raise RuntimeError(f"Missing {identifier_end} from {self._line}:{self._start}")
1079
1080            self._advance()
1081            if self._char == identifier_end:
1082                if identifier_end_is_escape and self._peek == identifier_end:
1083                    text += identifier_end  # type: ignore
1084                    self._advance()
1085                    continue
1086
1087                break
1088
1089            text += self._char  # type: ignore
1090
1091        self._add(TokenType.IDENTIFIER, text)
1092
1093    def _scan_var(self) -> None:
1094        while True:
1095            char = self._peek.strip()  # type: ignore
1096            if char and char not in self.SINGLE_TOKENS:
1097                self._advance()
1098            else:
1099                break
1100        self._add(
1101            TokenType.VAR
1102            if self._prev_token_type == TokenType.PARAMETER
1103            else self.KEYWORDS.get(self._text.upper(), TokenType.VAR)
1104        )
1105
1106    def _extract_string(self, delimiter: str) -> str:
1107        text = ""
1108        delim_size = len(delimiter)
1109
1110        while True:
1111            if self._char in self._STRING_ESCAPES and (
1112                self._peek == delimiter or self._peek in self._STRING_ESCAPES
1113            ):
1114                if self._peek == delimiter:
1115                    text += self._peek  # type: ignore
1116                else:
1117                    text += self._char + self._peek  # type: ignore
1118
1119                if self._current + 1 < self.size:
1120                    self._advance(2)
1121                else:
1122                    raise RuntimeError(f"Missing {delimiter} from {self._line}:{self._current}")
1123            else:
1124                if self._chars(delim_size) == delimiter:
1125                    if delim_size > 1:
1126                        self._advance(delim_size - 1)
1127                    break
1128
1129                if self._end:
1130                    raise RuntimeError(f"Missing {delimiter} from {self._line}:{self._start}")
1131                text += self._char  # type: ignore
1132                self._advance()
1133
1134        return text