luna-core 2.13.0

//! Lua dialect selection.
//!
//! Grammar and semantics switches are expressed as capability predicates, not
//! version comparisons at use sites, so further dialects can be added by
//! extending this enum only.

/// Lua dialect the VM emulates. Drives lexer, parser, and runtime feature
/// gating. `Lua55` is the primary; the others are compat modes; `MacroLua`
/// (v1.3 Phase ML) is an additive dialect built on top of the 5.4 base.
///
/// **Enum ordering note**: `MacroLua` is placed **between `Lua54` and
/// `Lua55`** on purpose. The capability predicates below use `>=` / `<=`
/// comparisons; placing `MacroLua` immediately after `Lua54` means
/// MacroLua inherits every 5.4-and-earlier capability for free while
/// staying below the 5.5-only gate (`global` keyword, named vararg).
#[derive(Clone, Copy, PartialEq, Eq, PartialOrd, Ord, Debug)]
pub enum LuaVersion {
    /// Lua 5.1 — no integer subtype, `arg` table, no `goto`.
    Lua51,
    /// Lua 5.2 — adds `goto` / `bit32` / `\xXX` escapes, retires `setfenv`.
    Lua52,
    /// Lua 5.3 — adds native 64-bit integers, bitwise ops, `string.pack`.
    Lua53,
    /// Lua 5.4 — adds `<const>` / `<close>` attributes and integer-for spec.
    Lua54,
    /// MacroLua (v1.3 Phase ML) — 5.4 base + compile-time macros
    /// (`@name(args)`, `@quote{...}`, `@if`, `@gensym`). Opt-in via
    /// `Vm::new(LuaVersion::MacroLua)`; PUC 5.1-5.5 lexer/parser
    /// behavior is **not** affected. See `docs/compatibility.md`
    /// "MacroLua extensions".
    MacroLua,
    /// Lua 5.5 — adds `global` declarations and named vararg parameters.
    Lua55,
}

impl LuaVersion {
    /// Integer subtype and integer literals (5.3+).
    pub fn has_integers(self) -> bool {
        self >= LuaVersion::Lua53
    }

    /// `goto` / `::label::` (5.2+); `goto` is a reserved word.
    pub fn has_goto(self) -> bool {
        self >= LuaVersion::Lua52
    }

    /// `& | ~ << >>` operators (5.3+).
    pub fn has_bitwise_ops(self) -> bool {
        self >= LuaVersion::Lua53
    }

    /// `//` floor division (5.3+).
    pub fn has_idiv(self) -> bool {
        self >= LuaVersion::Lua53
    }

    /// `<const>` / `<close>` attributes on local declarations (5.4+).
    pub fn has_attribs(self) -> bool {
        self >= LuaVersion::Lua54
    }

    /// Hexadecimal float literals `0x1p4` (5.2+).
    pub fn has_hex_float(self) -> bool {
        self >= LuaVersion::Lua52
    }

    /// String escapes `\z`, `\xXX` (5.2+) and `\u{XXX}` (5.3+).
    pub fn has_extended_escapes(self) -> bool {
        self >= LuaVersion::Lua52
    }

    /// `\u{XXX}` unicode escape specifically (5.3+).
    pub fn has_unicode_escape(self) -> bool {
        self >= LuaVersion::Lua53
    }

    /// Empty statement `;` (5.2+).
    pub fn has_empty_statement(self) -> bool {
        self >= LuaVersion::Lua52
    }

    /// `global` declarations; `global` is a reserved word (5.5+).
    pub fn has_global_decl(self) -> bool {
        self >= LuaVersion::Lua55
    }

    /// Named vararg parameter `function f(...name)` (5.5+).
    pub fn has_named_vararg(self) -> bool {
        self >= LuaVersion::Lua55
    }

    /// Leading collective attribute in declarations: `local <const> a, b` (5.5+).
    pub fn has_collective_attrib(self) -> bool {
        self >= LuaVersion::Lua55
    }

    /// In 5.1 `break` is a "last statement" like `return`; later versions allow
    /// it anywhere in a block.
    pub fn break_is_last_statement(self) -> bool {
        self == LuaVersion::Lua51
    }

    /// In 5.1, `[[` inside a level-0 long string is an error
    /// ("nesting of [[...]] is deprecated").
    pub fn rejects_nested_long_string(self) -> bool {
        self == LuaVersion::Lua51
    }

    /// MacroLua dialect — compile-time macros enabled in lexer/parser.
    /// Base semantics = Lua 5.4 (audit-locked, v1.3 Phase ML).
    pub fn is_macro_lua(self) -> bool {
        self == LuaVersion::MacroLua
    }
}