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
use crate::ast::{Definition, Document}; use crate::io::{Filesystem, WitxIo}; use crate::parser::{TopLevelDocument, TopLevelSyntax}; use crate::validate::DocValidation; use crate::WitxError; use std::collections::HashSet; use std::path::{Path, PathBuf}; pub fn parse_witx(i: &[impl AsRef<Path>]) -> Result<Document, WitxError> { let paths = i.iter().map(|p| p.as_ref()).collect::<Vec<&Path>>(); _parse_witx_with(&paths, &Filesystem) } pub fn parse_witx_with(i: &[impl AsRef<Path>], witxio: impl WitxIo) -> Result<Document, WitxError> { let paths = i.iter().map(|p| p.as_ref()).collect::<Vec<&Path>>(); _parse_witx_with(&paths, &witxio) } fn _parse_witx_with(paths: &[&Path], io: &dyn WitxIo) -> Result<Document, WitxError> { let mut validator = DocValidation::new(); let mut definitions = Vec::new(); let mut parsed = HashSet::new(); for path in paths { let root = path.parent().unwrap_or(Path::new(".")); parse_file( path.file_name().unwrap().as_ref(), io, root, &mut validator, &mut definitions, &mut parsed, )?; } Ok(Document::new(definitions, validator.entries)) } fn parse_file( path: &Path, io: &dyn WitxIo, root: &Path, validator: &mut DocValidation, definitions: &mut Vec<Definition>, parsed: &mut HashSet<PathBuf>, ) -> Result<(), WitxError> { let path = io.canonicalize(&root.join(path))?; if !parsed.insert(path.clone()) { return Ok(()); } let input = io.fgets(&path)?; let adjust_err = |mut error: wast::Error| { error.set_path(&path); error.set_text(&input); WitxError::Parse(error) }; let buf = wast::parser::ParseBuffer::new(&input).map_err(adjust_err)?; let doc = wast::parser::parse::<TopLevelDocument>(&buf).map_err(adjust_err)?; for t in doc.items { match t.item { TopLevelSyntax::Decl(d) => { let def = validator .scope(&input, &path) .validate_decl(&d, &t.comments) .map_err(WitxError::Validation)?; definitions.push(def); } TopLevelSyntax::Use(u) => { parse_file(u.as_ref(), io, root, validator, definitions, parsed)?; } } } Ok(()) } #[cfg(test)] mod test { use super::*; use crate::ast::*; use crate::io::MockFs; #[test] fn empty() { parse_witx_with(&[Path::new("/a")], &MockFs::new(&[("/a", ";; empty")])).expect("parse"); } #[test] fn one_use() { parse_witx_with( &[Path::new("/a")], &MockFs::new(&[("/a", "(use \"b\")"), ("/b", ";; empty")]), ) .unwrap(); } #[test] fn multi_use() { let doc = parse_witx_with( &[Path::new("/a")], &MockFs::new(&[ ("/a", "(use \"b\")"), ("/b", "(use \"c\")\n(typename $b_float f64)"), ("/c", "(typename $c_int u32)"), ]), ) .expect("parse"); let b_float = doc.typename(&Id::new("b_float")).unwrap(); assert_eq!(*b_float.type_(), Type::Builtin(BuiltinType::F64)); let c_int = doc.typename(&Id::new("c_int")).unwrap(); assert_eq!(*c_int.type_(), Type::Builtin(BuiltinType::U32)); } #[test] fn diamond_dependency() { let doc = parse_witx_with( &[Path::new("/a")], &MockFs::new(&[ ("/a", "(use \"b\")\n(use \"c\")"), ("/b", "(use \"d\")"), ("/c", "(use \"d\")"), ("/d", "(typename $d_char u8)"), ]), ) .expect("parse"); let d_char = doc.typename(&Id::new("d_char")).unwrap(); assert_eq!(*d_char.type_(), Type::Builtin(BuiltinType::U8)); } #[test] fn use_not_found() { match parse_witx_with(&[Path::new("/a")], &MockFs::new(&[("/a", "(use \"b\")")])) .err() .unwrap() { WitxError::Io(path, _error) => assert_eq!(path, PathBuf::from("/b")), e => panic!("wrong error: {:?}", e), } } #[test] fn use_invalid() { match parse_witx_with(&[Path::new("/a")], &MockFs::new(&[("/a", "(use bbbbbbb)")])) .err() .unwrap() { WitxError::Parse(e) => { let err = e.to_string(); assert!(err.contains("expected a string"), "bad error: {}", err); assert!(err.contains("/a:1:6")); } e => panic!("wrong error: {:?}", e), } } }