diff options
Diffstat (limited to 'script/core')
-rw-r--r-- | script/core/diagnostics/different-requires.lua | 52 |
1 files changed, 52 insertions, 0 deletions
diff --git a/script/core/diagnostics/different-requires.lua b/script/core/diagnostics/different-requires.lua new file mode 100644 index 00000000..9e3dfc8f --- /dev/null +++ b/script/core/diagnostics/different-requires.lua @@ -0,0 +1,52 @@ +local files = require 'files' +local guide = require 'parser.guide' +local lang = require 'language' +local config = require 'config' +local vm = require 'vm' +local ws = require 'workspace' + +return function (uri, callback) + local state = files.getState(uri) + if not state then + return + end + local cache = vm.getCache 'different-requires' + guide.eachSpecialOf(state.ast, 'require', function (source) + local call = source.next + if not call or call.type ~= 'call' then + return + end + local arg1 = call.args and call.args[1] + if not arg1 or arg1.type ~= 'string' then + return + end + local literal = arg1[1] + local results = ws.findUrisByRequirePath(literal) + local result = results and results[1] + if not result then + return + end + local other = cache[result] + if not other then + cache[result] = { + source = arg1, + require = literal, + } + return + end + if other.require ~= literal then + callback { + start = arg1.start, + finish = arg1.finish, + related = { + { + start = other.source.start, + finish = other.source.finish, + uri = guide.getUri(other.source), + } + }, + message = lang.script('DIAG_DIFFERENT_REQUIRES'), + } + end + end) +end |