use std::sync::{Arc, Mutex};
use mlua::{Lua, Table, Value};
use serde::Deserialize;
use super::AppService;
const LUA_GEN_DOCS: &str = include_str!("lua/gendoc/gen_docs.lua");
const LUA_DOCS_LIST: &str = include_str!("lua/gendoc/docs/list.lua");
const LUA_DOCS_EXTRACT: &str = include_str!("lua/gendoc/docs/extract.lua");
const LUA_DOCS_PROJECTIONS: &str = include_str!("lua/gendoc/docs/projections.lua");
const LUA_DOCS_PKG_INFO: &str = include_str!("lua/gendoc/docs/pkg_info.lua");
const LUA_DOCS_JSON: &str = include_str!("lua/gendoc/docs/json.lua");
const LUA_DOCS_LINT: &str = include_str!("lua/gendoc/docs/lint.lua");
const LUA_DOCS_ENTITY_SCHEMAS: &str = include_str!("lua/gendoc/docs/entity_schemas.lua");
const LUA_ALC_SHAPES_STUB: &str = r#"
local M = {}
M.check = function(_v, _schema, _opts) return true, nil end
M.assert_dev = function(_v, _schema, _opts) return true end
M.fields = function(schema) return (schema and schema.fields) or {} end
M.infer = function(v) return v end
return M
"#;
const LUA_ALC_SHAPES_T_STUB: &str = r##"
local T = {}
-- Method table installed on every schema object. `is_optional()`
-- wraps the receiver in an optional variant (used by
-- entity_schemas.lua for structurally-optional fields).
local schema_mt = {}
schema_mt.__index = {
is_optional = function(self)
return setmetatable({ kind = "optional", inner = self }, schema_mt)
end,
}
local function make_schema(tbl)
return setmetatable(tbl, schema_mt)
end
T.any = make_schema({ kind = "any" })
T.string = make_schema({ kind = "prim", name = "string" })
T.number = make_schema({ kind = "prim", name = "number" })
T.bool = make_schema({ kind = "prim", name = "bool" })
-- Aliases occasionally used by older docs modules.
T.str = T.string
T.num = T.number
T.ref = function(name) return make_schema({ kind = "ref", name = name }) end
T.list = function(t) return make_schema({ kind = "list", item = t }) end
T.array_of = function(t) return make_schema({ kind = "array_of", item = t }) end
T.map = function(k, v) return make_schema({ kind = "map", key = k, value = v }) end
T.map_of = function(k, v) return make_schema({ kind = "map_of", key = k, value = v }) end
T.opt = function(t) return make_schema({ kind = "optional", inner = t }) end
T.optional = T.opt
T.one_of = function(values) return make_schema({ kind = "one_of", values = values }) end
T.shape = function(fields, opts)
return make_schema({ kind = "shape", fields = fields, opts = opts or {} })
end
T.described = function(schema, desc)
return make_schema({ kind = "described", inner = schema, desc = desc })
end
T.discriminated = function(tag, variants)
return make_schema({ kind = "discriminated", tag = tag, variants = variants })
end
T._internal = {
is_schema = function(v) return type(v) == "table" end,
}
return T
"##;
const PRELOAD_MODULES: &[(&str, &str)] = &[
("tools.docs.list", LUA_DOCS_LIST),
("tools.docs.extract", LUA_DOCS_EXTRACT),
("tools.docs.projections", LUA_DOCS_PROJECTIONS),
("tools.docs.pkg_info", LUA_DOCS_PKG_INFO),
("tools.docs.json", LUA_DOCS_JSON),
("tools.docs.lint", LUA_DOCS_LINT),
("tools.docs.entity_schemas", LUA_DOCS_ENTITY_SCHEMAS),
("alc_shapes", LUA_ALC_SHAPES_STUB),
("alc_shapes.t", LUA_ALC_SHAPES_T_STUB),
];
const HOOK_SCRIPT: &str = r##"
os.exit = function(code)
local c = code or 0
local tbl = { __gendoc_exit = c }
-- Attach __tostring so the raw mlua error message embeds the
-- code as "__gendoc_exit=N", letting the Rust side recover it
-- via substring match instead of walking CallbackError internals.
setmetatable(tbl, { __tostring = function(self)
return string.format("__gendoc_exit=%d", self.__gendoc_exit or 0)
end })
error(tbl, 0)
end
io.stdout = {
write = function(self, ...)
local args = { ... }
for i = 1, select("#", ...) do
args[i] = tostring(args[i])
end
_gendoc_out_append(table.concat(args))
return self
end,
}
io.stderr = {
write = function(self, ...)
local args = { ... }
for i = 1, select("#", ...) do
args[i] = tostring(args[i])
end
_gendoc_err_append(table.concat(args))
return self
end,
}
print = function(...)
local args = { ... }
for i = 1, select("#", ...) do
args[i] = tostring(args[i])
end
_gendoc_out_append(table.concat(args, "\t") .. "\n")
end
"##;
const EXIT_MARKER: &str = "__gendoc_exit";
impl AppService {
pub fn hub_gendoc(
&self,
source_dir: &str,
out_dir: Option<&str>,
projections: Option<&[String]>,
config_path: Option<&str>,
lint_strict: Option<bool>,
) -> Result<String, String> {
let projection_flags = ProjectionFlags::from_list(projections)?;
if (projection_flags.context7 || projection_flags.devin) && config_path.is_none() {
return Err(
"gendoc: config_path is required when projections include context7 or devin"
.to_string(),
);
}
let resolved_out_dir = out_dir
.map(|s| s.to_string())
.unwrap_or_else(|| format!("{source_dir}/docs"));
let lua = Lua::new();
register_preloads(&lua)?;
if let Some(path) = config_path {
inject_config_preloads(&lua, path)?;
}
let out_buf: Arc<Mutex<String>> = Arc::new(Mutex::new(String::new()));
let err_buf: Arc<Mutex<String>> = Arc::new(Mutex::new(String::new()));
install_io_hooks(&lua, Arc::clone(&out_buf), Arc::clone(&err_buf))?;
install_argv(
&lua,
source_dir,
&resolved_out_dir,
&projection_flags,
lint_strict.unwrap_or(false),
)?;
lua.load(HOOK_SCRIPT)
.set_name("@embedded:gendoc/hooks.lua")
.exec()
.map_err(|e| format!("gendoc: hooks inject failed: {e}"))?;
let gen_docs_body = strip_shebang(LUA_GEN_DOCS);
let exec_result = lua
.load(gen_docs_body)
.set_name("@embedded:gendoc/gen_docs.lua")
.exec();
let stdout_txt = read_buf(&out_buf)?;
let stderr_txt = read_buf(&err_buf)?;
match exec_result {
Ok(()) => {}
Err(e) => {
if let Some(code) = extract_exit_code(&e) {
if code != 0 {
return Err(format!(
"gendoc: exited with code {code}\nstderr:\n{stderr_txt}"
));
}
} else {
return Err(format!("gendoc: Lua error: {e}\nstderr:\n{stderr_txt}"));
}
}
}
Ok(build_response_json(
source_dir,
&resolved_out_dir,
&stdout_txt,
&stderr_txt,
))
}
}
#[derive(Debug, Default, Clone, Copy)]
struct ProjectionFlags {
hub: bool,
context7: bool,
devin: bool,
lint: bool,
lint_only: bool,
}
impl ProjectionFlags {
fn from_list(projections: Option<&[String]>) -> Result<Self, String> {
let mut f = ProjectionFlags::default();
let Some(list) = projections else {
return Ok(f);
};
for p in list {
match p.as_str() {
"hub" => f.hub = true,
"context7" => f.context7 = true,
"devin" => f.devin = true,
"lint" => f.lint = true,
"lint_only" => {
f.lint_only = true;
f.lint = true;
}
_ => {
return Err(format!(
"gendoc: unknown projection '{p}' (allowed: hub, context7, devin, lint, lint_only)"
));
}
}
}
Ok(f)
}
}
fn register_preloads(lua: &Lua) -> Result<(), String> {
let preload = preload_table(lua)?;
for (mod_name, src) in PRELOAD_MODULES.iter().copied() {
register_single_preload(lua, &preload, mod_name, src)?;
}
Ok(())
}
fn preload_table(lua: &Lua) -> Result<Table, String> {
let package: Table = lua
.globals()
.get("package")
.map_err(|e| format!("gendoc: globals().package lookup failed: {e}"))?;
let preload: Table = package
.get("preload")
.map_err(|e| format!("gendoc: package.preload lookup failed: {e}"))?;
Ok(preload)
}
fn register_single_preload(
lua: &Lua,
preload: &Table,
mod_name: &'static str,
src: &'static str,
) -> Result<(), String> {
let chunk_name = format!("@embedded:gendoc/{mod_name}.lua");
let loader = lua
.create_function(move |lua, ()| lua.load(src).set_name(chunk_name.clone()).eval::<Value>())
.map_err(|e| format!("gendoc: preload create_function failed for {mod_name}: {e}"))?;
preload
.set(mod_name, loader)
.map_err(|e| format!("gendoc: preload.set failed for {mod_name}: {e}"))?;
Ok(())
}
fn inject_config_preloads(lua: &Lua, config_path: &str) -> Result<(), String> {
let src = std::fs::read_to_string(config_path)
.map_err(|e| format!("gendoc: config_path '{config_path}' load failed: {e}"))?;
let config: GendocConfig = toml::from_str(&src)
.map_err(|e| format!("gendoc: config_path '{config_path}' parse failed: {e}"))?;
let preload = preload_table(lua)?;
inject_config_subtable(
lua,
&preload,
config.context7,
"context7",
"_gendoc_context7_config",
"tools.docs.context7_config",
)?;
inject_config_subtable(
lua,
&preload,
config.devin,
"devin",
"_gendoc_devin_config",
"tools.docs.devin_wiki_config",
)?;
Ok(())
}
fn inject_config_subtable(
lua: &Lua,
preload: &Table,
value: Option<toml::Value>,
key: &'static str,
global_key: &'static str,
module_name: &'static str,
) -> Result<(), String> {
match value {
None => Ok(()),
Some(v) => {
let lua_value = toml_to_lua_value(lua, &v)
.map_err(|e| format!("gendoc: config '{key}' conversion failed: {e}"))?;
match lua_value {
Value::Table(_) => {
lua.globals()
.set(global_key, lua_value)
.map_err(|e| format!("gendoc: stash {global_key} failed: {e}"))?;
register_config_loader(lua, preload, module_name, global_key)
}
other => Err(format!(
"gendoc: config '{key}' must be a table, got {}",
other.type_name()
)),
}
}
}
}
#[derive(Debug, Deserialize)]
struct GendocConfig {
context7: Option<toml::Value>,
devin: Option<toml::Value>,
}
fn toml_to_lua_value(lua: &Lua, value: &toml::Value) -> Result<Value, String> {
match value {
toml::Value::String(s) => Ok(Value::String(
lua.create_string(s)
.map_err(|e| format!("create string failed: {e}"))?,
)),
toml::Value::Integer(i) => Ok(Value::Integer(*i)),
toml::Value::Float(f) => Ok(Value::Number(*f)),
toml::Value::Boolean(b) => Ok(Value::Boolean(*b)),
toml::Value::Datetime(dt) => Ok(Value::String(
lua.create_string(dt.to_string())
.map_err(|e| format!("create datetime string failed: {e}"))?,
)),
toml::Value::Array(arr) => {
let table = lua
.create_table()
.map_err(|e| format!("create array table failed: {e}"))?;
for (idx, item) in arr.iter().enumerate() {
let v = toml_to_lua_value(lua, item)?;
table
.set((idx + 1) as i64, v)
.map_err(|e| format!("set array item [{idx}] failed: {e}"))?;
}
Ok(Value::Table(table))
}
toml::Value::Table(map) => {
let table = lua
.create_table()
.map_err(|e| format!("create map table failed: {e}"))?;
for (k, v) in map {
let vv = toml_to_lua_value(lua, v)?;
table
.set(k.as_str(), vv)
.map_err(|e| format!("set map key '{k}' failed: {e}"))?;
}
Ok(Value::Table(table))
}
}
}
fn register_config_loader(
lua: &Lua,
preload: &Table,
module_name: &'static str,
global_key: &'static str,
) -> Result<(), String> {
let loader = lua
.create_function(move |lua, ()| lua.globals().get::<Value>(global_key))
.map_err(|e| format!("gendoc: config loader for {module_name} failed: {e}"))?;
preload
.set(module_name, loader)
.map_err(|e| format!("gendoc: preload.set failed for {module_name}: {e}"))?;
Ok(())
}
fn install_io_hooks(
lua: &Lua,
out_buf: Arc<Mutex<String>>,
err_buf: Arc<Mutex<String>>,
) -> Result<(), String> {
let out_for_closure = Arc::clone(&out_buf);
let append_out = lua
.create_function(move |_, s: String| {
out_for_closure
.lock()
.map_err(|e| mlua::Error::external(format!("gendoc: out buf lock: {e}")))?
.push_str(&s);
Ok(())
})
.map_err(|e| format!("gendoc: create_function _gendoc_out_append: {e}"))?;
let err_for_closure = Arc::clone(&err_buf);
let append_err = lua
.create_function(move |_, s: String| {
err_for_closure
.lock()
.map_err(|e| mlua::Error::external(format!("gendoc: err buf lock: {e}")))?
.push_str(&s);
Ok(())
})
.map_err(|e| format!("gendoc: create_function _gendoc_err_append: {e}"))?;
lua.globals()
.set("_gendoc_out_append", append_out)
.map_err(|e| format!("gendoc: globals set _gendoc_out_append: {e}"))?;
lua.globals()
.set("_gendoc_err_append", append_err)
.map_err(|e| format!("gendoc: globals set _gendoc_err_append: {e}"))?;
Ok(())
}
fn install_argv(
lua: &Lua,
source_dir: &str,
out_dir: &str,
flags: &ProjectionFlags,
lint_strict: bool,
) -> Result<(), String> {
let argv = lua
.create_table()
.map_err(|e| format!("gendoc: create argv table: {e}"))?;
let mut idx: i64 = 1;
let mut push = |v: &str| -> Result<(), String> {
argv.set(idx, v)
.map_err(|e| format!("gendoc: argv set [{idx}]: {e}"))?;
idx += 1;
Ok(())
};
push(source_dir)?;
push(out_dir)?;
if flags.hub {
push("--hub")?;
}
if flags.context7 {
push("--context7")?;
}
if flags.devin {
push("--devin")?;
}
if flags.lint_only {
push("--lint-only")?;
} else if flags.lint {
push("--lint")?;
}
if lint_strict {
push("--strict")?;
}
lua.globals()
.set("arg", argv)
.map_err(|e| format!("gendoc: globals set arg: {e}"))?;
Ok(())
}
fn strip_shebang(src: &str) -> &str {
if let Some(body) = src.strip_prefix("#!") {
match body.find('\n') {
Some(i) => &body[i + 1..],
None => "",
}
} else {
src
}
}
fn read_buf(buf: &Arc<Mutex<String>>) -> Result<String, String> {
Ok(buf
.lock()
.map_err(|e| format!("gendoc: buffer lock (read): {e}"))?
.clone())
}
fn extract_exit_code(err: &mlua::Error) -> Option<i64> {
let msg = err.to_string();
let needle = EXIT_MARKER;
let idx = msg.find(needle)?;
let rest = &msg[idx + needle.len()..];
let digits_start = rest
.char_indices()
.find(|(_, c)| c.is_ascii_digit() || *c == '-')
.map(|(i, _)| i)?;
let tail = &rest[digits_start..];
let digits_end = tail
.char_indices()
.find(|(_, c)| !c.is_ascii_digit() && *c != '-')
.map(|(i, _)| i)
.unwrap_or(tail.len());
tail[..digits_end].parse::<i64>().ok()
}
fn build_response_json(
source_dir: &str,
out_dir: &str,
stdout_txt: &str,
stderr_txt: &str,
) -> String {
let value = serde_json::json!({
"source_dir": source_dir,
"out_dir": out_dir,
"stdout": stdout_txt,
"stderr": stderr_txt,
});
value.to_string()
}
#[cfg(test)]
mod tests {
use super::*;
#[test]
fn projection_flags_defaults_are_false() {
let f = ProjectionFlags::from_list(None).expect("projection parse");
assert!(!f.hub);
assert!(!f.context7);
assert!(!f.devin);
assert!(!f.lint);
assert!(!f.lint_only);
}
#[test]
fn projection_flags_parse_known_tokens() {
let list = vec![
"hub".to_string(),
"context7".to_string(),
"devin".to_string(),
];
let f = ProjectionFlags::from_list(Some(&list)).expect("projection parse");
assert!(f.hub);
assert!(f.context7);
assert!(f.devin);
assert!(!f.lint);
}
#[test]
fn projection_flags_lint_only_implies_lint() {
let list = vec!["lint_only".to_string()];
let f = ProjectionFlags::from_list(Some(&list)).expect("projection parse");
assert!(f.lint);
assert!(f.lint_only);
}
#[test]
fn projection_flags_unknown_is_rejected() {
let list = vec!["nope".to_string(), "hub".to_string()];
let err = ProjectionFlags::from_list(Some(&list)).expect_err("must reject unknown");
assert!(err.contains("unknown projection"));
}
#[test]
fn context7_without_config_is_rejected() {
let list = vec!["context7".to_string()];
let flags = ProjectionFlags::from_list(Some(&list)).expect("projection parse");
assert!(flags.context7);
let err_expected =
"gendoc: config_path is required when projections include context7 or devin";
let err = if (flags.context7 || flags.devin) && Option::<&str>::None.is_none() {
Some(err_expected.to_string())
} else {
None
};
assert_eq!(err.as_deref(), Some(err_expected));
}
#[test]
fn extract_exit_code_parses_marker_formats() {
let err = mlua::Error::RuntimeError(
"runtime error: [string \"...\"]:2: {__gendoc_exit=2}".to_string(),
);
assert_eq!(extract_exit_code(&err), Some(2));
let err = mlua::Error::RuntimeError("runtime error: __gendoc_exit: 0 (clean)".to_string());
assert_eq!(extract_exit_code(&err), Some(0));
}
#[test]
fn extract_exit_code_returns_none_for_unrelated_errors() {
let err = mlua::Error::RuntimeError("some other Lua error".to_string());
assert!(extract_exit_code(&err).is_none());
}
#[test]
fn strip_shebang_removes_first_line_when_prefixed() {
let src = "#!/usr/bin/env lua\nreturn 1\n";
assert_eq!(strip_shebang(src), "return 1\n");
}
#[test]
fn strip_shebang_preserves_source_without_shebang() {
let src = "-- no shebang\nreturn 1\n";
assert_eq!(strip_shebang(src), src);
}
#[test]
fn strip_shebang_handles_shebang_only_without_trailing_newline() {
let src = "#!/usr/bin/env lua";
assert_eq!(strip_shebang(src), "");
}
#[test]
fn build_response_json_round_trips() {
let out = build_response_json("/src", "/src/docs", "hi", "warn");
let parsed: serde_json::Value = serde_json::from_str(&out).unwrap();
assert_eq!(parsed["source_dir"], "/src");
assert_eq!(parsed["out_dir"], "/src/docs");
assert_eq!(parsed["stdout"], "hi");
assert_eq!(parsed["stderr"], "warn");
}
}