rtlola2solidity 0.1.0

A compiler from RTLola to Solidity through StreamIR
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

use rtlola_streamir::{
    formatter::types::TypeFormatter,
    ir::{InputReference, StreamReference},
};

use crate::{functions::FunctionDefinition, RequirementKey, SolidityFormatter};

pub(super) struct EvalInputFunction(pub(super) InputReference);

impl FunctionDefinition for EvalInputFunction {
    fn header(&self, f: &SolidityFormatter) -> String {
        let ty = f.ty(f.stream_type(StreamReference::In(self.0)).clone());
        format!("{}({ty} value)", self.name(f))
    }

    fn body(self, f: &SolidityFormatter) -> String {
        f.set_buffer_value(StreamReference::In(self.0), "value")
    }

    fn key(&self) -> RequirementKey {
        RequirementKey::EvalFunction(StreamReference::In(self.0), 0)
    }

    fn name(&self, f: &SolidityFormatter) -> String {
        format!("eval_{}", f.name(StreamReference::In(self.0)))
    }
}