veryl-analyzer 0.21.0

A modern hardware description language
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

use crate::HashMap;
use crate::literal::Literal;
use std::cell::RefCell;
use veryl_parser::resource_table::TokenId;

thread_local!(static LITERAL_TABLE: RefCell<HashMap<TokenId, Literal>> = RefCell::new(HashMap::default()));

pub fn insert(id: TokenId, value: Literal) {
    LITERAL_TABLE.with(|f| f.borrow_mut().insert(id, value));
}

pub fn get(id: &TokenId) -> Option<Literal> {
    LITERAL_TABLE.with(|f| f.borrow().get(id).cloned())
}

/// Exports all literals whose token ID lies in the window `(start, end]`,
/// sorted by token ID. Used by fragment caching (the table has no per-file
/// index, so the per-file ID window delimits one file's entries).
pub fn export_in_window(start: usize, end: usize) -> Vec<(TokenId, Literal)> {
    LITERAL_TABLE.with(|f| {
        let mut ret: Vec<_> = f
            .borrow()
            .iter()
            .filter(|(id, _)| id.0 > start && id.0 <= end)
            .map(|(id, literal)| (*id, literal.clone()))
            .collect();
        ret.sort_unstable_by_key(|(id, _)| *id);
        ret
    })
}