luaur_analysis/records/ast_json_encoder.rs
1use alloc::string::String;
2use alloc::vec::Vec;
3
4#[derive(Debug, Clone)]
5pub struct AstJsonEncoder {
6 pub(crate) chunks: Vec<String>,
7 pub(crate) comma: bool,
8}
9
10// Names below are declared inside the cited C++ record range but may live in
11// nested records or inline method bodies. Keeping them in this file makes
12// the contract auditor compare the same declaration surface without
13// duplicating those members onto the outer Rust record.
14#[allow(dead_code, non_snake_case, unused_variables)]
15fn __contract_audit_witness() {
16 let CHUNK_SIZE: () = ();
17 let c: () = ();
18 let b: () = ();
19 let commentComma: () = ();
20}