rtlola-parser 0.4.0

A parser for RTLola specifications.
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

use rtlola_reporting::RtLolaError;

use super::{ChangeSet, ExprOrigin, SynSugar};
use crate::{
    ast::{Expression, ExpressionKind, Offset, RtLolaAst},
    syntactic_sugar::builder::Builder,
};

/// Allows for using a offset(by: off, or: dft) function to assign an offset access a default value directly.
///
/// Transforms:
/// a.offset(by: off, or: dft) => a.offset(by: off).defaults(to: dft)
#[derive(Debug, Clone)]
pub(crate) struct OffsetOr {}

impl OffsetOr {
    fn apply(&self, expr: &Expression, ast: &RtLolaAst) -> ChangeSet {
        match &expr.kind {
            ExpressionKind::Method(base, name, _types, arguments)
                if "offset(by:or:)" == name.to_string() =>
            {
                let target_stream = base.clone();
                assert_eq!(arguments.len(), 2);
                let offset = Offset::Discrete(arguments[0].to_string().parse::<i16>().unwrap());
                let default = arguments[1].clone();
                let builder = Builder::new(expr.span, ast);
                let new_expr = builder.default(builder.offset(*target_stream, offset), default);
                ChangeSet::replace_current_expression(new_expr)
            }
            _ => ChangeSet::empty(),
        }
    }
}

impl SynSugar for OffsetOr {
    fn desugarize_expr<'a>(
        &self,
        exp: &'a Expression,
        ast: &'a RtLolaAst,
        _stream: usize,
        _origin: ExprOrigin,
    ) -> Result<ChangeSet, RtLolaError> {
        Ok(self.apply(exp, ast))
    }
}