hdp 0.9.0

All Herodotus Data Processor
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
44
45
46
47
48
49
50
51
52
53
54

use std::path::{Path, PathBuf};
use thiserror::Error;

pub mod dry_run;
pub mod input;
pub mod run;

#[derive(Error, Debug)]
pub enum CairoRunnerError {
    #[error("Error while running the cairo program")]
    CairoRunError,

    #[error("Error while parsing json: {0}")]
    ParseError(#[from] serde_json::Error),

    #[error("Input file is empty")]
    EmptyInput,

    #[error("Error while temp file creation: {0}")]
    TempFileError(#[from] std::io::Error),

    #[error("Error while convert to alloy: {0}")]
    ConvertToAlloyError(#[from] alloy::primitives::ruint::ParseError),

    #[error("Error while parse int: {0}")]
    ParseIntError(#[from] std::num::ParseIntError),

    #[error("Result root not found")]
    ResultRootNotFound,

    #[error("Geneal error: {0}")]
    GeneralError(#[from] anyhow::Error),
}

/// Compatible with cairo-run command
pub fn cairo_run(
    program_path: &Path,
    input_string: String,
    pie_file_path: Option<&PathBuf>,
    is_proof_mode: bool,
) -> Result<run::RunResult, CairoRunnerError> {
    let cairo_runner = run::Runner::new(program_path);
    cairo_runner.run(input_string, pie_file_path, is_proof_mode)
}

/// Compatible with cairo-run command, performs dry run
pub fn cairo_dry_run(
    program_path: PathBuf,
    input_string: String,
    output_file_path: Option<PathBuf>,
) -> Result<dry_run::DryRunResult, CairoRunnerError> {
    let dry_runner = dry_run::DryRunner::new(program_path, output_file_path);
    dry_runner.run(input_string)
}