rumoca 0.7.28

Modelica compiler written in RUST
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
62
63
64
65
66
67
68
69
70
71

//! Operator formatting and precedence handling.

use crate::ir::ast::{OpBinary, OpUnary};

pub fn format_binary_op(op: &OpBinary) -> &'static str {
    match op {
        OpBinary::Empty => "",
        OpBinary::Add(_) => "+",
        OpBinary::Sub(_) => "-",
        OpBinary::Mul(_) => "*",
        OpBinary::Div(_) => "/",
        OpBinary::Exp(_) => "^",
        OpBinary::Eq(_) => "==",
        OpBinary::Neq(_) => "<>",
        OpBinary::Lt(_) => "<",
        OpBinary::Le(_) => "<=",
        OpBinary::Gt(_) => ">",
        OpBinary::Ge(_) => ">=",
        OpBinary::And(_) => "and",
        OpBinary::Or(_) => "or",
        OpBinary::AddElem(_) => ".+",
        OpBinary::SubElem(_) => ".-",
        OpBinary::MulElem(_) => ".*",
        OpBinary::DivElem(_) => "./",
        OpBinary::Assign(_) => "=",
    }
}

pub fn format_unary_op(op: &OpUnary) -> &'static str {
    match op {
        OpUnary::Empty => "",
        OpUnary::Minus(_) => "-",
        OpUnary::Plus(_) => "+",
        OpUnary::DotMinus(_) => ".-",
        OpUnary::DotPlus(_) => ".+",
        OpUnary::Not(_) => "not ",
    }
}

/// Get the precedence level for a binary operator.
/// Higher values bind tighter. Based on Modelica specification:
/// 0. assignment: = (lowest, used in modifications)
/// 1. or
/// 2. and
/// 3. relational: <, <=, >, >=, ==, <>
/// 4. additive: +, -, .+, .-
/// 5. multiplicative: *, /, .*, ./
/// 6. exponentiation: ^ (highest for binary ops)
pub fn binary_op_precedence(op: &OpBinary) -> u8 {
    match op {
        OpBinary::Empty => 0,
        OpBinary::Assign(_) => 0,
        OpBinary::Or(_) => 1,
        OpBinary::And(_) => 2,
        OpBinary::Eq(_)
        | OpBinary::Neq(_)
        | OpBinary::Lt(_)
        | OpBinary::Le(_)
        | OpBinary::Gt(_)
        | OpBinary::Ge(_) => 3,
        OpBinary::Add(_) | OpBinary::Sub(_) | OpBinary::AddElem(_) | OpBinary::SubElem(_) => 4,
        OpBinary::Mul(_) | OpBinary::Div(_) | OpBinary::MulElem(_) | OpBinary::DivElem(_) => 5,
        OpBinary::Exp(_) => 6,
    }
}

/// Check if an operator is right-associative.
/// In Modelica, exponentiation (^) is right-associative.
pub fn binary_op_is_right_assoc(op: &OpBinary) -> bool {
    matches!(op, OpBinary::Exp(_))
}