meplang 0.1.8

An EVM low-level language that gives full control over the control flow of the smart contract.
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
55
56
57
58
59
60
61

use pest::iterators::Pair;

use super::variable::RVariable;
use crate::ast::attribute::WithAttributes;
use crate::ast::block::RBlock;
use crate::ast::constant::RConstant;
use crate::parser::parser::{get_next, FromPair, Located, Rule};

#[derive(Debug, Clone)]
pub struct RContract {
    pub name: Located<RVariable>,
    pub blocks: Vec<Located<WithAttributes<Located<RBlock>>>>,
    pub constants: Vec<Located<RConstant>>,
}

impl RContract {
    pub fn name_str(&self) -> &str {
        &self.name.as_str()
    }
}

impl FromPair for RContract {
    fn from_pair(contract_decl: Pair<Rule>) -> Result<Self, pest::error::Error<Rule>>
    where
        Self: Sized,
    {
        assert!(contract_decl.as_rule() == Rule::contract_decl);

        let mut contract_decl_inner = contract_decl.into_inner();

        _ = get_next(&mut contract_decl_inner, Rule::contract_keyword);

        let name = Located::<RVariable>::from_pair(get_next(&mut contract_decl_inner, Rule::variable))?;

        _ = get_next(&mut contract_decl_inner, Rule::open_brace);

        let mut blocks = Vec::<Located<WithAttributes<Located<RBlock>>>>::new();
        let mut constants = Vec::<Located<RConstant>>::new();
        while let Some(contract_item) = contract_decl_inner.next() {
            match contract_item.as_rule() {
                Rule::block_decl_with_attr => {
                    blocks.push(Located::<WithAttributes<Located<RBlock>>>::from_pair(contract_item)?);
                },
                Rule::const_decl => {
                    constants.push(Located::<RConstant>::from_pair(contract_item)?);
                },
                Rule::close_brace => {
                    assert!(contract_decl_inner.next() == None);
                    return Ok(Self {
                        name,
                        blocks,
                        constants,
                    });
                },
                _ => unreachable!(),
            }
        }

        unreachable!()
    }
}