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
use crate::ast::{
enumeration::Enum, expression::Expression, function::Function, structure::Struct, r#type::Type,
};
use crate::meta::origin::Origin;
#[derive(Debug, Clone, PartialEq)]
pub enum Statement {
FunctionDecl(Function),
StructDecl(Struct),
EnumDecl(Enum),
VariableDecl {
name: String,
ty: Type,
source_type: Option<String>,
value: Expression,
},
Assignment {
target: Expression,
value: Expression,
},
Conditional {
condition: Expression,
then_block: Vec<Self>,
else_block: Vec<Self>,
},
Return(Option<Expression>),
Expr(Expression),
/// `for _, VAR in pairs/ipairs(ITER) do BODY end` in Lua.
ForIn {
var: String,
iter: Expression,
body: Vec<Self>,
/// When true, emit `ipairs` (ordered); otherwise `pairs`.
ipairs: bool,
},
/// `for VAR = START, LIMIT do BODY end` in Lua (inclusive limit, step 1).
ForNumeric {
var: String,
start: Expression,
limit: Expression,
body: Vec<Self>,
},
/// `while CONDITION do BODY end` in Lua. Rust `loop { }` lowers with
/// `condition = true`.
While {
condition: Expression,
body: Vec<Self>,
},
/// `goto __continue_N` in Lua (the label `::__continue_N::` is emitted by
/// the enclosing `ForIn` / `ForNumeric` / `While`).
Continue,
/// Lua `break` (exits the innermost loop).
Break,
/// Verbatim Lua source emitted as-is (from `lua! { ... }` in unsafe context).
///
/// Each line of `code` is emitted with the current generator indent prefix.
/// The optimizer and pruner treat this variant as fully opaque.
RawLua {
code: String,
},
/// Marks the Rust origin of the following executable statement(s).
///
/// Consumed by codegen when building sourcemaps; emits no Lua. Opt/prune
/// passes should preserve these markers (or drop them only with the
/// statements they annotate).
SourceOrigin {
origin: Origin,
},
}