sui_adapter_latest/static_programmable_transactions/typing/invariant_checks/
mod.rs

1// Copyright (c) Mysten Labs, Inc.
2// SPDX-License-Identifier: Apache-2.0
3
4use crate::{
5    execution_mode::ExecutionMode,
6    static_programmable_transactions::{env, typing::ast as T},
7};
8pub mod defining_ids_in_types;
9pub mod memory_safety;
10pub mod type_check;
11
12pub fn transaction<Mode: ExecutionMode>(
13    env: &env::Env<Mode>,
14    tt: &T::Transaction,
15) -> Result<(), Mode::Error> {
16    defining_ids_in_types::verify(env, tt)?;
17    type_check::verify::<Mode>(env, tt)?;
18    memory_safety::verify(env, tt)?;
19    // Add in other invariants checks here as needed/desired.
20    Ok(())
21}