#687 skip huge files

Author: sumneko

changelog.md

@@ -2,6 +2,7 @@
 
 ## 2.5.0
 * `NEW` setting `Lua.runtime.pathStrict`
+* `NEW` skip huge files (>= 100 MB)
 * `CHG` no longer asks to trust plugin in VSCode, because VSCode already provides the workspace trust feature
 
 ## 2.4.7

locale/en-us/script.lua

@@ -66,6 +66,7 @@ MWS_WCONFIG_UPDATED = 'Workspace setting updated.'
 WORKSPACE_SKIP_LARGE_FILE = 'Too large file: {} skipped. The currently set size limit is: {} KB, and the file size is: {} KB.'
 WORKSPACE_LOADING = 'Loading workspace'
 WORKSPACE_DIAGNOSTIC = 'Diagnosing workspace'
+WORKSPACE_SKIP_HUGE_FILE = 'For performance reasons, the parsing of this file has been stopped: {}'
 
 PARSER_CRASH = 'Parser crashed! Last words:{}'
 PARSER_UNKNOWN = 'Unknown syntax error...'

locale/zh-cn/script.lua

@@ -66,6 +66,7 @@ MWS_WCONFIG_UPDATED = '工作区配置已更新。'
 WORKSPACE_SKIP_LARGE_FILE = '已跳过过大的文件：{}。当前设置的大小限制为：{} KB，该文件大小为：{} KB'
 WORKSPACE_LOADING = '正在加载工作目录'
 WORKSPACE_DIAGNOSTIC = '正在对工作目录进行诊断'
+WORKSPACE_SKIP_HUGE_FILE = '出于性能考虑，已停止对此文件解析：{}'
 
 PARSER_CRASH = '语法解析崩溃了！遗言：{}'
 PARSER_UNKNOWN = '未知语法错误...'

script/files.lua

@@ -11,6 +11,7 @@ local guide = require 'parser.guide'
 local smerger = require 'string-merger'
 local progress = require "progress"
 local encoder = require 'encoder'
+local client = require 'client'
 
 ---@class files
 local m = {}
@@ -120,10 +121,14 @@ end
 --- 设置文件文本
 ---@param uri uri
 ---@param text string
-function m.setText(uri, text, isTrust, instance)
+function m.setText(uri, text, isTrust)
  if not text then
  return
  end
+ if #text > 1024 * 1024 * 100 then
+ client.showMessage('Warning', lang.script('WORKSPACE_SKIP_HUGE_FILE', uri))
+ return
+ end
  --log.debug('setText', uri)
  local create
  if not m.fileMap[uri] then

script/workspace/workspace.lua

@@ -246,7 +246,7 @@ local function loadFileFactory(root, progressData, isLibrary)
  log.info('++++As library of:', root)
  files.setLibraryPath(uri, root)
  end
- files.setText(uri, text, false, true)
+ files.setText(uri, text, false)
  else
  files.remove(uri)
  end