expr-lexer.lua - gsl-shell.git - gsl-shell

index : gsl-shell.git
gsl-shell
summary refs log tree commit diff
path: root/expr-lexer.lua
blob: 480144743a0049125ca89d9a1eb69407de74ae18 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
local len, match = string.len, string.match
local expr_lexer = {}
local lexer_mt = {
 __index = expr_lexer,
}
local literal_chars = {['('] = 1, [')'] = 1, ['~'] = 1, [','] = 1, ['|'] = 1, [':'] = 1}
local oper_table = {['+'] = 2, ['-'] = 2, ['*'] = 3, ['/'] = 3, ['^'] = 4, ['!='] = 1, ['='] = 1, ['>'] = 1, ['>='] = 1, ['<'] = 1, ['<='] = 1, ['and'] = 0, ['or'] = 0, ['%'] = -1}
local word_operators = {'and', 'or'}
local multi_char_operators = {'!=', '>=', '<='}
expr_lexer.operators = oper_table
expr_lexer.max_oper_prio = 4
local oper_start_sym
local function compile_oper_pattern()
 local oper_start_set = {}
 for k in pairs(oper_table) do
 oper_start_set[k:sub(1,1)] = true
 end
 oper_start_sym = '['
 for k in pairs(oper_start_set) do
 local str = (k == '-' or k == '%' or k == '^') and ('%' .. k) or k
 oper_start_sym = oper_start_sym .. str
 end
 oper_start_sym = oper_start_sym .. ']'
end
function expr_lexer.new(src)
 local lexer = {n = 1, src= src}
 setmetatable(lexer, lexer_mt)
 lexer:next()
 return lexer
end
function expr_lexer.char(lexer)
 local n = lexer.n
 return lexer.src:sub(n, n)
end
function expr_lexer.incr(lexer, n)
 lexer.n_current = lexer.n
 lexer.n = lexer.n + (n or 1)
end
function expr_lexer.match(lexer, pattern)
 return match(lexer.src, '^' .. pattern, lexer.n)
end
function expr_lexer.consume(lexer, pattern)
 local m = match(lexer.src, '^' .. pattern, lexer.n)
 if m then
 lexer.n_current = lexer.n
 lexer.n = lexer.n + len(m)
 return m
 end
end
function expr_lexer.skip(lexer, pattern)
 local m = match(lexer.src, '^' .. pattern, lexer.n)
 if m then lexer.n = lexer.n + len(m) end
end
local function consume_oper(lexer, c)
 local op
 for i, ops in ipairs(word_operators) do
 if lexer:match(ops .. '[^%l%u_]') then
 lexer:consume(ops)
 op = ops
 break
 end
 end
 if not op then
 for i, ops in ipairs(multi_char_operators) do
 if lexer:match(ops) then
 lexer:consume(ops)
 op = ops
 break
 end
 end
 end
 if not op then
 op = oper_table[c] and c
 if op then
 lexer:incr()
 end
 end
 if op then
 local prio = oper_table[op]
 return {type= 'operator', symbol= op, priority = prio}
 end
end
function expr_lexer.next_token(lexer)
 lexer:skip('%s*')
 if lexer.n > len(lexer.src) then return {type= 'EOF'} end
 local c = lexer:char()
 if c == '\'' then
 local str = lexer:consume("'[^']+'")
 return {type= 'literal', value = str:sub(2, -2)}
 end
 if c == '[' then
 local str = lexer:consume('%b[]')
 return {type= 'ident', value= str:sub(2,-2)}
 end
 if lexer:match(oper_start_sym) then
 local elt = consume_oper(lexer, c)
 if elt then return elt end
 end
 if literal_chars[c] then
 lexer:incr()
 return {type= c}
 end
 if lexer:match('[%l%u_]') then
 local str = lexer:consume('[%l%u_][%l%u%d_.$]*')
 return {type= 'ident', value= str}
 end
 if lexer:match('%d') then
 local str = lexer:consume('%d+%.%d*[Ee]%+?%d+')
 str = str or lexer:consume('%d+%.%d*[Ee]%-?%d+')
 str = str or lexer:consume('%d+%.%d*')
 str = str or lexer:consume('%d+')
 return {type= 'number', value= tonumber(str)}
 end
 lexer:local_error("syntax error in expression:", lexer.n)
end
function expr_lexer.next(lexer)
 lexer.token = lexer:next_token()
end
function expr_lexer.local_error(lexer, msg, n_pos)
 n_pos = n_pos or lexer.n_current
 local line = string.format(' %s', lexer.src)
 local pos = string.format(' %s^', string.rep(' ', n_pos - 1))
 error(string.format("%s\n%s\n%s", msg, line, pos))
end
compile_oper_pattern()
return expr_lexer
generated by cgit v1.2.3 (git 2.39.1) at 2025年09月11日 00:26:17 +0000

AltStyle によって変換されたページ (->オリジナル) /