gobject-ast 0.1.2

AST representation of GObject C code
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

use serde::Serialize;

use crate::model::{BinaryOp, Expression, SourceLocation};

#[derive(Debug, Clone, Serialize)]
pub struct BinaryExpression {
    pub left: Box<Expression>,
    pub operator: BinaryOp,
    pub right: Box<Expression>,
    pub location: SourceLocation,
}

impl BinaryExpression {
    /// Check if this is a NULL comparison (x != NULL, x == NULL, etc.)
    pub fn is_null_check(&self) -> bool {
        matches!(self.operator, BinaryOp::Equal | BinaryOp::NotEqual)
            && (self.left.is_null() || self.right.is_null())
    }

    /// Extract the variable being compared in expressions like `x != 0`, `x >
    /// 0`, `0 < x`, `x != NULL`, `NULL != x`
    pub fn extract_compared_variable(&self) -> Option<&str> {
        let left_is_zero = self.left.is_zero();
        let right_is_zero = self.right.is_zero();
        let left_is_null = self.left.is_null();
        let right_is_null = self.right.is_null();

        match self.operator {
            BinaryOp::NotEqual | BinaryOp::Equal | BinaryOp::Greater | BinaryOp::GreaterEqual => {
                if right_is_zero || right_is_null {
                    self.left.extract_variable_name()
                } else if left_is_zero || left_is_null {
                    self.right.extract_variable_name()
                } else {
                    None
                }
            }
            BinaryOp::Less | BinaryOp::LessEqual => {
                if left_is_zero {
                    self.right.extract_variable_name()
                } else if right_is_zero {
                    self.left.extract_variable_name()
                } else {
                    None
                }
            }
            _ => None,
        }
    }
}