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

use crate::nodes::InnerNode;
use crate::nodes::InspectVec;
use crate::Loc;
use crate::Node;

#[cfg(feature = "compile-with-external-structures")]
use crate::containers::ExternalPtr;
#[cfg(feature = "compile-with-external-structures")]
type Ptr<T> = ExternalPtr<T>;
#[cfg(not(feature = "compile-with-external-structures"))]
type Ptr<T> = Box<T>;


/// Represents an `if` guard used in pattern matching (i.e. `case foo; in pattern if guard; end`)
///
#[derive(Debug, Clone, PartialEq)]
#[repr(C)]
pub struct IfGuard {
    /// Condition of the guard, `Lvar("foo")` in `in pattern if guard`
    ///
    pub cond: Ptr<Node>,
    /// Location of the `if` keyword
    ///
    /// ```text
    /// case foo; in pattern if cond; end
    ///                      ~~
    /// ```
    ///
    pub keyword_l: Loc,
    /// Location of the full expression
    ///
    /// ```text
    /// case foo; in pattern if cond; end
    ///                      ~~~~~~~
    /// ```
    ///
    pub expression_l: Loc,
}

impl InnerNode for IfGuard {
    fn expression(&self) -> &Loc {
        &self.expression_l
    }

    fn inspected_children(&self, indent: usize) -> Vec<String> {
        let mut result = InspectVec::new(indent);
        result.push_node(&self.cond);
        result.strings()
    }

    fn str_type(&self) -> &'static str {
        "if_guard"
    }

    fn print_with_locs(&self) {
        println!("{}", self.inspect(0));
        self.cond.inner_ref().print_with_locs();
        self.keyword_l.print("keyword");
        self.expression_l.print("expression");
    }
}