dwfv 0.5.0

A simple digital waveform viewer with vi-like key bindings
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
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169

// SPDX-License-Identifier: MIT
use super::parser;
use crate::signaldb::SignalValue;
use std::error::Error;
use std::io;

#[derive(Debug, PartialEq, Eq)]
pub enum ValueAst {
    Literal(SignalValue),
    Id(String),
}

#[derive(Debug, PartialEq, Eq)]
pub enum ExprAst {
    Equal(String, ValueAst),
    Transition(String, ValueAst),
    AnyTransition(String),
    Not(Box<ExprAst>),
    And(Box<ExprAst>, Box<ExprAst>),
    Or(Box<ExprAst>, Box<ExprAst>),
    After(i64),
    Before(i64),
}

impl ExprAst {
    pub(crate) fn from_str(expr: &str) -> Result<ExprAst, Box<dyn Error>> {
        let (_, ast) = parser::expr(expr).map_err(|err| {
            io::Error::new(
                io::ErrorKind::InvalidInput,
                format!("Syntax Error: {:?}", err),
            )
        })?;
        Ok(ast)
    }
}

#[cfg(test)]
mod test {
    use super::*;
    use crate::signaldb::BitValue;

    #[test]
    fn expr() {
        assert!(ExprAst::from_str("$a is b0").is_ok());
        assert!(ExprAst::from_str("$abc is 42").is_ok());
        assert!(ExprAst::from_str("$abc is bu").is_ok());
        assert!(ExprAst::from_str("$u is bz").is_ok());
        assert!(ExprAst::from_str("$bz is bz").is_ok());
        assert!(ExprAst::from_str("bz = bz").is_err());
        assert!(ExprAst::from_str("$.* is bz").is_ok());
        assert!(ExprAst::from_str("$a becomes 0").is_ok());
        assert!(ExprAst::from_str("$a becomes (0)").is_ok());
        assert!(ExprAst::from_str("($a becomes (0))").is_ok());
        assert!(ExprAst::from_str("$a <- 0 and $b = 4").is_ok());
        assert!(ExprAst::from_str("$a <- 0 and after 42").is_ok());
        assert!(ExprAst::from_str("$a <- 0 and before 42").is_ok());
        assert!(ExprAst::from_str("$a <- 0").is_ok());
        assert!(ExprAst::from_str("$a <- $b").is_ok());
    }

    #[test]
    fn test_eq() {
        assert_eq!(
            ExprAst::from_str("$a is b0").unwrap(),
            ExprAst::Equal("a".to_string(), ValueAst::Literal(SignalValue::new(0)))
        );

        assert_eq!(
            ExprAst::from_str("$abc is 42").unwrap(),
            ExprAst::Equal("abc".to_string(), ValueAst::Literal(SignalValue::new(42)))
        );

        assert_eq!(
            ExprAst::from_str("$abc is bu").unwrap(),
            ExprAst::Equal("abc".to_string(), ValueAst::Literal(SignalValue::invalid()))
        );

        assert_eq!(
            ExprAst::from_str("$u is bz").unwrap(),
            ExprAst::Equal(
                "u".to_string(),
                ValueAst::Literal(SignalValue::new_default(1, BitValue::HighZ)),
            )
        );

        assert_eq!(
            ExprAst::from_str("$bz is bz").unwrap(),
            ExprAst::Equal(
                "bz".to_string(),
                ValueAst::Literal(SignalValue::new_default(1, BitValue::HighZ)),
            )
        );

        assert_eq!(
            ExprAst::from_str("$.* is bz").unwrap(),
            ExprAst::Equal(
                ".*".to_string(),
                ValueAst::Literal(SignalValue::new_default(1, BitValue::HighZ)),
            )
        );
    }

    #[test]
    fn test_transition() {
        assert_eq!(
            ExprAst::from_str("$a becomes 0").unwrap(),
            ExprAst::Transition("a".to_string(), ValueAst::Literal(SignalValue::new(0)))
        );

        assert_eq!(
            ExprAst::from_str("$a becomes (0)").unwrap(),
            ExprAst::Transition("a".to_string(), ValueAst::Literal(SignalValue::new(0)))
        );

        assert_eq!(
            ExprAst::from_str("($a becomes (0))").unwrap(),
            ExprAst::Transition("a".to_string(), ValueAst::Literal(SignalValue::new(0)))
        );

        assert_eq!(
            ExprAst::from_str("$a <- 0").unwrap(),
            ExprAst::Transition("a".to_string(), ValueAst::Literal(SignalValue::new(0)))
        );

        assert_eq!(
            ExprAst::from_str("$a <- $b").unwrap(),
            ExprAst::Transition("a".to_string(), ValueAst::Id("b".to_string()))
        );
    }

    #[test]
    fn test_condition() {
        assert_eq!(
            ExprAst::from_str("$a <- 0 and $b = 4").unwrap(),
            ExprAst::And(
                Box::new(ExprAst::Transition(
                    "a".to_string(),
                    ValueAst::Literal(SignalValue::new(0)),
                )),
                Box::new(ExprAst::Equal(
                    "b".to_string(),
                    ValueAst::Literal(SignalValue::new(4)),
                )),
            )
        );

        assert_eq!(
            ExprAst::from_str("$a <- 0 and after 42").unwrap(),
            ExprAst::And(
                Box::new(ExprAst::Transition(
                    "a".to_string(),
                    ValueAst::Literal(SignalValue::new(0)),
                )),
                Box::new(ExprAst::After(42)),
            )
        );

        assert_eq!(
            ExprAst::from_str("$a <- 0 and before 42").unwrap(),
            ExprAst::And(
                Box::new(ExprAst::Transition(
                    "a".to_string(),
                    ValueAst::Literal(SignalValue::new(0)),
                )),
                Box::new(ExprAst::Before(42)),
            )
        );
    }
}