andremm / lua-parser / #8

Committed 07 Jan 2026 04:52PM UTC coverage: 97.719% (-0.7%) from 98.416%

Build # #8

Build Type

push

github

Committed by

andremm

Commit Message

fixing ci syntax

Run Details

2099 of 2148 relevant lines covered (97.72%)

23.42 hits per line

Source File
Press 'n' to go to next uncovered line, 'b' for previous

95.4

/lua-parser/validator.lua

--[[
This module impements a validator for the AST
]]
local scope = require "lua-parser.scope"

local lineno = scope.lineno
local new_scope, end_scope = scope.new_scope, scope.end_scope
local new_function, end_function = scope.new_function, scope.end_function
local begin_loop, end_loop = scope.begin_loop, scope.end_loop
local insideloop = scope.insideloop

-- creates an error message for the input string
local function syntaxerror (errorinfo, pos, msg)
  local l, c = lineno(errorinfo.subject, pos)
  local error_msg = "%s:%d:%d: syntax error, %s"
  return string.format(error_msg, errorinfo.filename, l, c, msg)
end

local function exist_label (env, scope, stm)
  local l = stm[1]
  for s=scope, 0, -1 do
    if env[s]["label"][l] then return true end
  end
  return false
end

local function set_label (env, label, pos)
  local scope = env.scope
  local l = env[scope]["label"][label]
  if not l then
    env[scope]["label"][label] = { name = label, pos = pos }
    return true
  else
    local msg = "label '%s' already defined at line %d"
    local line = lineno(env.errorinfo.subject, l.pos)
    msg = string.format(msg, label, line)
    return nil, syntaxerror(env.errorinfo, pos, msg)
  end
end

local function set_pending_goto (env, stm)
  local scope = env.scope
  table.insert(env[scope]["goto"], stm)
  return true
end

local function verify_pending_gotos (env)
  for s=env.maxscope, 0, -1 do
    for k, v in ipairs(env[s]["goto"]) do
      if not exist_label(env, s, v) then
        local msg = "no visible label '%s' for <goto>"
        msg = string.format(msg, v[1])
        return nil, syntaxerror(env.errorinfo, v.pos, msg)
      end
    end
  end
  return true
end

local function set_vararg (env, is_vararg)
  env["function"][env.fscope].is_vararg = is_vararg
end

local traverse_stm, traverse_exp, traverse_var
local traverse_block, traverse_explist, traverse_varlist, traverse_parlist

function traverse_parlist (env, parlist)
  local len = #parlist
  local is_vararg = false
  if len > 0 and parlist[len].tag == "Dots" then
    is_vararg = true
  end
  set_vararg(env, is_vararg)
  return true
end

local function traverse_function (env, exp)
  new_function(env)
  new_scope(env)
  local status, msg = traverse_parlist(env, exp[1])
  if not status then return status, msg end
  status, msg = traverse_block(env, exp[2])
  if not status then return status, msg end
  end_scope(env)
  end_function(env)
  return true
end

local function traverse_op (env, exp)
  local status, msg = traverse_exp(env, exp[2])
  if not status then return status, msg end
  if exp[3] then
    status, msg = traverse_exp(env, exp[3])
    if not status then return status, msg end
  end
  return true
end

local function traverse_paren (env, exp)
  local status, msg = traverse_exp(env, exp[1])
  if not status then return status, msg end
  return true
end

local function traverse_table (env, fieldlist)
  for k, v in ipairs(fieldlist) do
    local tag = v.tag
    if tag == "Pair" then
      local status, msg = traverse_exp(env, v[1])
      if not status then return status, msg end
      status, msg = traverse_exp(env, v[2])
      if not status then return status, msg end
    else
      local status, msg = traverse_exp(env, v)
      if not status then return status, msg end
    end
  end
  return true
end

local function traverse_vararg (env, exp)
  if not env["function"][env.fscope].is_vararg then
    local msg = "cannot use '...' outside a vararg function"
    return nil, syntaxerror(env.errorinfo, exp.pos, msg)
  end
  return true
end

local function traverse_call (env, call)
  local status, msg = traverse_exp(env, call[1])
  if not status then return status, msg end
  for i=2, #call do
    status, msg = traverse_exp(env, call[i])
    if not status then return status, msg end
  end
  return true
end

local function traverse_invoke (env, invoke)
  local status, msg = traverse_exp(env, invoke[1])
  if not status then return status, msg end
  for i=3, #invoke do
    status, msg = traverse_exp(env, invoke[i])
    if not status then return status, msg end
  end
  return true
end

local function traverse_assignment (env, stm)
  local status, msg = traverse_varlist(env, stm[1])
  if not status then return status, msg end
  status, msg = traverse_explist(env, stm[2])
  if not status then return status, msg end
  return true
end

local function traverse_break (env, stm)
  if not insideloop(env) then
    local msg = "<break> not inside a loop"
    return nil, syntaxerror(env.errorinfo, stm.pos, msg)
  end
  return true
end

local function traverse_forin (env, stm)
  begin_loop(env)
  new_scope(env)
  local status, msg = traverse_explist(env, stm[2])
  if not status then return status, msg end
  status, msg = traverse_block(env, stm[3])
  if not status then return status, msg end
  end_scope(env)
  end_loop(env)
  return true
end

local function traverse_fornum (env, stm)
  local status, msg
  begin_loop(env)
  new_scope(env)
  status, msg = traverse_exp(env, stm[2])
  if not status then return status, msg end
  status, msg = traverse_exp(env, stm[3])
  if not status then return status, msg end
  if stm[5] then
    status, msg = traverse_exp(env, stm[4])
    if not status then return status, msg end
    status, msg = traverse_block(env, stm[5])
    if not status then return status, msg end
  else
    status, msg = traverse_block(env, stm[4])
    if not status then return status, msg end
  end
  end_scope(env)
  end_loop(env)
  return true
end

local function traverse_goto (env, stm)
  local status, msg = set_pending_goto(env, stm)
  if not status then return status, msg end
  return true
end

local function traverse_if (env, stm)
  local len = #stm
  if len % 2 == 0 then
    for i=1, len, 2 do
      local status, msg = traverse_exp(env, stm[i])
      if not status then return status, msg end
      status, msg = traverse_block(env, stm[i+1])
      if not status then return status, msg end
    end
  else
    for i=1, len-1, 2 do
      local status, msg = traverse_exp(env, stm[i])
      if not status then return status, msg end
      status, msg = traverse_block(env, stm[i+1])
      if not status then return status, msg end
    end
    local status, msg = traverse_block(env, stm[len])
    if not status then return status, msg end
  end
  return true
end

local function traverse_label (env, stm)
  local status, msg = set_label(env, stm[1], stm.pos)
  if not status then return status, msg end
  return true
end

local function traverse_let (env, stm)
  local status, msg = traverse_explist(env, stm[2])
  if not status then return status, msg end
  return true
end

local function traverse_letrec (env, stm)
  local status, msg = traverse_exp(env, stm[2][1])
  if not status then return status, msg end
  return true
end

local function traverse_repeat (env, stm)
  begin_loop(env)
  local status, msg = traverse_block(env, stm[1])
  if not status then return status, msg end
  status, msg = traverse_exp(env, stm[2])
  if not status then return status, msg end
  end_loop(env)
  return true
end

local function traverse_return (env, stm)
  local status, msg = traverse_explist(env, stm)
  if not status then return status, msg end
  return true
end

local function traverse_while (env, stm)
  begin_loop(env)
  local status, msg = traverse_exp(env, stm[1])
  if not status then return status, msg end
  status, msg = traverse_block(env, stm[2])
  if not status then return status, msg end
  end_loop(env)
  return true
end

function traverse_var (env, var)
  local tag = var.tag
  if tag == "Id" then -- `Id{ <string> }
    return true
  elseif tag == "Index" then -- `Index{ expr expr }
    local status, msg = traverse_exp(env, var[1])
    if not status then return status, msg end
    status, msg = traverse_exp(env, var[2])
    if not status then return status, msg end
    return true
  else
    error("expecting a variable, but got a " .. tag)
  end
end

function traverse_varlist (env, varlist)
  for k, v in ipairs(varlist) do
    local status, msg = traverse_var(env, v)
    if not status then return status, msg end
  end
  return true
end

function traverse_exp (env, exp)
  local tag = exp.tag
  if tag == "Nil" or
     tag == "Boolean" or -- `Boolean{ <boolean> }
     tag == "Number" or -- `Number{ <number> }
     tag == "String" then -- `String{ <string> }
    return true
  elseif tag == "Dots" then
    return traverse_vararg(env, exp)
  elseif tag == "Function" then -- `Function{ { `Id{ <string> }* `Dots? } block }
    return traverse_function(env, exp)
  elseif tag == "Table" then -- `Table{ ( `Pair{ expr expr } | expr )* }
    return traverse_table(env, exp)
  elseif tag == "Op" then -- `Op{ opid expr expr? }
    return traverse_op(env, exp)
  elseif tag == "Paren" then -- `Paren{ expr }
    return traverse_paren(env, exp)
  elseif tag == "Call" then -- `Call{ expr expr* }
    return traverse_call(env, exp)
  elseif tag == "Invoke" then -- `Invoke{ expr `String{ <string> } expr* }
    return traverse_invoke(env, exp)
  elseif tag == "Id" or -- `Id{ <string> }
         tag == "Index" then -- `Index{ expr expr }
    return traverse_var(env, exp)
  else
    error("expecting an expression, but got a " .. tag)
  end
end

function traverse_explist (env, explist)
  for k, v in ipairs(explist) do
    local status, msg = traverse_exp(env, v)
    if not status then return status, msg end
  end
  return true
end

function traverse_stm (env, stm)
  local tag = stm.tag
  if tag == "Do" then -- `Do{ stat* }
    return traverse_block(env, stm)
  elseif tag == "Set" then -- `Set{ {lhs+} {expr+} }
    return traverse_assignment(env, stm)
  elseif tag == "While" then -- `While{ expr block }
    return traverse_while(env, stm)
  elseif tag == "Repeat" then -- `Repeat{ block expr }
    return traverse_repeat(env, stm)
  elseif tag == "If" then -- `If{ (expr block)+ block? }
    return traverse_if(env, stm)
  elseif tag == "Fornum" then -- `Fornum{ ident expr expr expr? block }
    return traverse_fornum(env, stm)
  elseif tag == "Forin" then -- `Forin{ {ident+} {expr+} block }
    return traverse_forin(env, stm)
  elseif tag == "Local" then -- `Local{ {ident+} {expr+}? }
    return traverse_let(env, stm)
  elseif tag == "Localrec" then -- `Localrec{ ident expr }
    return traverse_letrec(env, stm)
  elseif tag == "Goto" then -- `Goto{ <string> }
    return traverse_goto(env, stm)
  elseif tag == "Label" then -- `Label{ <string> }
    return traverse_label(env, stm)
  elseif tag == "Return" then -- `Return{ <expr>* }
    return traverse_return(env, stm)
  elseif tag == "Break" then
    return traverse_break(env, stm)
  elseif tag == "Call" then -- `Call{ expr expr* }
    return traverse_call(env, stm)
  elseif tag == "Invoke" then -- `Invoke{ expr `String{ <string> } expr* }
    return traverse_invoke(env, stm)
  else
    error("expecting a statement, but got a " .. tag)
  end
end

function traverse_block (env, block)
  local l = {}
  new_scope(env)
  for k, v in ipairs(block) do
    local status, msg = traverse_stm(env, v)
    if not status then return status, msg end
  end
  end_scope(env)
  return true
end


local function traverse (ast, errorinfo)
  assert(type(ast) == "table")
  assert(type(errorinfo) == "table")
  local env = { errorinfo = errorinfo, ["function"] = {} }
  new_function(env)
  set_vararg(env, true)
  local status, msg = traverse_block(env, ast)
  if not status then return status, msg end
  end_function(env)
  status, msg = verify_pending_gotos(env)
  if not status then return status, msg end
  return ast
end

return { validate = traverse, syntaxerror = syntaxerror }

1	--[[
2	This module impements a validator for the AST
3	]]
4	local scope = require "lua-parser.scope"	1✔
5
6	local lineno = scope.lineno	1✔
7	local new_scope, end_scope = scope.new_scope, scope.end_scope	1✔
8	local new_function, end_function = scope.new_function, scope.end_function	1✔
9	local begin_loop, end_loop = scope.begin_loop, scope.end_loop	1✔
10	local insideloop = scope.insideloop	1✔
11
12	-- creates an error message for the input string
13	local function syntaxerror (errorinfo, pos, msg)
14	local l, c = lineno(errorinfo.subject, pos)	225✔
15	local error_msg = "%s:%d:%d: syntax error, %s"	225✔
16	return string.format(error_msg, errorinfo.filename, l, c, msg)	225✔
17	end
18
19	local function exist_label (env, scope, stm)
20	local l = stm[1]	11✔
21	for s=scope, 0, -1 do	24✔
22	if env[s]["label"][l] then return true end	21✔
23	end
24	return false	3✔
25	end
26
27	local function set_label (env, label, pos)
28	local scope = env.scope	19✔
29	local l = env[scope]["label"][label]	19✔
30	if not l then	19✔
31	env[scope]["label"][label] = { name = label, pos = pos }	18✔
32	return true	18✔
33	else
34	local msg = "label '%s' already defined at line %d"	1✔
35	local line = lineno(env.errorinfo.subject, l.pos)	1✔
36	msg = string.format(msg, label, line)	1✔
37	return nil, syntaxerror(env.errorinfo, pos, msg)	1✔
38	end
39	end
40
41	local function set_pending_goto (env, stm)
42	local scope = env.scope	11✔
43	table.insert(env[scope]["goto"], stm)	11✔
44	return true	11✔
45	end
46
47	local function verify_pending_gotos (env)
48	for s=env.maxscope, 0, -1 do	264✔
49	for k, v in ipairs(env[s]["goto"]) do	174✔
50	if not exist_label(env, s, v) then	11✔
51	local msg = "no visible label '%s' for <goto>"	3✔
52	msg = string.format(msg, v[1])	3✔
53	return nil, syntaxerror(env.errorinfo, v.pos, msg)	3✔
54	end
55	end
56	end
57	return true	98✔
58	end
59
60	local function set_vararg (env, is_vararg)
61	env["function"][env.fscope].is_vararg = is_vararg	131✔
62	end
63
64	local traverse_stm, traverse_exp, traverse_var
65	local traverse_block, traverse_explist, traverse_varlist, traverse_parlist
66
67	function traverse_parlist (env, parlist)	×
68	local len = #parlist	22✔
69	local is_vararg = false	22✔
70	if len > 0 and parlist[len].tag == "Dots" then	22✔
71	is_vararg = true	11✔
72	end
73	set_vararg(env, is_vararg)	22✔
74	return true	22✔
75	end
76
77	local function traverse_function (env, exp)
78	new_function(env)	22✔
79	new_scope(env)	22✔
80	local status, msg = traverse_parlist(env, exp[1])	22✔
81	if not status then return status, msg end	22✔
82	status, msg = traverse_block(env, exp[2])	22✔
83	if not status then return status, msg end	22✔
84	end_scope(env)	16✔
85	end_function(env)	16✔
86	return true	16✔
87	end
88
89	local function traverse_op (env, exp)
90	local status, msg = traverse_exp(env, exp[2])	45✔
91	if not status then return status, msg end	45✔
92	if exp[3] then	45✔
93	status, msg = traverse_exp(env, exp[3])	43✔
94	if not status then return status, msg end	43✔
95	end
96	return true	45✔
97	end
98
99	local function traverse_paren (env, exp)
100	local status, msg = traverse_exp(env, exp[1])	1✔
101	if not status then return status, msg end	1✔
102	return true	1✔
103	end
104
105	local function traverse_table (env, fieldlist)
106	for k, v in ipairs(fieldlist) do	129✔
107	local tag = v.tag	68✔
108	if tag == "Pair" then	68✔
109	local status, msg = traverse_exp(env, v[1])	8✔
110	if not status then return status, msg end	8✔
111	status, msg = traverse_exp(env, v[2])	8✔
112	if not status then return status, msg end	8✔
113	else
114	local status, msg = traverse_exp(env, v)	60✔
115	if not status then return status, msg end	60✔
116	end
117	end
118	return true	61✔
119	end
120
121	local function traverse_vararg (env, exp)
122	if not env["function"][env.fscope].is_vararg then	13✔
123	local msg = "cannot use '...' outside a vararg function"	4✔
124	return nil, syntaxerror(env.errorinfo, exp.pos, msg)	4✔
125	end
126	return true	9✔
127	end
128
129	local function traverse_call (env, call)
130	local status, msg = traverse_exp(env, call[1])	9✔
131	if not status then return status, msg end	9✔
132	for i=2, #call do	15✔
133	status, msg = traverse_exp(env, call[i])	6✔
134	if not status then return status, msg end	6✔
135	end
136	return true	9✔
137	end
138
139	local function traverse_invoke (env, invoke)
140	local status, msg = traverse_exp(env, invoke[1])	1✔
141	if not status then return status, msg end	1✔
142	for i=3, #invoke do	2✔
143	status, msg = traverse_exp(env, invoke[i])	1✔
144	if not status then return status, msg end	1✔
145	end
146	return true	1✔
147	end
148
149	local function traverse_assignment (env, stm)
150	local status, msg = traverse_varlist(env, stm[1])	69✔
151	if not status then return status, msg end	69✔
152	status, msg = traverse_explist(env, stm[2])	69✔
153	if not status then return status, msg end	69✔
154	return true	65✔
155	end
156
157	local function traverse_break (env, stm)
158	if not insideloop(env) then	10✔
159	local msg = "<break> not inside a loop"	3✔
160	return nil, syntaxerror(env.errorinfo, stm.pos, msg)	3✔
161	end
162	return true	7✔
163	end
164
165	local function traverse_forin (env, stm)
166	begin_loop(env)	1✔
167	new_scope(env)	1✔
168	local status, msg = traverse_explist(env, stm[2])	1✔
169	if not status then return status, msg end	1✔
170	status, msg = traverse_block(env, stm[3])	1✔
171	if not status then return status, msg end	1✔
172	end_scope(env)	1✔
173	end_loop(env)	1✔
174	return true	1✔
175	end
176
177	local function traverse_fornum (env, stm)
178	local status, msg
179	begin_loop(env)	3✔
180	new_scope(env)	3✔
181	status, msg = traverse_exp(env, stm[2])	3✔
182	if not status then return status, msg end	3✔
183	status, msg = traverse_exp(env, stm[3])	3✔
184	if not status then return status, msg end	3✔
185	if stm[5] then	3✔
186	status, msg = traverse_exp(env, stm[4])	1✔
187	if not status then return status, msg end	1✔
188	status, msg = traverse_block(env, stm[5])	1✔
189	if not status then return status, msg end	1✔
190	else
191	status, msg = traverse_block(env, stm[4])	2✔
192	if not status then return status, msg end	2✔
193	end
194	end_scope(env)	3✔
195	end_loop(env)	3✔
196	return true	3✔
197	end
198
199	local function traverse_goto (env, stm)
200	local status, msg = set_pending_goto(env, stm)	11✔
201	if not status then return status, msg end	11✔
202	return true	11✔
203	end
204
205	local function traverse_if (env, stm)
206	local len = #stm	8✔
207	if len % 2 == 0 then	8✔
208	for i=1, len, 2 do	12✔
209	local status, msg = traverse_exp(env, stm[i])	8✔
210	if not status then return status, msg end	8✔
211	status, msg = traverse_block(env, stm[i+1])	8✔
212	if not status then return status, msg end	8✔
213	end
214	else
215	for i=1, len-1, 2 do	7✔
216	local status, msg = traverse_exp(env, stm[i])	4✔
217	if not status then return status, msg end	4✔
218	status, msg = traverse_block(env, stm[i+1])	4✔
219	if not status then return status, msg end	4✔
220	end
221	local status, msg = traverse_block(env, stm[len])	3✔
222	if not status then return status, msg end	3✔
223	end
224	return true	7✔
225	end
226
227	local function traverse_label (env, stm)
228	local status, msg = set_label(env, stm[1], stm.pos)	19✔
229	if not status then return status, msg end	19✔
230	return true	18✔
231	end
232
233	local function traverse_let (env, stm)
234	local status, msg = traverse_explist(env, stm[2])	18✔
235	if not status then return status, msg end	18✔
236	return true	17✔
237	end
238
239	local function traverse_letrec (env, stm)
240	local status, msg = traverse_exp(env, stm[2][1])	5✔
241	if not status then return status, msg end	5✔
242	return true	4✔
243	end
244
245	local function traverse_repeat (env, stm)
246	begin_loop(env)	2✔
247	local status, msg = traverse_block(env, stm[1])	2✔
248	if not status then return status, msg end	2✔
249	status, msg = traverse_exp(env, stm[2])	2✔
250	if not status then return status, msg end	2✔
251	end_loop(env)	2✔
252	return true	2✔
253	end
254
255	local function traverse_return (env, stm)
256	local status, msg = traverse_explist(env, stm)	32✔
257	if not status then return status, msg end	32✔
258	return true	28✔
259	end
260
261	local function traverse_while (env, stm)
262	begin_loop(env)	5✔
263	local status, msg = traverse_exp(env, stm[1])	5✔
264	if not status then return status, msg end	5✔
265	status, msg = traverse_block(env, stm[2])	5✔
266	if not status then return status, msg end	5✔
267	end_loop(env)	5✔
268	return true	5✔
269	end
270
271	function traverse_var (env, var)	×
272	local tag = var.tag	129✔
273	if tag == "Id" then -- `Id{ <string> }	129✔
274	return true	117✔
275	elseif tag == "Index" then -- `Index{ expr expr }	12✔
276	local status, msg = traverse_exp(env, var[1])	12✔
277	if not status then return status, msg end	12✔
278	status, msg = traverse_exp(env, var[2])	12✔
279	if not status then return status, msg end	12✔
280	return true	12✔
281	else
282	error("expecting a variable, but got a " .. tag)	×
283	end
284	end
285
286	function traverse_varlist (env, varlist)	×
287	for k, v in ipairs(varlist) do	145✔
288	local status, msg = traverse_var(env, v)	76✔
289	if not status then return status, msg end	76✔
290	end
291	return true	69✔
292	end
293
294	function traverse_exp (env, exp)	×
295	local tag = exp.tag	363✔
296	if tag == "Nil" or	363✔
297	tag == "Boolean" or -- `Boolean{ <boolean> }	362✔
298	tag == "Number" or -- `Number{ <number> }	360✔
299	tag == "String" then -- `String{ <string> }	235✔
300	return true	161✔
301	elseif tag == "Dots" then	202✔
302	return traverse_vararg(env, exp)	13✔
303	elseif tag == "Function" then -- `Function{ { `Id{ <string> }* `Dots? } block }	189✔
304	return traverse_function(env, exp)	22✔
305	elseif tag == "Table" then -- `Table{ ( `Pair{ expr expr } \| expr )* }	167✔
306	return traverse_table(env, exp)	61✔
307	elseif tag == "Op" then -- `Op{ opid expr expr? }	106✔
308	return traverse_op(env, exp)	45✔
309	elseif tag == "Paren" then -- `Paren{ expr }	61✔
310	return traverse_paren(env, exp)	1✔
311	elseif tag == "Call" then -- `Call{ expr expr* }	60✔
312	return traverse_call(env, exp)	6✔
313	elseif tag == "Invoke" then -- `Invoke{ expr `String{ <string> } expr* }	54✔
314	return traverse_invoke(env, exp)	1✔
315	elseif tag == "Id" or -- `Id{ <string> }	53✔
316	tag == "Index" then -- `Index{ expr expr }	6✔
317	return traverse_var(env, exp)	53✔
318	else
319	error("expecting an expression, but got a " .. tag)	×
320	end
321	end
322
323	function traverse_explist (env, explist)	×
324	for k, v in ipairs(explist) do	237✔
325	local status, msg = traverse_exp(env, v)	126✔
326	if not status then return status, msg end	126✔
327	end
328	return true	111✔
329	end
330
331	function traverse_stm (env, stm)	×
332	local tag = stm.tag	201✔
333	if tag == "Do" then -- `Do{ stat* }	201✔
334	return traverse_block(env, stm)	15✔
335	elseif tag == "Set" then -- `Set{ {lhs+} {expr+} }	186✔
336	return traverse_assignment(env, stm)	69✔
337	elseif tag == "While" then -- `While{ expr block }	117✔
338	return traverse_while(env, stm)	5✔
339	elseif tag == "Repeat" then -- `Repeat{ block expr }	112✔
340	return traverse_repeat(env, stm)	2✔
341	elseif tag == "If" then -- `If{ (expr block)+ block? }	110✔
342	return traverse_if(env, stm)	8✔
343	elseif tag == "Fornum" then -- `Fornum{ ident expr expr expr? block }	102✔
344	return traverse_fornum(env, stm)	3✔
345	elseif tag == "Forin" then -- `Forin{ {ident+} {expr+} block }	99✔
346	return traverse_forin(env, stm)	1✔
347	elseif tag == "Local" then -- `Local{ {ident+} {expr+}? }	98✔
348	return traverse_let(env, stm)	18✔
349	elseif tag == "Localrec" then -- `Localrec{ ident expr }	80✔
350	return traverse_letrec(env, stm)	5✔
351	elseif tag == "Goto" then -- `Goto{ <string> }	75✔
352	return traverse_goto(env, stm)	11✔
353	elseif tag == "Label" then -- `Label{ <string> }	64✔
354	return traverse_label(env, stm)	19✔
355	elseif tag == "Return" then -- `Return{ <expr>* }	45✔
356	return traverse_return(env, stm)	32✔
357	elseif tag == "Break" then	13✔
358	return traverse_break(env, stm)	10✔
359	elseif tag == "Call" then -- `Call{ expr expr* }	3✔
360	return traverse_call(env, stm)	3✔
361	elseif tag == "Invoke" then -- `Invoke{ expr `String{ <string> } expr* }	×
362	return traverse_invoke(env, stm)	×
363	else
364	error("expecting a statement, but got a " .. tag)	×
365	end
366	end
367
368	function traverse_block (env, block)	×
369	local l = {}	172✔
370	new_scope(env)	172✔
371	for k, v in ipairs(block) do	358✔
372	local status, msg = traverse_stm(env, v)	201✔
373	if not status then return status, msg end	201✔
374	end
375	end_scope(env)	157✔
376	return true	157✔
377	end
378
379
380	local function traverse (ast, errorinfo)
381	assert(type(ast) == "table")	109✔
382	assert(type(errorinfo) == "table")	109✔
383	local env = { errorinfo = errorinfo, ["function"] = {} }	109✔
384	new_function(env)	109✔
385	set_vararg(env, true)	109✔
386	local status, msg = traverse_block(env, ast)	109✔
387	if not status then return status, msg end	109✔
388	end_function(env)	101✔
389	status, msg = verify_pending_gotos(env)	101✔
390	if not status then return status, msg end	101✔
391	return ast	98✔
392	end
393
394	return { validate = traverse, syntaxerror = syntaxerror }	1✔

andremm / lua-parser / #8

Source File Press 'n' to go to next uncovered line, 'b' for previous

Source File
Press 'n' to go to next uncovered line, 'b' for previous