sdcx 0.1.0

SDC (Synopsys Design Constraints) toolkit
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

use crate::errors::SemanticError;
use crate::parser::sdc_grammar_trait::*;
use crate::sdc::Sdc;
use parol_runtime::ParolError;
use std::fmt::{Debug, Display, Error, Formatter};

#[derive(Debug, Default)]
pub struct SdcGrammar<'a> {
    pub ast: Option<Source<'a>>,
    pub sdc: Option<Result<Sdc, SemanticError>>,
}

impl SdcGrammar<'_> {
    pub fn new() -> Self {
        SdcGrammar::default()
    }
}

impl Display for Source<'_> {
    fn fmt(&self, f: &mut Formatter<'_>) -> std::result::Result<(), Error> {
        write!(f, "{self:?}")
    }
}

impl Display for SdcGrammar<'_> {
    fn fmt(&self, f: &mut Formatter<'_>) -> std::result::Result<(), Error> {
        match &self.ast {
            Some(ast) => writeln!(f, "{ast}"),
            None => writeln!(f, "No parse result"),
        }
    }
}

impl<'a> SdcGrammarTrait<'a> for SdcGrammar<'a> {
    /// Semantic action for non-terminal 'Source'
    fn source(&mut self, arg: &Source<'a>) -> Result<(), ParolError> {
        self.ast = Some(arg.clone());
        self.sdc = Some(arg.try_into());
        Ok(())
    }
}