sui_adapter_latest/static_programmable_transactions/typing/verify/
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};
8
9pub mod drop_safety;
10pub mod input_arguments;
11pub mod memory_safety;
12pub mod move_functions;
13pub mod private_entry_arguments;
14
15pub fn transaction<Mode: ExecutionMode>(
16    env: &env::Env<Mode>,
17    ast: &mut T::Transaction,
18) -> Result<(), Mode::Error> {
19    input_arguments::verify::<Mode>(env, &*ast)?;
20    move_functions::verify::<Mode>(env, &*ast)?;
21    memory_safety::verify(env, &*ast)?;
22    drop_safety::refine_and_verify::<Mode>(env, ast)?;
23    private_entry_arguments::verify::<Mode>(env, &*ast)?;
24    Ok(())
25}