soroban-cli 26.0.0

Soroban CLI
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43

use clap::Parser;

use crate::{commands::global, print::Print, wasm};

/// Verify that a contract's spec references only defined types
///
/// Reads a contract WASM and checks that all user-defined types (UDTs)
/// referenced in function signatures, events, and type definitions are
/// defined within the spec itself.
#[derive(Parser, Debug, Clone)]
#[group(skip)]
pub struct Cmd {
    #[command(flatten)]
    wasm: wasm::Args,
}

#[derive(thiserror::Error, Debug)]
pub enum Error {
    #[error(transparent)]
    Wasm(#[from] wasm::Error),
    #[error(transparent)]
    Spec(#[from] soroban_spec_tools::Error),
    #[error("contract spec has undefined types")]
    VerifyFailed,
}

impl Cmd {
    pub fn run(&self, global_args: &global::Args) -> Result<(), Error> {
        let print = Print::new(global_args.quiet);
        let wasm_bytes = self.wasm.read()?;
        let spec = soroban_spec_tools::Spec::from_wasm(&wasm_bytes)?;
        let warnings = spec.verify();
        if warnings.is_empty() {
            print.checkln("contract spec verification passed: all types are defined");
        } else {
            for w in &warnings {
                print.errorln(w);
            }
            return Err(Error::VerifyFailed);
        }
        Ok(())
    }
}