hugr_cli/
validate.rs

1//! The `validate` subcommand.
2
3use anyhow::Result;
4use clap::Parser;
5use hugr::HugrView;
6use hugr::package::PackageValidationError;
7use tracing::info;
8
9use crate::CliError;
10use crate::hugr_io::HugrInputArgs;
11
12/// Validate and visualise a HUGR file.
13#[derive(Parser, Debug)]
14#[clap(version = "1.0", long_about = None)]
15#[clap(about = "Validate a HUGR.")]
16#[group(id = "hugr")]
17#[non_exhaustive]
18pub struct ValArgs {
19    /// Hugr input.
20    #[command(flatten)]
21    pub input_args: HugrInputArgs,
22}
23
24/// String to print when validation is successful.
25pub const VALID_PRINT: &str = "HUGR valid!";
26
27impl ValArgs {
28    /// Run the HUGR cli and validate against an extension registry.
29    pub fn run(&mut self) -> Result<()> {
30        if self.input_args.hugr_json {
31            let hugr = self.input_args.get_hugr()?;
32            hugr.validate()
33                .map_err(PackageValidationError::Validation)
34                .map_err(CliError::Validate)?;
35        } else {
36            let package = self.input_args.get_package()?;
37            package.validate().map_err(CliError::Validate)?;
38        };
39
40        info!("{VALID_PRINT}");
41
42        Ok(())
43    }
44}
hugr_cli/validate.rs

hugr_cli/
validate.rs
