unluac 1.2.0

Multi-dialect Lua decompiler written in Rust.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129

//! Naming 层调试输出。

use std::fmt::Write as _;

use crate::debug::{DebugColorMode, DebugDetail, DebugFilters, ProtoDepth, colorize_debug_text};

use super::{FunctionNameMap, NameMap};

/// 输出 Naming 的调试文本。
pub fn dump_naming(
    names: &NameMap,
    detail: DebugDetail,
    filters: &DebugFilters,
    color: DebugColorMode,
) -> String {
    let mut output = String::new();
    let _ = writeln!(output, "===== Dump Naming =====");
    let _ = writeln!(
        output,
        "naming mode={} functions={}",
        names.mode.as_str(),
        names.functions.len()
    );
    if let Some(proto_id) = filters.proto {
        let _ = writeln!(output, "filters proto=proto#{proto_id}");
    }
    let _ = writeln!(output, "filters proto_depth={}", filters.proto_depth);
    let _ = writeln!(output);

    // Naming 不持有 proto 父子拓扑；按「focus=proto」+「depth 控制是否展开其他 proto」
    // 的最小化语义来消费 filters：
    // - depth = Fixed(0) 时：只展示焦点 proto（未指定则默认 proto 0）；其余以单行
    //   `<elided>` 占位，提醒调用者存在其他 proto。
    // - depth = Fixed(N>=1) 或 All：展示全部 proto（naming 没有层级可言，简化处理）。
    let focus = filters.proto.unwrap_or(0);
    let expand_all = !matches!(filters.proto_depth, ProtoDepth::Fixed(0));

    for (index, function) in names.functions.iter().enumerate() {
        if expand_all || index == focus {
            let _ = writeln!(output, "proto#{index}");
            write_function(&mut output, function, detail);
        } else {
            let _ = writeln!(
                output,
                "proto#{index} <elided> params={} locals={} upvalues={}",
                function.params.len(),
                function.locals.len(),
                function.upvalues.len(),
            );
        }
    }

    colorize_debug_text(&output, color)
}

fn write_function(output: &mut String, function: &FunctionNameMap, detail: DebugDetail) {
    write_section(output, "params", "p", &function.params, detail);
    write_section(output, "locals", "l", &function.locals, detail);
    write_sparse_section(
        output,
        "synthetic-locals",
        "sl",
        function.synthetic_locals.iter(),
        detail,
    );
    write_section(output, "upvalues", "u", &function.upvalues, detail);
}

fn write_section(
    output: &mut String,
    title: &str,
    prefix: &str,
    names: &[super::NameInfo],
    detail: DebugDetail,
) {
    if names.is_empty() && matches!(detail, DebugDetail::Summary) {
        return;
    }
    let _ = writeln!(output, "  {title}");
    if names.is_empty() {
        let _ = writeln!(output, "    <empty>");
        return;
    }
    for (index, info) in names.iter().enumerate() {
        let rename_note = if info.renamed {
            ", renamed-for-conflict"
        } else {
            ""
        };
        let source = info.source.as_str();
        let _ = writeln!(
            output,
            "    {prefix}{index} -> {} (source={source}{rename_note})",
            info.text,
        );
    }
}

fn write_sparse_section<'a>(
    output: &mut String,
    title: &str,
    prefix: &str,
    names: impl Iterator<Item = (&'a crate::ast::AstSyntheticLocalId, &'a super::NameInfo)>,
    detail: DebugDetail,
) {
    let names = names.collect::<Vec<_>>();
    if names.is_empty() && matches!(detail, DebugDetail::Summary) {
        return;
    }
    let _ = writeln!(output, "  {title}");
    if names.is_empty() {
        let _ = writeln!(output, "    <empty>");
        return;
    }
    for (index, info) in names {
        let rename_note = if info.renamed {
            ", renamed-for-conflict"
        } else {
            ""
        };
        let source = info.source.as_str();
        let _ = writeln!(
            output,
            "    {prefix}{} -> {} (source={source}{rename_note})",
            index.index(),
            info.text,
        );
    }
}