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};
8use sui_types::error::ExecutionError;
9
10pub mod defining_ids_in_types;
11pub mod memory_safety;
12pub mod type_check;
13
14pub fn transaction<Mode: ExecutionMode>(
15    env: &env::Env,
16    tt: &T::Transaction,
17) -> Result<(), ExecutionError> {
18    defining_ids_in_types::verify(env, tt)?;
19    type_check::verify::<Mode>(env, tt)?;
20    memory_safety::verify(env, tt)?;
21    // Add in other invariants checks here as needed/desired.
22    Ok(())
23}