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
28
29
30
31
32
33
34
35
36
37
38

use std::time::Duration;

use rtlola_streamir::{
    formatter::{expressions::ExprFormatter, guards::DefaultGuardFormatter},
    ir::{expressions::Expr, LocalFreqRef, StreamReference},
};

use crate::SolidityFormatter;

impl DefaultGuardFormatter for SolidityFormatter {
    fn stream(&self, _sr: StreamReference) -> String {
        unreachable!("partial evaluation")
    }

    fn alive(&self, sr: StreamReference) -> String {
        format!("{}_spawned", self.name(sr))
    }

    fn dynamic(&self, expr: Expr) -> String {
        self.expr(expr)
    }

    fn global_freq(&self, _duration: Duration) -> String {
        unimplemented!("no time-based in solidity")
    }

    fn local_freq(&self, _freq_ref: LocalFreqRef) -> String {
        unimplemented!("no time-based in solidity")
    }

    fn constant(&self, b: bool) -> String {
        match b {
            true => "true",
            false => "false",
        }
        .into()
    }
}