algorithmify 0.1.1

Create specifications for algorithms defined using Rust code
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

use crate::{expressions::Expression, Function};

use self::context::{Context, ContractMap};

pub mod context;

pub struct Interpreter {
    root_context: Context,
}

impl Interpreter {
    pub fn new(contracts: ContractMap) -> Self {
        Self {
            root_context: Context::new(contracts),
        }
    }

    pub fn execute_function(function: Function) -> anyhow::Result<Expression> {
        let mut interpreter = Interpreter::new(function.contracts.clone());
        function.execute(&mut interpreter.root_context, vec![])
    }

    pub fn execute_function_with_args(
        function: Function,
        expressions: Vec<Expression>,
    ) -> anyhow::Result<Expression> {
        let mut interpreter = Interpreter::new(function.contracts.clone());
        function.execute(&mut interpreter.root_context, expressions)
    }
}