lua static analysis: определение неинициализированного поля таблицы

Question

Я использую luacheck (в редакторе Atom), но открыт для других инструментов статического анализа.

Есть ли способ проверить, что я использую неинициализированное поле таблицы? Я прочитал документы (http://luacheck.readthedocs.io/en/stable/index.html), но, возможно, я пропустил, как это сделать?

Во всех трех случаях в приведенном ниже коде я пытаюсь обнаружить, что я (ошибочно) использовал поле 'y1'. Ни один из них не делает. (Во время выполнения оно обнаружено, но я пытаюсь поймать его перед временем выполнения).

local a = {} 
a.x = 10 
a.y = 20 
print(a.x + a.y1)   -- no warning about uninitialized field y1 !? 

-- luacheck: globals b 
b = {} 
b.x = 10 
b.y = 20 
print(b.x + b.y1)   -- no warning about uninitialized field y1 !? 

-- No inline option for luacheck re: 'c', so plenty of complaints 
-- about "non-standard global variable 'c'." 
c = {}     -- warning about setting 
c.x = 10     -- warning about mutating 
c.y = 20     --  "  "  " 
print(c.x + c.y1)   -- more warnings (but NOT about field y1) 

Дело заключается в следующем: по мере роста проектов (файлы растут, а размер модулей число & расти), было бы неплохо, чтобы предотвратить простые ошибки, как это от ползучего в

Спасибо..

Answer 1

lua-inspect должен иметь возможность обнаруживать и сообщать об этих случаях. Я его интегрировать в ZeroBrane Studio IDE и при работе с deep analysis он сообщает следующее на этом фрагменте:

unknown-field.lua:4: first use of unknown field 'y1' in 'a' 
unknown-field.lua:7: first assignment to global variable 'b' 
unknown-field.lua:10: first use of unknown field 'y1' in 'b' 
unknown-field.lua:14: first assignment to global variable 'c' 
unknown-field.lua:17: first use of unknown field 'y1' in 'c' 

(Обратите внимание, что код интеграции сообщает только первые экземпляры этих ошибок, чтобы свести к минимуму число случаев сообщенных, я также исправлена ​​проблема, которая сообщила только о первом неизвестном экземпляре поля, поэтому вы можете использовать последний код из repository.)