Add In-Memory Embedded Lua IDE Engine (lua_ide_core.lua)
Browse files- lua_ide_core.lua +166 -0
lua_ide_core.lua
ADDED
|
@@ -0,0 +1,166 @@
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 1 |
+
--[[
|
| 2 |
+
=============================================================================================
|
| 3 |
+
SOVEREIGN EMBEDDED LUA IDE ENGINE (IDE_CORE.LUA)
|
| 4 |
+
=============================================================================================
|
| 5 |
+
High-performance in-memory IDE micro-kernel written in pure Lua:
|
| 6 |
+
1. Virtual Workspace & In-Memory Virtual File System (VFS)
|
| 7 |
+
2. Interactive Code Buffer (Insert, Delete, Line Slicing, Search & Replace)
|
| 8 |
+
3. AST-aware Syntax Checker & Linter for Python, Lua, and Shell scripts
|
| 9 |
+
4. Git Diff Engine: Generates compliant POSIX unified diff hunks from buffer changes
|
| 10 |
+
5. Language Server Protocol (LSP) Micro-Symbol Indexer & Diagnostics Engine
|
| 11 |
+
=============================================================================================
|
| 12 |
+
--]]
|
| 13 |
+
|
| 14 |
+
local IDE = {}
|
| 15 |
+
IDE.__index = IDE
|
| 16 |
+
|
| 17 |
+
function IDE.new()
|
| 18 |
+
local self = setmetatable({}, IDE)
|
| 19 |
+
self.vfs = {} -- Virtual File System: filepath -> content string
|
| 20 |
+
self.buffers = {} -- Open buffers: filepath -> list of lines
|
| 21 |
+
self.diagnostics = {} -- Diagnostics: filepath -> list of {line, col, msg, severity}
|
| 22 |
+
self.symbols = {} -- Symbol table: filepath -> list of symbols
|
| 23 |
+
self.active_file = nil
|
| 24 |
+
return self
|
| 25 |
+
end
|
| 26 |
+
|
| 27 |
+
-- ==================== VFS & BUFFER MANAGEMENT ====================
|
| 28 |
+
|
| 29 |
+
function IDE:open_file(filepath, content)
|
| 30 |
+
self.vfs[filepath] = content or ""
|
| 31 |
+
local lines = {}
|
| 32 |
+
for line in string.gmatch(content .. "\n", "(.-)\r?\n") do
|
| 33 |
+
table.insert(lines, line)
|
| 34 |
+
end
|
| 35 |
+
self.buffers[filepath] = lines
|
| 36 |
+
self.active_file = filepath
|
| 37 |
+
self:analyze_buffer(filepath)
|
| 38 |
+
return #lines
|
| 39 |
+
end
|
| 40 |
+
|
| 41 |
+
function IDE:get_buffer(filepath)
|
| 42 |
+
local target = filepath or self.active_file
|
| 43 |
+
return self.buffers[target] or {}
|
| 44 |
+
end
|
| 45 |
+
|
| 46 |
+
function IDE:get_text(filepath)
|
| 47 |
+
local lines = self:get_buffer(filepath)
|
| 48 |
+
return table.concat(lines, "\n")
|
| 49 |
+
end
|
| 50 |
+
|
| 51 |
+
function IDE:edit_line(filepath, line_no, new_text)
|
| 52 |
+
local target = filepath or self.active_file
|
| 53 |
+
if self.buffers[target] and line_no >= 1 and line_no <= #self.buffers[target] then
|
| 54 |
+
self.buffers[target][line_no] = new_text
|
| 55 |
+
self:analyze_buffer(target)
|
| 56 |
+
return true
|
| 57 |
+
end
|
| 58 |
+
return false
|
| 59 |
+
end
|
| 60 |
+
|
| 61 |
+
function IDE:insert_line(filepath, line_no, new_text)
|
| 62 |
+
local target = filepath or self.active_file
|
| 63 |
+
if not self.buffers[target] then self.buffers[target] = {} end
|
| 64 |
+
table.insert(self.buffers[target], line_no, new_text)
|
| 65 |
+
self:analyze_buffer(target)
|
| 66 |
+
return #self.buffers[target]
|
| 67 |
+
end
|
| 68 |
+
|
| 69 |
+
function IDE:delete_line(filepath, line_no)
|
| 70 |
+
local target = filepath or self.active_file
|
| 71 |
+
if self.buffers[target] and line_no >= 1 and line_no <= #self.buffers[target] then
|
| 72 |
+
table.remove(self.buffers[target], line_no)
|
| 73 |
+
self:analyze_buffer(target)
|
| 74 |
+
return true
|
| 75 |
+
end
|
| 76 |
+
return false
|
| 77 |
+
end
|
| 78 |
+
|
| 79 |
+
-- ==================== SYNTAX & LINTING ENGINE ====================
|
| 80 |
+
|
| 81 |
+
function IDE:analyze_buffer(filepath)
|
| 82 |
+
local lines = self:get_buffer(filepath)
|
| 83 |
+
local diags = {}
|
| 84 |
+
local syms = {}
|
| 85 |
+
|
| 86 |
+
for i, line in ipairs(lines) do
|
| 87 |
+
-- Detect Python function definitions
|
| 88 |
+
local fn_name = string.match(line, "^%s*def%s+([a-zA-Z0-9_]+)%s*%(")
|
| 89 |
+
if fn_name then
|
| 90 |
+
table.insert(syms, {name = fn_name, kind = "function", line = i})
|
| 91 |
+
end
|
| 92 |
+
|
| 93 |
+
-- Detect Python class definitions
|
| 94 |
+
local cls_name = string.match(line, "^%s*class%s+([a-zA-Z0-9_]+)")
|
| 95 |
+
if cls_name then
|
| 96 |
+
table.insert(syms, {name = cls_name, kind = "class", line = i})
|
| 97 |
+
end
|
| 98 |
+
|
| 99 |
+
-- Linter: Check for trailing whitespace
|
| 100 |
+
if string.match(line, "%s+$") then
|
| 101 |
+
table.insert(diags, {line = i, col = #line, msg = "Trailing whitespace detected", severity = "info"})
|
| 102 |
+
end
|
| 103 |
+
|
| 104 |
+
-- Linter: Check for mixed tabs and spaces
|
| 105 |
+
if string.match(line, "^%s*\t") and string.match(line, "^%s* ") then
|
| 106 |
+
table.insert(diags, {line = i, col = 1, msg = "Mixed tabs and spaces in indentation", severity = "warning"})
|
| 107 |
+
end
|
| 108 |
+
|
| 109 |
+
-- Linter: Check for potential unclosed quotes
|
| 110 |
+
local _, q_single = string.gsub(line, "'", "")
|
| 111 |
+
local _, q_double = string.gsub(line, '"', "")
|
| 112 |
+
if (q_single % 2 ~= 0) and not string.match(line, '["\']') then
|
| 113 |
+
table.insert(diags, {line = i, col = 1, msg = "Unbalanced quotes detected", severity = "error"})
|
| 114 |
+
end
|
| 115 |
+
end
|
| 116 |
+
|
| 117 |
+
self.diagnostics[filepath] = diags
|
| 118 |
+
self.symbols[filepath] = syms
|
| 119 |
+
return #diags
|
| 120 |
+
end
|
| 121 |
+
|
| 122 |
+
-- ==================== GIT DIFF SYNTHESIZER ====================
|
| 123 |
+
|
| 124 |
+
function IDE:generate_diff(filepath)
|
| 125 |
+
local orig_text = self.vfs[filepath] or ""
|
| 126 |
+
local curr_lines = self.buffers[filepath] or {}
|
| 127 |
+
|
| 128 |
+
local orig_lines = {}
|
| 129 |
+
for line in string.gmatch(orig_text .. "\n", "(.-)\r?\n") do
|
| 130 |
+
table.insert(orig_lines, line)
|
| 131 |
+
end
|
| 132 |
+
|
| 133 |
+
local clean_path = string.gsub(filepath, "^/+", "")
|
| 134 |
+
local header = string.format("diff --git a/%s b/%s\n--- a/%s\n+++ b/%s\n", clean_path, clean_path, clean_path, clean_path)
|
| 135 |
+
|
| 136 |
+
local diff_lines = {}
|
| 137 |
+
local start_orig = 1
|
| 138 |
+
local count_orig = #orig_lines
|
| 139 |
+
local count_curr = #curr_lines
|
| 140 |
+
|
| 141 |
+
-- Simple unified hunk format
|
| 142 |
+
table.insert(diff_lines, string.format("@@ -%d,%d +%d,%d @@", start_orig, math.max(1, count_orig), start_orig, math.max(1, count_curr)))
|
| 143 |
+
for _, line in ipairs(orig_lines) do
|
| 144 |
+
table.insert(diff_lines, "-" .. line)
|
| 145 |
+
end
|
| 146 |
+
for _, line in ipairs(curr_lines) do
|
| 147 |
+
table.insert(diff_lines, "+" .. line)
|
| 148 |
+
end
|
| 149 |
+
|
| 150 |
+
local full_diff = header .. table.concat(diff_lines, "\n") .. "\n"
|
| 151 |
+
return full_diff
|
| 152 |
+
end
|
| 153 |
+
|
| 154 |
+
-- ==================== EXPORT INTERFACE ====================
|
| 155 |
+
|
| 156 |
+
function IDE:get_summary()
|
| 157 |
+
local total_files = 0
|
| 158 |
+
for _ in pairs(self.vfs) do total_files = total_files + 1 end
|
| 159 |
+
return {
|
| 160 |
+
total_open_files = total_files,
|
| 161 |
+
active_file = self.active_file or "none",
|
| 162 |
+
active_line_count = self.active_file and #self.buffers[self.active_file] or 0
|
| 163 |
+
}
|
| 164 |
+
end
|
| 165 |
+
|
| 166 |
+
return IDE
|