lora-analyzer 0.23.0

Semantic analysis for parsed Cypher queries in LoraDB.
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

use std::fmt;

#[derive(Debug, Clone, Copy, PartialEq, Eq, Hash, PartialOrd, Ord)]
pub struct VarId(pub u32);

impl fmt::Display for VarId {
    fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
        write!(f, "{}", self.0)
    }
}

#[derive(Debug, Default)]
pub struct SymbolTable {
    next_var: u32,
}

impl SymbolTable {
    pub fn new() -> Self {
        Self { next_var: 0 }
    }

    /// The id the next `new_var` returns. Every variable bound from here on
    /// (aliases, comprehension locals) gets this id or a higher one.
    pub fn next_var(&self) -> VarId {
        VarId(self.next_var)
    }

    pub fn new_var(&mut self) -> VarId {
        let id = VarId(self.next_var);
        self.next_var += 1;
        id
    }
}