impl CommandDispatcher {
#[provable_contracts_macros::contract("pmat-core.yaml", equation = "check_compliance")]
pub async fn execute_analyze_command(analyze_cmd: AnalyzeCommands) -> anyhow::Result<()> {
super::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<()> {
super::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<()> {
super::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<()> {
super::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<()> {
super::handlers::handle_cache_command(&cache_cmd).await
}
}