mimispec 0.2.0

A high-density intent description language for human-AI collaboration
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

//! Shared utilities for the `render` and `latex` modules.
//!
//! Both modules need expression precedence and parenthesization logic.
//! Centralizing them here avoids duplication.

use crate::ast::Expr;

/// 返回表达式节点的优先级（数值越小优先级越低）。
pub fn expr_prec(expr: &Expr) -> u8 {
    match expr {
        Expr::Or { .. } => 1,
        Expr::And { .. } => 2,
        Expr::In { .. } | Expr::Compare { .. } => 3,
        Expr::BitOr { .. } => 4,
        Expr::BitXor { .. } => 5,
        Expr::BitAnd { .. } => 6,
        Expr::Shl { .. } | Expr::Shr { .. } => 7,
        Expr::Add { .. } | Expr::Sub { .. } => 8,
        Expr::Mul { .. } | Expr::Div { .. } | Expr::MatMul { .. } => 9,
        Expr::Pow { .. } => 10,
        Expr::Not { .. } | Expr::Neg { .. } | Expr::BitNot { .. } => 11,
        _ => 12,
    }
}

/// 根据是否需要括号包裹子表达式。
pub fn paren_if(needed: bool, s: String) -> String {
    if needed {
        format!("({})", s)
    } else {
        s
    }
}