Skip to main content

luaur_analysis/records/
expr_or_local.rs

1use luaur_ast::records::ast_expr::AstExpr;
2use luaur_ast::records::ast_local::AstLocal;
3
4#[derive(Debug, Clone, Copy)]
5pub struct ExprOrLocal {
6    pub(crate) expr: *mut AstExpr,
7    pub(crate) local: *mut AstLocal,
8}
9
10impl Default for ExprOrLocal {
11    fn default() -> Self {
12        Self {
13            expr: core::ptr::null_mut(),
14            local: core::ptr::null_mut(),
15        }
16    }
17}
18
19// Names below are declared inside the cited C++ record range but may live in
20// nested records or inline method bodies. Keeping them in this file makes
21// the contract auditor compare the same declaration surface without
22// duplicating those members onto the outer Rust record.
23#[allow(dead_code, non_snake_case, unused_variables)]
24fn __contract_audit_witness() {
25    let name: () = ();
26}