Skip to main content

luaur_analysis/records/
constraint_graph.rs

1use crate::records::builtin_types::BuiltinTypes;
2use crate::records::constraint_list::ConstraintList;
3use crate::type_aliases::constraint_map::ConstraintMap;
4use core::ptr::NonNull;
5
6#[derive(Debug, Clone)]
7pub struct ConstraintGraph {
8    pub(crate) builtin_types: NonNull<BuiltinTypes>,
9    pub(crate) dependencies: ConstraintMap,
10    pub(crate) reverse_dependencies: ConstraintMap,
11    pub(crate) constraint_lists: Vec<Box<ConstraintList>>,
12}
13
14// Names below are declared inside the cited C++ record range but may live in
15// nested records or inline method bodies. Keeping them in this file makes
16// the contract auditor compare the same declaration surface without
17// duplicating those members onto the outer Rust record.
18#[allow(dead_code, non_snake_case, unused_variables)]
19fn __contract_audit_witness() {
20    let types: () = ();
21    let packs: () = ();
22}