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

use pest::iterators::Pair;
use pest::Parser;

use super::contract::RContract;
use crate::ast::attribute::WithAttributes;
use crate::parser::error::new_generic_error;
use crate::parser::parser::{FromPair, Located, MeplangParser, Rule};

#[derive(Default, Debug, Clone)]
pub struct RFile(pub Vec<Located<WithAttributes<Located<RContract>>>>);

impl RFile {
    pub fn new(code: String) -> Result<Self, pest::error::Error<Rule>> {
        let mut pairs = MeplangParser::parse(Rule::file, &code)?;
        let Some(file) = pairs.next() else {
            return Err(new_generic_error("invalid file".to_owned()));
        };
        if pairs.next() != None {
            return Err(new_generic_error("invalid file".to_owned()));
        }

        RFile::from_pair(file)
    }
}

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

        let mut contracts = Vec::<Located<WithAttributes<Located<RContract>>>>::new();
        match file.as_rule() {
            Rule::file => {
                for contract_decl_with_attr in file.into_inner() {
                    match contract_decl_with_attr.as_rule() {
                        Rule::EOI => (),
                        Rule::contract_decl_with_attr => {
                            contracts.push(Located::<WithAttributes<Located<RContract>>>::from_pair(
                                contract_decl_with_attr,
                            )?);
                        },
                        _ => unreachable!(),
                    }
                }
            },
            _ => unreachable!(),
        }
        Ok(Self(contracts))
    }
}