Skip to main content

aprender_contracts_cli/commands/
mirai.rs

1use std::path::Path;
2
3use provable_contracts::mirai_gen::generate_mirai_annotations;
4use provable_contracts::schema::parse_contract;
5
6pub fn run(path: &Path) -> Result<(), Box<dyn std::error::Error>> {
7    let contract = parse_contract(path)?;
8    let stem = path
9        .file_stem()
10        .and_then(|s| s.to_str())
11        .unwrap_or("unknown");
12
13    let output = generate_mirai_annotations(&contract, stem);
14    print!("{output}");
15
16    Ok(())
17}