#![cfg_attr(coverage_nightly, coverage(off))]
use super::CommandDispatcher;
use crate::cli::commands::QddCommands;
use crate::cli::handlers::cache::CacheCommand;
use crate::cli::handlers::memory::MemoryCommand;
use crate::cli::{AnalyzeCommands, RefactorCommands};
impl CommandDispatcher {
#[provable_contracts_macros::contract("pmat-core.yaml", equation = "check_compliance")]
pub async fn execute_analyze_command(analyze_cmd: AnalyzeCommands) -> anyhow::Result<()> {
crate::cli::handlers::route_analyze_command(analyze_cmd).await
}
#[provable_contracts_macros::contract("pmat-core.yaml", equation = "check_compliance")]
pub async fn execute_qdd_command(qdd_cmd: QddCommands) -> anyhow::Result<()> {
crate::cli::handlers::qdd_handlers::handle_qdd_command(qdd_cmd).await
}
#[provable_contracts_macros::contract("pmat-core.yaml", equation = "check_compliance")]
pub async fn execute_refactor_command(refactor_cmd: RefactorCommands) -> anyhow::Result<()> {
crate::cli::handlers::route_refactor_command(refactor_cmd).await
}
#[provable_contracts_macros::contract("pmat-core.yaml", equation = "check_compliance")]
pub async fn execute_memory_command(memory_cmd: MemoryCommand) -> anyhow::Result<()> {
crate::cli::handlers::handle_memory_command(&memory_cmd).await
}
#[provable_contracts_macros::contract("pmat-core.yaml", equation = "check_compliance")]
pub async fn execute_cache_command(cache_cmd: CacheCommand) -> anyhow::Result<()> {
crate::cli::handlers::handle_cache_command(&cache_cmd).await
}
}