2025-02-13 06:15:54 +01:00
|
|
|
from enum import auto
|
|
|
|
|
|
|
|
from sqlglot.helper import AutoName
|
|
|
|
from sqlglot.trie import in_trie, new_trie
|
|
|
|
|
|
|
|
|
|
|
|
class TokenType(AutoName):
|
|
|
|
L_PAREN = auto()
|
|
|
|
R_PAREN = auto()
|
|
|
|
L_BRACKET = auto()
|
|
|
|
R_BRACKET = auto()
|
|
|
|
L_BRACE = auto()
|
|
|
|
R_BRACE = auto()
|
|
|
|
COMMA = auto()
|
|
|
|
DOT = auto()
|
|
|
|
DASH = auto()
|
|
|
|
PLUS = auto()
|
|
|
|
COLON = auto()
|
|
|
|
DCOLON = auto()
|
|
|
|
SEMICOLON = auto()
|
|
|
|
STAR = auto()
|
|
|
|
SLASH = auto()
|
|
|
|
LT = auto()
|
|
|
|
LTE = auto()
|
|
|
|
GT = auto()
|
|
|
|
GTE = auto()
|
|
|
|
NOT = auto()
|
|
|
|
EQ = auto()
|
|
|
|
NEQ = auto()
|
|
|
|
AND = auto()
|
|
|
|
OR = auto()
|
|
|
|
AMP = auto()
|
|
|
|
DPIPE = auto()
|
|
|
|
PIPE = auto()
|
|
|
|
CARET = auto()
|
|
|
|
TILDA = auto()
|
|
|
|
ARROW = auto()
|
|
|
|
DARROW = auto()
|
|
|
|
HASH_ARROW = auto()
|
|
|
|
DHASH_ARROW = auto()
|
2025-02-13 07:47:22 +01:00
|
|
|
LR_ARROW = auto()
|
2025-02-13 06:15:54 +01:00
|
|
|
ANNOTATION = auto()
|
|
|
|
DOLLAR = auto()
|
2025-02-13 14:30:50 +01:00
|
|
|
PARAMETER = auto()
|
2025-02-13 06:15:54 +01:00
|
|
|
|
|
|
|
SPACE = auto()
|
|
|
|
BREAK = auto()
|
|
|
|
|
|
|
|
STRING = auto()
|
|
|
|
NUMBER = auto()
|
|
|
|
IDENTIFIER = auto()
|
|
|
|
COLUMN = auto()
|
|
|
|
COLUMN_DEF = auto()
|
|
|
|
SCHEMA = auto()
|
|
|
|
TABLE = auto()
|
|
|
|
VAR = auto()
|
|
|
|
BIT_STRING = auto()
|
2025-02-13 07:47:22 +01:00
|
|
|
HEX_STRING = auto()
|
2025-02-13 06:15:54 +01:00
|
|
|
|
|
|
|
# types
|
|
|
|
BOOLEAN = auto()
|
|
|
|
TINYINT = auto()
|
|
|
|
SMALLINT = auto()
|
|
|
|
INT = auto()
|
|
|
|
BIGINT = auto()
|
|
|
|
FLOAT = auto()
|
|
|
|
DOUBLE = auto()
|
|
|
|
DECIMAL = auto()
|
|
|
|
CHAR = auto()
|
|
|
|
NCHAR = auto()
|
|
|
|
VARCHAR = auto()
|
|
|
|
NVARCHAR = auto()
|
|
|
|
TEXT = auto()
|
|
|
|
BINARY = auto()
|
|
|
|
BYTEA = auto()
|
|
|
|
JSON = auto()
|
|
|
|
TIMESTAMP = auto()
|
|
|
|
TIMESTAMPTZ = auto()
|
2025-02-13 14:30:50 +01:00
|
|
|
TIMESTAMPLTZ = auto()
|
2025-02-13 06:15:54 +01:00
|
|
|
DATETIME = auto()
|
|
|
|
DATE = auto()
|
|
|
|
UUID = auto()
|
|
|
|
GEOGRAPHY = auto()
|
|
|
|
NULLABLE = auto()
|
2025-02-13 07:47:22 +01:00
|
|
|
GEOMETRY = auto()
|
|
|
|
HLLSKETCH = auto()
|
|
|
|
SUPER = auto()
|
|
|
|
SERIAL = auto()
|
|
|
|
SMALLSERIAL = auto()
|
|
|
|
BIGSERIAL = auto()
|
2025-02-13 14:30:50 +01:00
|
|
|
XML = auto()
|
|
|
|
UNIQUEIDENTIFIER = auto()
|
|
|
|
MONEY = auto()
|
|
|
|
SMALLMONEY = auto()
|
|
|
|
ROWVERSION = auto()
|
|
|
|
IMAGE = auto()
|
2025-02-13 14:37:25 +01:00
|
|
|
VARIANT = auto()
|
|
|
|
OBJECT = auto()
|
2025-02-13 06:15:54 +01:00
|
|
|
|
|
|
|
# keywords
|
|
|
|
ADD_FILE = auto()
|
|
|
|
ALIAS = auto()
|
2025-02-13 07:47:22 +01:00
|
|
|
ALWAYS = auto()
|
2025-02-13 06:15:54 +01:00
|
|
|
ALL = auto()
|
|
|
|
ALTER = auto()
|
|
|
|
ANALYZE = auto()
|
2025-02-13 14:44:19 +01:00
|
|
|
ANTI = auto()
|
2025-02-13 06:15:54 +01:00
|
|
|
ANY = auto()
|
|
|
|
ARRAY = auto()
|
|
|
|
ASC = auto()
|
|
|
|
AT_TIME_ZONE = auto()
|
|
|
|
AUTO_INCREMENT = auto()
|
|
|
|
BEGIN = auto()
|
|
|
|
BETWEEN = auto()
|
2025-02-13 07:47:22 +01:00
|
|
|
BOTH = auto()
|
2025-02-13 06:15:54 +01:00
|
|
|
BUCKET = auto()
|
2025-02-13 07:47:22 +01:00
|
|
|
BY_DEFAULT = auto()
|
2025-02-13 06:15:54 +01:00
|
|
|
CACHE = auto()
|
|
|
|
CALL = auto()
|
|
|
|
CASE = auto()
|
|
|
|
CHARACTER_SET = auto()
|
|
|
|
CHECK = auto()
|
|
|
|
CLUSTER_BY = auto()
|
|
|
|
COLLATE = auto()
|
|
|
|
COMMENT = auto()
|
2025-02-13 14:46:14 +01:00
|
|
|
COMMENT_ON = auto()
|
2025-02-13 06:15:54 +01:00
|
|
|
COMMIT = auto()
|
|
|
|
CONSTRAINT = auto()
|
|
|
|
CREATE = auto()
|
|
|
|
CROSS = auto()
|
|
|
|
CUBE = auto()
|
|
|
|
CURRENT_DATE = auto()
|
|
|
|
CURRENT_DATETIME = auto()
|
|
|
|
CURRENT_ROW = auto()
|
|
|
|
CURRENT_TIME = auto()
|
|
|
|
CURRENT_TIMESTAMP = auto()
|
|
|
|
DEFAULT = auto()
|
|
|
|
DELETE = auto()
|
|
|
|
DESC = auto()
|
2025-02-13 14:46:14 +01:00
|
|
|
DESCRIBE = auto()
|
2025-02-13 14:42:49 +01:00
|
|
|
DETERMINISTIC = auto()
|
2025-02-13 06:15:54 +01:00
|
|
|
DISTINCT = auto()
|
|
|
|
DISTRIBUTE_BY = auto()
|
2025-02-13 14:46:14 +01:00
|
|
|
DIV = auto()
|
2025-02-13 06:15:54 +01:00
|
|
|
DROP = auto()
|
|
|
|
ELSE = auto()
|
|
|
|
END = auto()
|
|
|
|
ENGINE = auto()
|
|
|
|
ESCAPE = auto()
|
|
|
|
EXCEPT = auto()
|
2025-02-13 14:42:49 +01:00
|
|
|
EXECUTE = auto()
|
2025-02-13 06:15:54 +01:00
|
|
|
EXISTS = auto()
|
|
|
|
EXPLAIN = auto()
|
|
|
|
FALSE = auto()
|
|
|
|
FETCH = auto()
|
|
|
|
FILTER = auto()
|
|
|
|
FINAL = auto()
|
|
|
|
FIRST = auto()
|
|
|
|
FOLLOWING = auto()
|
2025-02-13 07:47:22 +01:00
|
|
|
FOR = auto()
|
2025-02-13 06:15:54 +01:00
|
|
|
FOREIGN_KEY = auto()
|
|
|
|
FORMAT = auto()
|
|
|
|
FULL = auto()
|
|
|
|
FUNCTION = auto()
|
|
|
|
FROM = auto()
|
2025-02-13 07:47:22 +01:00
|
|
|
GENERATED = auto()
|
2025-02-13 06:15:54 +01:00
|
|
|
GROUP_BY = auto()
|
|
|
|
GROUPING_SETS = auto()
|
|
|
|
HAVING = auto()
|
|
|
|
HINT = auto()
|
2025-02-13 07:47:22 +01:00
|
|
|
IDENTITY = auto()
|
2025-02-13 06:15:54 +01:00
|
|
|
IF = auto()
|
|
|
|
IGNORE_NULLS = auto()
|
|
|
|
ILIKE = auto()
|
2025-02-13 14:42:49 +01:00
|
|
|
IMMUTABLE = auto()
|
2025-02-13 06:15:54 +01:00
|
|
|
IN = auto()
|
|
|
|
INDEX = auto()
|
|
|
|
INNER = auto()
|
|
|
|
INSERT = auto()
|
|
|
|
INTERSECT = auto()
|
|
|
|
INTERVAL = auto()
|
|
|
|
INTO = auto()
|
|
|
|
INTRODUCER = auto()
|
|
|
|
IS = auto()
|
|
|
|
ISNULL = auto()
|
|
|
|
JOIN = auto()
|
2025-02-13 14:37:25 +01:00
|
|
|
LANGUAGE = auto()
|
2025-02-13 06:15:54 +01:00
|
|
|
LATERAL = auto()
|
|
|
|
LAZY = auto()
|
2025-02-13 07:47:22 +01:00
|
|
|
LEADING = auto()
|
2025-02-13 06:15:54 +01:00
|
|
|
LEFT = auto()
|
|
|
|
LIKE = auto()
|
|
|
|
LIMIT = auto()
|
2025-02-13 14:46:14 +01:00
|
|
|
LOAD_DATA = auto()
|
|
|
|
LOCAL = auto()
|
2025-02-13 06:15:54 +01:00
|
|
|
LOCATION = auto()
|
|
|
|
MAP = auto()
|
2025-02-13 14:37:25 +01:00
|
|
|
MATERIALIZED = auto()
|
2025-02-13 06:15:54 +01:00
|
|
|
MOD = auto()
|
2025-02-13 07:47:22 +01:00
|
|
|
NATURAL = auto()
|
2025-02-13 06:15:54 +01:00
|
|
|
NEXT = auto()
|
|
|
|
NO_ACTION = auto()
|
2025-02-13 14:46:14 +01:00
|
|
|
NOTNULL = auto()
|
2025-02-13 06:15:54 +01:00
|
|
|
NULL = auto()
|
|
|
|
NULLS_FIRST = auto()
|
|
|
|
NULLS_LAST = auto()
|
|
|
|
OFFSET = auto()
|
|
|
|
ON = auto()
|
|
|
|
ONLY = auto()
|
|
|
|
OPTIMIZE = auto()
|
|
|
|
OPTIONS = auto()
|
|
|
|
ORDER_BY = auto()
|
|
|
|
ORDERED = auto()
|
|
|
|
ORDINALITY = auto()
|
|
|
|
OUTER = auto()
|
|
|
|
OUT_OF = auto()
|
|
|
|
OVER = auto()
|
|
|
|
OVERWRITE = auto()
|
|
|
|
PARTITION = auto()
|
|
|
|
PARTITION_BY = auto()
|
|
|
|
PARTITIONED_BY = auto()
|
|
|
|
PERCENT = auto()
|
2025-02-13 14:37:25 +01:00
|
|
|
PIVOT = auto()
|
2025-02-13 06:15:54 +01:00
|
|
|
PLACEHOLDER = auto()
|
|
|
|
PRECEDING = auto()
|
|
|
|
PRIMARY_KEY = auto()
|
2025-02-13 14:42:49 +01:00
|
|
|
PROCEDURE = auto()
|
2025-02-13 06:15:54 +01:00
|
|
|
PROPERTIES = auto()
|
|
|
|
QUALIFY = auto()
|
|
|
|
QUOTE = auto()
|
|
|
|
RANGE = auto()
|
|
|
|
RECURSIVE = auto()
|
|
|
|
REPLACE = auto()
|
|
|
|
RESPECT_NULLS = auto()
|
|
|
|
REFERENCES = auto()
|
2025-02-13 14:37:25 +01:00
|
|
|
RETURNS = auto()
|
2025-02-13 06:15:54 +01:00
|
|
|
RIGHT = auto()
|
|
|
|
RLIKE = auto()
|
|
|
|
ROLLUP = auto()
|
|
|
|
ROW = auto()
|
|
|
|
ROWS = auto()
|
|
|
|
SCHEMA_COMMENT = auto()
|
2025-02-13 14:37:25 +01:00
|
|
|
SEED = auto()
|
2025-02-13 06:15:54 +01:00
|
|
|
SELECT = auto()
|
2025-02-13 14:44:19 +01:00
|
|
|
SEMI = auto()
|
2025-02-13 07:47:22 +01:00
|
|
|
SEPARATOR = auto()
|
2025-02-13 06:15:54 +01:00
|
|
|
SET = auto()
|
|
|
|
SHOW = auto()
|
2025-02-13 07:47:22 +01:00
|
|
|
SIMILAR_TO = auto()
|
2025-02-13 06:15:54 +01:00
|
|
|
SOME = auto()
|
|
|
|
SORT_BY = auto()
|
2025-02-13 14:42:49 +01:00
|
|
|
STABLE = auto()
|
2025-02-13 06:15:54 +01:00
|
|
|
STORED = auto()
|
|
|
|
STRUCT = auto()
|
|
|
|
TABLE_FORMAT = auto()
|
|
|
|
TABLE_SAMPLE = auto()
|
|
|
|
TEMPORARY = auto()
|
|
|
|
TOP = auto()
|
|
|
|
THEN = auto()
|
|
|
|
TRUE = auto()
|
2025-02-13 07:47:22 +01:00
|
|
|
TRAILING = auto()
|
2025-02-13 06:15:54 +01:00
|
|
|
TRUNCATE = auto()
|
|
|
|
UNBOUNDED = auto()
|
|
|
|
UNCACHE = auto()
|
|
|
|
UNION = auto()
|
|
|
|
UNNEST = auto()
|
2025-02-13 14:37:25 +01:00
|
|
|
UNPIVOT = auto()
|
2025-02-13 06:15:54 +01:00
|
|
|
UPDATE = auto()
|
|
|
|
USE = auto()
|
|
|
|
USING = auto()
|
|
|
|
VALUES = auto()
|
2025-02-13 14:44:19 +01:00
|
|
|
VACUUM = auto()
|
2025-02-13 06:15:54 +01:00
|
|
|
VIEW = auto()
|
2025-02-13 14:42:49 +01:00
|
|
|
VOLATILE = auto()
|
2025-02-13 06:15:54 +01:00
|
|
|
WHEN = auto()
|
|
|
|
WHERE = auto()
|
|
|
|
WINDOW = auto()
|
|
|
|
WITH = auto()
|
|
|
|
WITH_TIME_ZONE = auto()
|
2025-02-13 14:30:50 +01:00
|
|
|
WITH_LOCAL_TIME_ZONE = auto()
|
2025-02-13 06:15:54 +01:00
|
|
|
WITHIN_GROUP = auto()
|
|
|
|
WITHOUT_TIME_ZONE = auto()
|
|
|
|
UNIQUE = auto()
|
|
|
|
|
|
|
|
|
|
|
|
class Token:
|
|
|
|
__slots__ = ("token_type", "text", "line", "col")
|
|
|
|
|
|
|
|
@classmethod
|
|
|
|
def number(cls, number):
|
|
|
|
return cls(TokenType.NUMBER, str(number))
|
|
|
|
|
|
|
|
@classmethod
|
|
|
|
def string(cls, string):
|
|
|
|
return cls(TokenType.STRING, string)
|
|
|
|
|
|
|
|
@classmethod
|
|
|
|
def identifier(cls, identifier):
|
|
|
|
return cls(TokenType.IDENTIFIER, identifier)
|
|
|
|
|
|
|
|
@classmethod
|
|
|
|
def var(cls, var):
|
|
|
|
return cls(TokenType.VAR, var)
|
|
|
|
|
|
|
|
def __init__(self, token_type, text, line=1, col=1):
|
|
|
|
self.token_type = token_type
|
|
|
|
self.text = text
|
|
|
|
self.line = line
|
|
|
|
self.col = max(col - len(text), 1)
|
|
|
|
|
|
|
|
def __repr__(self):
|
|
|
|
attributes = ", ".join(f"{k}: {getattr(self, k)}" for k in self.__slots__)
|
|
|
|
return f"<Token {attributes}>"
|
|
|
|
|
|
|
|
|
|
|
|
class _Tokenizer(type):
|
|
|
|
def __new__(cls, clsname, bases, attrs):
|
|
|
|
klass = super().__new__(cls, clsname, bases, attrs)
|
|
|
|
|
2025-02-13 07:47:22 +01:00
|
|
|
klass._QUOTES = cls._delimeter_list_to_dict(klass.QUOTES)
|
|
|
|
klass._BIT_STRINGS = cls._delimeter_list_to_dict(klass.BIT_STRINGS)
|
|
|
|
klass._HEX_STRINGS = cls._delimeter_list_to_dict(klass.HEX_STRINGS)
|
|
|
|
klass._IDENTIFIERS = cls._delimeter_list_to_dict(klass.IDENTIFIERS)
|
|
|
|
klass._COMMENTS = dict(
|
|
|
|
(comment, None) if isinstance(comment, str) else (comment[0], comment[1]) for comment in klass.COMMENTS
|
2025-02-13 06:15:54 +01:00
|
|
|
)
|
|
|
|
|
|
|
|
klass.KEYWORD_TRIE = new_trie(
|
|
|
|
key.upper()
|
|
|
|
for key, value in {
|
|
|
|
**klass.KEYWORDS,
|
2025-02-13 07:47:22 +01:00
|
|
|
**{comment: TokenType.COMMENT for comment in klass._COMMENTS},
|
|
|
|
**{quote: TokenType.QUOTE for quote in klass._QUOTES},
|
|
|
|
**{bit_string: TokenType.BIT_STRING for bit_string in klass._BIT_STRINGS},
|
|
|
|
**{hex_string: TokenType.HEX_STRING for hex_string in klass._HEX_STRINGS},
|
2025-02-13 06:15:54 +01:00
|
|
|
}.items()
|
|
|
|
if " " in key or any(single in key for single in klass.SINGLE_TOKENS)
|
|
|
|
)
|
|
|
|
|
|
|
|
return klass
|
|
|
|
|
2025-02-13 07:47:22 +01:00
|
|
|
@staticmethod
|
|
|
|
def _delimeter_list_to_dict(list):
|
|
|
|
return dict((item, item) if isinstance(item, str) else (item[0], item[1]) for item in list)
|
|
|
|
|
2025-02-13 06:15:54 +01:00
|
|
|
|
|
|
|
class Tokenizer(metaclass=_Tokenizer):
|
|
|
|
SINGLE_TOKENS = {
|
|
|
|
"(": TokenType.L_PAREN,
|
|
|
|
")": TokenType.R_PAREN,
|
|
|
|
"[": TokenType.L_BRACKET,
|
|
|
|
"]": TokenType.R_BRACKET,
|
|
|
|
"{": TokenType.L_BRACE,
|
|
|
|
"}": TokenType.R_BRACE,
|
|
|
|
"&": TokenType.AMP,
|
|
|
|
"^": TokenType.CARET,
|
|
|
|
":": TokenType.COLON,
|
|
|
|
",": TokenType.COMMA,
|
|
|
|
".": TokenType.DOT,
|
|
|
|
"-": TokenType.DASH,
|
|
|
|
"=": TokenType.EQ,
|
|
|
|
">": TokenType.GT,
|
|
|
|
"<": TokenType.LT,
|
|
|
|
"%": TokenType.MOD,
|
|
|
|
"!": TokenType.NOT,
|
|
|
|
"|": TokenType.PIPE,
|
|
|
|
"+": TokenType.PLUS,
|
|
|
|
";": TokenType.SEMICOLON,
|
|
|
|
"/": TokenType.SLASH,
|
|
|
|
"*": TokenType.STAR,
|
|
|
|
"~": TokenType.TILDA,
|
|
|
|
"?": TokenType.PLACEHOLDER,
|
|
|
|
"#": TokenType.ANNOTATION,
|
2025-02-13 14:30:50 +01:00
|
|
|
"@": TokenType.PARAMETER,
|
2025-02-13 06:15:54 +01:00
|
|
|
# used for breaking a var like x'y' but nothing else
|
|
|
|
# the token type doesn't matter
|
|
|
|
"'": TokenType.QUOTE,
|
|
|
|
"`": TokenType.IDENTIFIER,
|
|
|
|
'"': TokenType.IDENTIFIER,
|
|
|
|
}
|
|
|
|
|
|
|
|
QUOTES = ["'"]
|
|
|
|
|
2025-02-13 07:47:22 +01:00
|
|
|
BIT_STRINGS = []
|
|
|
|
|
|
|
|
HEX_STRINGS = []
|
|
|
|
|
2025-02-13 06:15:54 +01:00
|
|
|
IDENTIFIERS = ['"']
|
|
|
|
|
|
|
|
ESCAPE = "'"
|
|
|
|
|
|
|
|
KEYWORDS = {
|
|
|
|
"/*+": TokenType.HINT,
|
|
|
|
"*/": TokenType.HINT,
|
|
|
|
"==": TokenType.EQ,
|
|
|
|
"::": TokenType.DCOLON,
|
|
|
|
"||": TokenType.DPIPE,
|
|
|
|
">=": TokenType.GTE,
|
|
|
|
"<=": TokenType.LTE,
|
|
|
|
"<>": TokenType.NEQ,
|
|
|
|
"!=": TokenType.NEQ,
|
|
|
|
"->": TokenType.ARROW,
|
|
|
|
"->>": TokenType.DARROW,
|
|
|
|
"#>": TokenType.HASH_ARROW,
|
|
|
|
"#>>": TokenType.DHASH_ARROW,
|
2025-02-13 07:47:22 +01:00
|
|
|
"<->": TokenType.LR_ARROW,
|
2025-02-13 06:15:54 +01:00
|
|
|
"ADD ARCHIVE": TokenType.ADD_FILE,
|
|
|
|
"ADD ARCHIVES": TokenType.ADD_FILE,
|
|
|
|
"ADD FILE": TokenType.ADD_FILE,
|
|
|
|
"ADD FILES": TokenType.ADD_FILE,
|
|
|
|
"ADD JAR": TokenType.ADD_FILE,
|
|
|
|
"ADD JARS": TokenType.ADD_FILE,
|
|
|
|
"ALL": TokenType.ALL,
|
|
|
|
"ALTER": TokenType.ALTER,
|
|
|
|
"ANALYZE": TokenType.ANALYZE,
|
|
|
|
"AND": TokenType.AND,
|
2025-02-13 14:44:19 +01:00
|
|
|
"ANTI": TokenType.ANTI,
|
2025-02-13 06:15:54 +01:00
|
|
|
"ANY": TokenType.ANY,
|
|
|
|
"ASC": TokenType.ASC,
|
|
|
|
"AS": TokenType.ALIAS,
|
|
|
|
"AT TIME ZONE": TokenType.AT_TIME_ZONE,
|
|
|
|
"AUTO_INCREMENT": TokenType.AUTO_INCREMENT,
|
|
|
|
"BEGIN": TokenType.BEGIN,
|
|
|
|
"BETWEEN": TokenType.BETWEEN,
|
2025-02-13 07:47:22 +01:00
|
|
|
"BOTH": TokenType.BOTH,
|
2025-02-13 06:15:54 +01:00
|
|
|
"BUCKET": TokenType.BUCKET,
|
|
|
|
"CALL": TokenType.CALL,
|
|
|
|
"CACHE": TokenType.CACHE,
|
|
|
|
"UNCACHE": TokenType.UNCACHE,
|
|
|
|
"CASE": TokenType.CASE,
|
|
|
|
"CHARACTER SET": TokenType.CHARACTER_SET,
|
|
|
|
"CHECK": TokenType.CHECK,
|
|
|
|
"CLUSTER BY": TokenType.CLUSTER_BY,
|
|
|
|
"COLLATE": TokenType.COLLATE,
|
|
|
|
"COMMENT": TokenType.SCHEMA_COMMENT,
|
|
|
|
"COMMIT": TokenType.COMMIT,
|
|
|
|
"CONSTRAINT": TokenType.CONSTRAINT,
|
|
|
|
"CREATE": TokenType.CREATE,
|
|
|
|
"CROSS": TokenType.CROSS,
|
|
|
|
"CUBE": TokenType.CUBE,
|
|
|
|
"CURRENT_DATE": TokenType.CURRENT_DATE,
|
|
|
|
"CURRENT ROW": TokenType.CURRENT_ROW,
|
|
|
|
"CURRENT_TIMESTAMP": TokenType.CURRENT_TIMESTAMP,
|
|
|
|
"DEFAULT": TokenType.DEFAULT,
|
|
|
|
"DELETE": TokenType.DELETE,
|
|
|
|
"DESC": TokenType.DESC,
|
2025-02-13 14:46:14 +01:00
|
|
|
"DESCRIBE": TokenType.DESCRIBE,
|
2025-02-13 14:42:49 +01:00
|
|
|
"DETERMINISTIC": TokenType.DETERMINISTIC,
|
2025-02-13 06:15:54 +01:00
|
|
|
"DISTINCT": TokenType.DISTINCT,
|
|
|
|
"DISTRIBUTE BY": TokenType.DISTRIBUTE_BY,
|
2025-02-13 14:46:14 +01:00
|
|
|
"DIV": TokenType.DIV,
|
2025-02-13 06:15:54 +01:00
|
|
|
"DROP": TokenType.DROP,
|
|
|
|
"ELSE": TokenType.ELSE,
|
|
|
|
"END": TokenType.END,
|
|
|
|
"ENGINE": TokenType.ENGINE,
|
|
|
|
"ESCAPE": TokenType.ESCAPE,
|
|
|
|
"EXCEPT": TokenType.EXCEPT,
|
2025-02-13 14:42:49 +01:00
|
|
|
"EXECUTE": TokenType.EXECUTE,
|
2025-02-13 06:15:54 +01:00
|
|
|
"EXISTS": TokenType.EXISTS,
|
|
|
|
"EXPLAIN": TokenType.EXPLAIN,
|
|
|
|
"FALSE": TokenType.FALSE,
|
|
|
|
"FETCH": TokenType.FETCH,
|
|
|
|
"FILTER": TokenType.FILTER,
|
|
|
|
"FIRST": TokenType.FIRST,
|
|
|
|
"FULL": TokenType.FULL,
|
|
|
|
"FUNCTION": TokenType.FUNCTION,
|
|
|
|
"FOLLOWING": TokenType.FOLLOWING,
|
2025-02-13 14:37:25 +01:00
|
|
|
"FOR": TokenType.FOR,
|
2025-02-13 06:15:54 +01:00
|
|
|
"FOREIGN KEY": TokenType.FOREIGN_KEY,
|
|
|
|
"FORMAT": TokenType.FORMAT,
|
|
|
|
"FROM": TokenType.FROM,
|
|
|
|
"GROUP BY": TokenType.GROUP_BY,
|
|
|
|
"GROUPING SETS": TokenType.GROUPING_SETS,
|
|
|
|
"HAVING": TokenType.HAVING,
|
|
|
|
"IF": TokenType.IF,
|
|
|
|
"ILIKE": TokenType.ILIKE,
|
2025-02-13 14:42:49 +01:00
|
|
|
"IMMUTABLE": TokenType.IMMUTABLE,
|
2025-02-13 06:15:54 +01:00
|
|
|
"IGNORE NULLS": TokenType.IGNORE_NULLS,
|
|
|
|
"IN": TokenType.IN,
|
|
|
|
"INDEX": TokenType.INDEX,
|
|
|
|
"INNER": TokenType.INNER,
|
|
|
|
"INSERT": TokenType.INSERT,
|
|
|
|
"INTERVAL": TokenType.INTERVAL,
|
|
|
|
"INTERSECT": TokenType.INTERSECT,
|
|
|
|
"INTO": TokenType.INTO,
|
|
|
|
"IS": TokenType.IS,
|
|
|
|
"ISNULL": TokenType.ISNULL,
|
|
|
|
"JOIN": TokenType.JOIN,
|
2025-02-13 14:37:25 +01:00
|
|
|
"LANGUAGE": TokenType.LANGUAGE,
|
2025-02-13 06:15:54 +01:00
|
|
|
"LATERAL": TokenType.LATERAL,
|
|
|
|
"LAZY": TokenType.LAZY,
|
2025-02-13 07:47:22 +01:00
|
|
|
"LEADING": TokenType.LEADING,
|
2025-02-13 06:15:54 +01:00
|
|
|
"LEFT": TokenType.LEFT,
|
|
|
|
"LIKE": TokenType.LIKE,
|
|
|
|
"LIMIT": TokenType.LIMIT,
|
2025-02-13 14:46:14 +01:00
|
|
|
"LOAD DATA": TokenType.LOAD_DATA,
|
|
|
|
"LOCAL": TokenType.LOCAL,
|
2025-02-13 06:15:54 +01:00
|
|
|
"LOCATION": TokenType.LOCATION,
|
2025-02-13 14:37:25 +01:00
|
|
|
"MATERIALIZED": TokenType.MATERIALIZED,
|
2025-02-13 07:47:22 +01:00
|
|
|
"NATURAL": TokenType.NATURAL,
|
2025-02-13 06:15:54 +01:00
|
|
|
"NEXT": TokenType.NEXT,
|
|
|
|
"NO ACTION": TokenType.NO_ACTION,
|
|
|
|
"NOT": TokenType.NOT,
|
2025-02-13 14:46:14 +01:00
|
|
|
"NOTNULL": TokenType.NOTNULL,
|
2025-02-13 06:15:54 +01:00
|
|
|
"NULL": TokenType.NULL,
|
|
|
|
"NULLS FIRST": TokenType.NULLS_FIRST,
|
|
|
|
"NULLS LAST": TokenType.NULLS_LAST,
|
2025-02-13 14:37:25 +01:00
|
|
|
"OBJECT": TokenType.OBJECT,
|
2025-02-13 06:15:54 +01:00
|
|
|
"OFFSET": TokenType.OFFSET,
|
|
|
|
"ON": TokenType.ON,
|
|
|
|
"ONLY": TokenType.ONLY,
|
|
|
|
"OPTIMIZE": TokenType.OPTIMIZE,
|
|
|
|
"OPTIONS": TokenType.OPTIONS,
|
|
|
|
"OR": TokenType.OR,
|
|
|
|
"ORDER BY": TokenType.ORDER_BY,
|
|
|
|
"ORDINALITY": TokenType.ORDINALITY,
|
|
|
|
"OUTER": TokenType.OUTER,
|
|
|
|
"OUT OF": TokenType.OUT_OF,
|
|
|
|
"OVER": TokenType.OVER,
|
|
|
|
"OVERWRITE": TokenType.OVERWRITE,
|
|
|
|
"PARTITION": TokenType.PARTITION,
|
|
|
|
"PARTITION BY": TokenType.PARTITION_BY,
|
|
|
|
"PARTITIONED BY": TokenType.PARTITIONED_BY,
|
2025-02-13 14:37:25 +01:00
|
|
|
"PARTITIONED_BY": TokenType.PARTITIONED_BY,
|
2025-02-13 06:15:54 +01:00
|
|
|
"PERCENT": TokenType.PERCENT,
|
2025-02-13 14:37:25 +01:00
|
|
|
"PIVOT": TokenType.PIVOT,
|
2025-02-13 06:15:54 +01:00
|
|
|
"PRECEDING": TokenType.PRECEDING,
|
|
|
|
"PRIMARY KEY": TokenType.PRIMARY_KEY,
|
2025-02-13 14:42:49 +01:00
|
|
|
"PROCEDURE": TokenType.PROCEDURE,
|
2025-02-13 06:15:54 +01:00
|
|
|
"RANGE": TokenType.RANGE,
|
|
|
|
"RECURSIVE": TokenType.RECURSIVE,
|
|
|
|
"REGEXP": TokenType.RLIKE,
|
|
|
|
"REPLACE": TokenType.REPLACE,
|
|
|
|
"RESPECT NULLS": TokenType.RESPECT_NULLS,
|
|
|
|
"REFERENCES": TokenType.REFERENCES,
|
2025-02-13 14:37:25 +01:00
|
|
|
"RETURNS": TokenType.RETURNS,
|
2025-02-13 06:15:54 +01:00
|
|
|
"RIGHT": TokenType.RIGHT,
|
|
|
|
"RLIKE": TokenType.RLIKE,
|
|
|
|
"ROLLUP": TokenType.ROLLUP,
|
|
|
|
"ROW": TokenType.ROW,
|
|
|
|
"ROWS": TokenType.ROWS,
|
2025-02-13 14:46:14 +01:00
|
|
|
"SCHEMA": TokenType.SCHEMA,
|
2025-02-13 14:37:25 +01:00
|
|
|
"SEED": TokenType.SEED,
|
2025-02-13 06:15:54 +01:00
|
|
|
"SELECT": TokenType.SELECT,
|
2025-02-13 14:44:19 +01:00
|
|
|
"SEMI": TokenType.SEMI,
|
2025-02-13 06:15:54 +01:00
|
|
|
"SET": TokenType.SET,
|
|
|
|
"SHOW": TokenType.SHOW,
|
|
|
|
"SOME": TokenType.SOME,
|
|
|
|
"SORT BY": TokenType.SORT_BY,
|
2025-02-13 14:42:49 +01:00
|
|
|
"STABLE": TokenType.STABLE,
|
2025-02-13 06:15:54 +01:00
|
|
|
"STORED": TokenType.STORED,
|
|
|
|
"TABLE": TokenType.TABLE,
|
|
|
|
"TABLE_FORMAT": TokenType.TABLE_FORMAT,
|
|
|
|
"TBLPROPERTIES": TokenType.PROPERTIES,
|
|
|
|
"TABLESAMPLE": TokenType.TABLE_SAMPLE,
|
|
|
|
"TEMP": TokenType.TEMPORARY,
|
|
|
|
"TEMPORARY": TokenType.TEMPORARY,
|
|
|
|
"THEN": TokenType.THEN,
|
|
|
|
"TRUE": TokenType.TRUE,
|
2025-02-13 07:47:22 +01:00
|
|
|
"TRAILING": TokenType.TRAILING,
|
2025-02-13 06:15:54 +01:00
|
|
|
"TRUNCATE": TokenType.TRUNCATE,
|
|
|
|
"UNBOUNDED": TokenType.UNBOUNDED,
|
|
|
|
"UNION": TokenType.UNION,
|
2025-02-13 14:37:25 +01:00
|
|
|
"UNPIVOT": TokenType.UNPIVOT,
|
2025-02-13 06:15:54 +01:00
|
|
|
"UNNEST": TokenType.UNNEST,
|
|
|
|
"UPDATE": TokenType.UPDATE,
|
|
|
|
"USE": TokenType.USE,
|
|
|
|
"USING": TokenType.USING,
|
2025-02-13 14:44:19 +01:00
|
|
|
"VACUUM": TokenType.VACUUM,
|
2025-02-13 06:15:54 +01:00
|
|
|
"VALUES": TokenType.VALUES,
|
|
|
|
"VIEW": TokenType.VIEW,
|
2025-02-13 14:42:49 +01:00
|
|
|
"VOLATILE": TokenType.VOLATILE,
|
2025-02-13 06:15:54 +01:00
|
|
|
"WHEN": TokenType.WHEN,
|
|
|
|
"WHERE": TokenType.WHERE,
|
|
|
|
"WITH": TokenType.WITH,
|
|
|
|
"WITH TIME ZONE": TokenType.WITH_TIME_ZONE,
|
2025-02-13 14:30:50 +01:00
|
|
|
"WITH LOCAL TIME ZONE": TokenType.WITH_LOCAL_TIME_ZONE,
|
2025-02-13 06:15:54 +01:00
|
|
|
"WITHIN GROUP": TokenType.WITHIN_GROUP,
|
|
|
|
"WITHOUT TIME ZONE": TokenType.WITHOUT_TIME_ZONE,
|
|
|
|
"ARRAY": TokenType.ARRAY,
|
|
|
|
"BOOL": TokenType.BOOLEAN,
|
|
|
|
"BOOLEAN": TokenType.BOOLEAN,
|
|
|
|
"BYTE": TokenType.TINYINT,
|
|
|
|
"TINYINT": TokenType.TINYINT,
|
|
|
|
"SHORT": TokenType.SMALLINT,
|
|
|
|
"SMALLINT": TokenType.SMALLINT,
|
|
|
|
"INT2": TokenType.SMALLINT,
|
|
|
|
"INTEGER": TokenType.INT,
|
|
|
|
"INT": TokenType.INT,
|
|
|
|
"INT4": TokenType.INT,
|
|
|
|
"LONG": TokenType.BIGINT,
|
|
|
|
"BIGINT": TokenType.BIGINT,
|
|
|
|
"INT8": TokenType.BIGINT,
|
|
|
|
"DECIMAL": TokenType.DECIMAL,
|
|
|
|
"MAP": TokenType.MAP,
|
2025-02-13 14:44:19 +01:00
|
|
|
"NULLABLE": TokenType.NULLABLE,
|
2025-02-13 06:15:54 +01:00
|
|
|
"NUMBER": TokenType.DECIMAL,
|
|
|
|
"NUMERIC": TokenType.DECIMAL,
|
|
|
|
"FIXED": TokenType.DECIMAL,
|
|
|
|
"REAL": TokenType.FLOAT,
|
|
|
|
"FLOAT": TokenType.FLOAT,
|
|
|
|
"FLOAT4": TokenType.FLOAT,
|
|
|
|
"FLOAT8": TokenType.DOUBLE,
|
|
|
|
"DOUBLE": TokenType.DOUBLE,
|
|
|
|
"JSON": TokenType.JSON,
|
|
|
|
"CHAR": TokenType.CHAR,
|
|
|
|
"NCHAR": TokenType.NCHAR,
|
|
|
|
"VARCHAR": TokenType.VARCHAR,
|
|
|
|
"VARCHAR2": TokenType.VARCHAR,
|
|
|
|
"NVARCHAR": TokenType.NVARCHAR,
|
|
|
|
"NVARCHAR2": TokenType.NVARCHAR,
|
|
|
|
"STRING": TokenType.TEXT,
|
|
|
|
"TEXT": TokenType.TEXT,
|
|
|
|
"CLOB": TokenType.TEXT,
|
|
|
|
"BINARY": TokenType.BINARY,
|
|
|
|
"BLOB": TokenType.BINARY,
|
|
|
|
"BYTEA": TokenType.BINARY,
|
|
|
|
"TIMESTAMP": TokenType.TIMESTAMP,
|
|
|
|
"TIMESTAMPTZ": TokenType.TIMESTAMPTZ,
|
2025-02-13 14:30:50 +01:00
|
|
|
"TIMESTAMPLTZ": TokenType.TIMESTAMPLTZ,
|
2025-02-13 06:15:54 +01:00
|
|
|
"DATE": TokenType.DATE,
|
|
|
|
"DATETIME": TokenType.DATETIME,
|
|
|
|
"UNIQUE": TokenType.UNIQUE,
|
|
|
|
"STRUCT": TokenType.STRUCT,
|
2025-02-13 14:37:25 +01:00
|
|
|
"VARIANT": TokenType.VARIANT,
|
2025-02-13 06:15:54 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
WHITE_SPACE = {
|
|
|
|
" ": TokenType.SPACE,
|
|
|
|
"\t": TokenType.SPACE,
|
|
|
|
"\n": TokenType.BREAK,
|
|
|
|
"\r": TokenType.BREAK,
|
|
|
|
"\r\n": TokenType.BREAK,
|
|
|
|
}
|
|
|
|
|
|
|
|
COMMANDS = {
|
|
|
|
TokenType.ALTER,
|
|
|
|
TokenType.ADD_FILE,
|
|
|
|
TokenType.ANALYZE,
|
|
|
|
TokenType.BEGIN,
|
|
|
|
TokenType.CALL,
|
2025-02-13 14:46:14 +01:00
|
|
|
TokenType.COMMENT_ON,
|
2025-02-13 06:15:54 +01:00
|
|
|
TokenType.COMMIT,
|
|
|
|
TokenType.EXPLAIN,
|
|
|
|
TokenType.OPTIMIZE,
|
|
|
|
TokenType.SET,
|
|
|
|
TokenType.SHOW,
|
|
|
|
TokenType.TRUNCATE,
|
|
|
|
TokenType.USE,
|
2025-02-13 14:44:19 +01:00
|
|
|
TokenType.VACUUM,
|
2025-02-13 06:15:54 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
# handle numeric literals like in hive (3L = BIGINT)
|
|
|
|
NUMERIC_LITERALS = {}
|
|
|
|
ENCODE = None
|
|
|
|
|
|
|
|
COMMENTS = ["--", ("/*", "*/")]
|
|
|
|
KEYWORD_TRIE = None # autofilled
|
|
|
|
|
|
|
|
__slots__ = (
|
|
|
|
"sql",
|
|
|
|
"size",
|
|
|
|
"tokens",
|
|
|
|
"_start",
|
|
|
|
"_current",
|
|
|
|
"_line",
|
|
|
|
"_col",
|
|
|
|
"_char",
|
|
|
|
"_end",
|
|
|
|
"_peek",
|
2025-02-13 14:42:49 +01:00
|
|
|
"_prev_token_type",
|
2025-02-13 06:15:54 +01:00
|
|
|
)
|
|
|
|
|
|
|
|
def __init__(self):
|
|
|
|
"""
|
|
|
|
Tokenizer consumes a sql string and produces an array of :class:`~sqlglot.tokens.Token`
|
|
|
|
"""
|
|
|
|
self.reset()
|
|
|
|
|
|
|
|
def reset(self):
|
|
|
|
self.sql = ""
|
|
|
|
self.size = 0
|
|
|
|
self.tokens = []
|
|
|
|
self._start = 0
|
|
|
|
self._current = 0
|
|
|
|
self._line = 1
|
|
|
|
self._col = 1
|
|
|
|
|
|
|
|
self._char = None
|
|
|
|
self._end = None
|
|
|
|
self._peek = None
|
2025-02-13 14:42:49 +01:00
|
|
|
self._prev_token_type = None
|
2025-02-13 06:15:54 +01:00
|
|
|
|
|
|
|
def tokenize(self, sql):
|
|
|
|
self.reset()
|
|
|
|
self.sql = sql
|
|
|
|
self.size = len(sql)
|
|
|
|
|
|
|
|
while self.size and not self._end:
|
|
|
|
self._start = self._current
|
|
|
|
self._advance()
|
|
|
|
|
|
|
|
if not self._char:
|
|
|
|
break
|
|
|
|
|
|
|
|
white_space = self.WHITE_SPACE.get(self._char)
|
2025-02-13 07:47:22 +01:00
|
|
|
identifier_end = self._IDENTIFIERS.get(self._char)
|
2025-02-13 06:15:54 +01:00
|
|
|
|
|
|
|
if white_space:
|
|
|
|
if white_space == TokenType.BREAK:
|
|
|
|
self._col = 1
|
|
|
|
self._line += 1
|
|
|
|
elif self._char.isdigit():
|
|
|
|
self._scan_number()
|
|
|
|
elif identifier_end:
|
|
|
|
self._scan_identifier(identifier_end)
|
|
|
|
else:
|
|
|
|
self._scan_keywords()
|
|
|
|
return self.tokens
|
|
|
|
|
|
|
|
def _chars(self, size):
|
|
|
|
if size == 1:
|
|
|
|
return self._char
|
|
|
|
start = self._current - 1
|
|
|
|
end = start + size
|
|
|
|
if end <= self.size:
|
|
|
|
return self.sql[start:end]
|
|
|
|
return ""
|
|
|
|
|
|
|
|
def _advance(self, i=1):
|
|
|
|
self._col += i
|
|
|
|
self._current += i
|
|
|
|
self._end = self._current >= self.size
|
|
|
|
self._char = self.sql[self._current - 1]
|
|
|
|
self._peek = self.sql[self._current] if self._current < self.size else ""
|
|
|
|
|
|
|
|
@property
|
|
|
|
def _text(self):
|
|
|
|
return self.sql[self._start : self._current]
|
|
|
|
|
|
|
|
def _add(self, token_type, text=None):
|
2025-02-13 14:42:49 +01:00
|
|
|
self._prev_token_type = token_type
|
|
|
|
self.tokens.append(Token(token_type, self._text if text is None else text, self._line, self._col))
|
2025-02-13 06:15:54 +01:00
|
|
|
|
2025-02-13 07:47:22 +01:00
|
|
|
if token_type in self.COMMANDS and (len(self.tokens) == 1 or self.tokens[-2].token_type == TokenType.SEMICOLON):
|
2025-02-13 06:15:54 +01:00
|
|
|
self._start = self._current
|
|
|
|
while not self._end and self._peek != ";":
|
|
|
|
self._advance()
|
|
|
|
if self._start < self._current:
|
|
|
|
self._add(TokenType.STRING)
|
|
|
|
|
|
|
|
def _scan_keywords(self):
|
|
|
|
size = 0
|
|
|
|
word = None
|
|
|
|
chars = self._text
|
|
|
|
char = chars
|
|
|
|
prev_space = False
|
|
|
|
skip = False
|
|
|
|
trie = self.KEYWORD_TRIE
|
|
|
|
|
|
|
|
while chars:
|
|
|
|
if skip:
|
|
|
|
result = 1
|
|
|
|
else:
|
|
|
|
result, trie = in_trie(trie, char.upper())
|
|
|
|
|
|
|
|
if result == 0:
|
|
|
|
break
|
|
|
|
if result == 2:
|
|
|
|
word = chars
|
|
|
|
size += 1
|
|
|
|
end = self._current - 1 + size
|
|
|
|
|
|
|
|
if end < self.size:
|
|
|
|
char = self.sql[end]
|
|
|
|
is_space = char in self.WHITE_SPACE
|
|
|
|
|
|
|
|
if not is_space or not prev_space:
|
|
|
|
if is_space:
|
|
|
|
char = " "
|
|
|
|
chars += char
|
|
|
|
prev_space = is_space
|
|
|
|
skip = False
|
|
|
|
else:
|
|
|
|
skip = True
|
|
|
|
else:
|
|
|
|
chars = None
|
|
|
|
|
|
|
|
if not word:
|
|
|
|
if self._char in self.SINGLE_TOKENS:
|
|
|
|
token = self.SINGLE_TOKENS[self._char]
|
|
|
|
if token == TokenType.ANNOTATION:
|
|
|
|
self._scan_annotation()
|
|
|
|
return
|
|
|
|
self._add(token)
|
|
|
|
return
|
|
|
|
self._scan_var()
|
|
|
|
return
|
|
|
|
|
|
|
|
if self._scan_string(word):
|
|
|
|
return
|
2025-02-13 07:47:22 +01:00
|
|
|
if self._scan_numeric_string(word):
|
|
|
|
return
|
2025-02-13 06:15:54 +01:00
|
|
|
if self._scan_comment(word):
|
|
|
|
return
|
|
|
|
|
|
|
|
self._advance(size - 1)
|
|
|
|
self._add(self.KEYWORDS[word.upper()])
|
|
|
|
|
|
|
|
def _scan_comment(self, comment_start):
|
2025-02-13 07:47:22 +01:00
|
|
|
if comment_start not in self._COMMENTS:
|
2025-02-13 06:15:54 +01:00
|
|
|
return False
|
|
|
|
|
2025-02-13 07:47:22 +01:00
|
|
|
comment_end = self._COMMENTS[comment_start]
|
2025-02-13 06:15:54 +01:00
|
|
|
|
|
|
|
if comment_end:
|
|
|
|
comment_end_size = len(comment_end)
|
|
|
|
|
|
|
|
while not self._end and self._chars(comment_end_size) != comment_end:
|
|
|
|
self._advance()
|
|
|
|
self._advance(comment_end_size - 1)
|
|
|
|
else:
|
|
|
|
while not self._end and self.WHITE_SPACE.get(self._peek) != TokenType.BREAK:
|
|
|
|
self._advance()
|
|
|
|
return True
|
|
|
|
|
|
|
|
def _scan_annotation(self):
|
2025-02-13 07:47:22 +01:00
|
|
|
while not self._end and self.WHITE_SPACE.get(self._peek) != TokenType.BREAK and self._peek != ",":
|
2025-02-13 06:15:54 +01:00
|
|
|
self._advance()
|
|
|
|
self._add(TokenType.ANNOTATION, self._text[1:])
|
|
|
|
|
|
|
|
def _scan_number(self):
|
2025-02-13 07:47:22 +01:00
|
|
|
if self._char == "0":
|
|
|
|
peek = self._peek.upper()
|
|
|
|
if peek == "B":
|
|
|
|
return self._scan_bits()
|
|
|
|
elif peek == "X":
|
|
|
|
return self._scan_hex()
|
|
|
|
|
2025-02-13 06:15:54 +01:00
|
|
|
decimal = False
|
|
|
|
scientific = 0
|
|
|
|
|
|
|
|
while True:
|
|
|
|
if self._peek.isdigit():
|
|
|
|
self._advance()
|
|
|
|
elif self._peek == "." and not decimal:
|
|
|
|
decimal = True
|
|
|
|
self._advance()
|
|
|
|
elif self._peek in ("-", "+") and scientific == 1:
|
|
|
|
scientific += 1
|
|
|
|
self._advance()
|
|
|
|
elif self._peek.upper() == "E" and not scientific:
|
|
|
|
scientific += 1
|
|
|
|
self._advance()
|
|
|
|
elif self._peek.isalpha():
|
|
|
|
self._add(TokenType.NUMBER)
|
|
|
|
literal = []
|
|
|
|
while self._peek.isalpha():
|
|
|
|
literal.append(self._peek.upper())
|
|
|
|
self._advance()
|
|
|
|
literal = "".join(literal)
|
|
|
|
token_type = self.KEYWORDS.get(self.NUMERIC_LITERALS.get(literal))
|
|
|
|
if token_type:
|
|
|
|
self._add(TokenType.DCOLON, "::")
|
|
|
|
return self._add(token_type, literal)
|
|
|
|
return self._advance(-len(literal))
|
|
|
|
else:
|
|
|
|
return self._add(TokenType.NUMBER)
|
|
|
|
|
2025-02-13 07:47:22 +01:00
|
|
|
def _scan_bits(self):
|
|
|
|
self._advance()
|
|
|
|
value = self._extract_value()
|
|
|
|
try:
|
|
|
|
self._add(TokenType.BIT_STRING, f"{int(value, 2)}")
|
|
|
|
except ValueError:
|
|
|
|
self._add(TokenType.IDENTIFIER)
|
|
|
|
|
2025-02-13 06:15:54 +01:00
|
|
|
def _scan_hex(self):
|
|
|
|
self._advance()
|
2025-02-13 07:47:22 +01:00
|
|
|
value = self._extract_value()
|
|
|
|
try:
|
|
|
|
self._add(TokenType.HEX_STRING, f"{int(value, 16)}")
|
|
|
|
except ValueError:
|
|
|
|
self._add(TokenType.IDENTIFIER)
|
2025-02-13 06:15:54 +01:00
|
|
|
|
2025-02-13 07:47:22 +01:00
|
|
|
def _extract_value(self):
|
2025-02-13 06:15:54 +01:00
|
|
|
while True:
|
|
|
|
char = self._peek.strip()
|
|
|
|
if char and char not in self.SINGLE_TOKENS:
|
|
|
|
self._advance()
|
|
|
|
else:
|
|
|
|
break
|
2025-02-13 07:47:22 +01:00
|
|
|
|
|
|
|
return self._text
|
2025-02-13 06:15:54 +01:00
|
|
|
|
|
|
|
def _scan_string(self, quote):
|
2025-02-13 07:47:22 +01:00
|
|
|
quote_end = self._QUOTES.get(quote)
|
2025-02-13 06:15:54 +01:00
|
|
|
if quote_end is None:
|
|
|
|
return False
|
|
|
|
|
|
|
|
self._advance(len(quote))
|
2025-02-13 07:47:22 +01:00
|
|
|
text = self._extract_string(quote_end)
|
2025-02-13 06:15:54 +01:00
|
|
|
|
|
|
|
text = text.encode(self.ENCODE).decode(self.ENCODE) if self.ENCODE else text
|
|
|
|
text = text.replace("\\\\", "\\") if self.ESCAPE == "\\" else text
|
|
|
|
self._add(TokenType.STRING, text)
|
|
|
|
return True
|
|
|
|
|
2025-02-13 07:47:22 +01:00
|
|
|
def _scan_numeric_string(self, string_start):
|
|
|
|
if string_start in self._HEX_STRINGS:
|
|
|
|
delimiters = self._HEX_STRINGS
|
|
|
|
token_type = TokenType.HEX_STRING
|
|
|
|
base = 16
|
|
|
|
elif string_start in self._BIT_STRINGS:
|
|
|
|
delimiters = self._BIT_STRINGS
|
|
|
|
token_type = TokenType.BIT_STRING
|
|
|
|
base = 2
|
|
|
|
else:
|
|
|
|
return False
|
|
|
|
|
|
|
|
self._advance(len(string_start))
|
|
|
|
string_end = delimiters.get(string_start)
|
|
|
|
text = self._extract_string(string_end)
|
|
|
|
|
|
|
|
try:
|
|
|
|
self._add(token_type, f"{int(text, base)}")
|
|
|
|
except ValueError:
|
|
|
|
raise RuntimeError(f"Numeric string contains invalid characters from {self._line}:{self._start}")
|
|
|
|
return True
|
|
|
|
|
2025-02-13 06:15:54 +01:00
|
|
|
def _scan_identifier(self, identifier_end):
|
|
|
|
while self._peek != identifier_end:
|
|
|
|
if self._end:
|
2025-02-13 07:47:22 +01:00
|
|
|
raise RuntimeError(f"Missing {identifier_end} from {self._line}:{self._start}")
|
2025-02-13 06:15:54 +01:00
|
|
|
self._advance()
|
|
|
|
self._advance()
|
|
|
|
self._add(TokenType.IDENTIFIER, self._text[1:-1])
|
|
|
|
|
|
|
|
def _scan_var(self):
|
|
|
|
while True:
|
|
|
|
char = self._peek.strip()
|
|
|
|
if char and char not in self.SINGLE_TOKENS:
|
|
|
|
self._advance()
|
|
|
|
else:
|
|
|
|
break
|
2025-02-13 14:42:49 +01:00
|
|
|
self._add(
|
|
|
|
TokenType.VAR
|
|
|
|
if self._prev_token_type == TokenType.PARAMETER
|
|
|
|
else self.KEYWORDS.get(self._text.upper(), TokenType.VAR)
|
|
|
|
)
|
2025-02-13 07:47:22 +01:00
|
|
|
|
|
|
|
def _extract_string(self, delimiter):
|
|
|
|
text = ""
|
|
|
|
delim_size = len(delimiter)
|
|
|
|
|
|
|
|
while True:
|
|
|
|
if self._char == self.ESCAPE and self._peek == delimiter:
|
|
|
|
text += delimiter
|
|
|
|
self._advance(2)
|
|
|
|
else:
|
|
|
|
if self._chars(delim_size) == delimiter:
|
|
|
|
if delim_size > 1:
|
|
|
|
self._advance(delim_size - 1)
|
|
|
|
break
|
|
|
|
|
|
|
|
if self._end:
|
|
|
|
raise RuntimeError(f"Missing {delimiter} from {self._line}:{self._start}")
|
|
|
|
text += self._char
|
|
|
|
self._advance()
|
|
|
|
|
|
|
|
return text
|