2022-07-14 20:46:11 +00:00
|
|
|
use std::{fs::File};
|
|
|
|
use std::collections::{BTreeMap, HashMap};
|
2022-06-04 01:06:46 +00:00
|
|
|
|
2022-06-19 13:44:57 +00:00
|
|
|
use super::*;
|
2022-06-13 02:52:24 +00:00
|
|
|
|
2022-06-19 13:44:57 +00:00
|
|
|
mod combinator_atoms;
|
|
|
|
use combinator_atoms::*;
|
2022-06-04 01:06:46 +00:00
|
|
|
|
2022-06-19 13:44:57 +00:00
|
|
|
mod types;
|
|
|
|
use types::*;
|
2022-06-17 22:16:51 +00:00
|
|
|
|
2022-06-22 01:06:51 +00:00
|
|
|
mod metadata;
|
|
|
|
use metadata::*;
|
2022-06-04 01:06:46 +00:00
|
|
|
|
2022-07-18 16:53:44 +00:00
|
|
|
mod scopes;
|
|
|
|
use scopes::*;
|
2022-07-16 00:48:02 +00:00
|
|
|
|
|
|
|
pub fn parse_vcd(file : File) -> Result<VCD, String> {
|
2022-06-04 01:06:46 +00:00
|
|
|
let mut word_gen = WordReader::new(file);
|
|
|
|
|
2022-07-14 20:46:11 +00:00
|
|
|
let header = parse_metadata(&mut word_gen)?;
|
2022-07-13 00:02:45 +00:00
|
|
|
|
2022-07-14 20:46:11 +00:00
|
|
|
let mut signal_map = std::collections::HashMap::new();
|
2022-07-13 00:02:45 +00:00
|
|
|
|
|
|
|
let mut vcd = VCD{
|
2022-07-14 22:52:12 +00:00
|
|
|
metadata : header,
|
2022-07-13 00:02:45 +00:00
|
|
|
all_signals: vec![],
|
2022-07-14 22:52:12 +00:00
|
|
|
all_scopes : vec![],
|
|
|
|
scope_roots: vec![],
|
2022-07-13 00:02:45 +00:00
|
|
|
};
|
2022-07-14 20:46:11 +00:00
|
|
|
|
2022-07-16 00:48:02 +00:00
|
|
|
parse_scopes(&mut word_gen, None, &mut vcd, &mut signal_map)?;
|
|
|
|
|
|
|
|
Ok(vcd)
|
2022-06-18 05:00:01 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
#[cfg(test)]
|
|
|
|
mod tests {
|
|
|
|
use super::*;
|
2022-06-24 00:54:27 +00:00
|
|
|
use crate::test;
|
2022-06-18 05:00:01 +00:00
|
|
|
use std::fs::File;
|
|
|
|
#[test]
|
|
|
|
fn headers() {
|
2022-06-25 02:22:55 +00:00
|
|
|
// TODO: eventually, once all dates pass, merge the following
|
|
|
|
// two loops
|
|
|
|
// testing dates
|
|
|
|
for file in test::good_date_files {
|
2022-06-18 05:00:01 +00:00
|
|
|
let metadata = parse_metadata(
|
|
|
|
&mut WordReader::new(
|
|
|
|
File::open(file)
|
|
|
|
.unwrap()
|
|
|
|
)
|
|
|
|
);
|
|
|
|
assert!(metadata.is_ok());
|
|
|
|
assert!(metadata.unwrap().date.is_some());
|
|
|
|
}
|
|
|
|
|
2022-06-25 02:22:55 +00:00
|
|
|
for file in test::files {
|
|
|
|
let metadata = parse_metadata(
|
|
|
|
&mut WordReader::new(
|
|
|
|
File::open(file)
|
|
|
|
.unwrap()
|
|
|
|
)
|
|
|
|
);
|
|
|
|
assert!(metadata.is_ok());
|
|
|
|
|
|
|
|
let (scalar, timescale) = metadata.unwrap().timescale;
|
|
|
|
assert!(scalar.is_some());
|
|
|
|
}
|
|
|
|
|
2022-06-18 05:00:01 +00:00
|
|
|
}
|
2022-07-16 00:48:02 +00:00
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn scopes() {
|
2022-07-18 16:53:44 +00:00
|
|
|
// see if we can parse all signal trees successfully
|
2022-07-16 00:48:02 +00:00
|
|
|
for file_name in test::files {
|
|
|
|
let file = File::open(file_name).unwrap();
|
|
|
|
let vcd = parse_vcd(file);
|
|
|
|
|
|
|
|
if !vcd.is_ok() {
|
|
|
|
dbg!(file_name);
|
|
|
|
vcd.unwrap();
|
|
|
|
}
|
|
|
|
|
|
|
|
// assert!(vcd.is_ok());
|
|
|
|
}
|
|
|
|
|
|
|
|
}
|
2022-06-04 01:06:46 +00:00
|
|
|
}
|