1 | // pest. The Elegant Parser |
2 | // Copyright (c) 2018 DragoČ™ Tiselice |
3 | // |
4 | // Licensed under the Apache License, Version 2.0 |
5 | // <LICENSE-APACHE or http://www.apache.org/licenses/LICENSE-2.0> or the MIT |
6 | // license <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your |
7 | // option. All files in the project carrying such notice may not be copied, |
8 | // modified, or distributed except according to those terms. |
9 | |
10 | #![doc ( |
11 | html_root_url = "https://docs.rs/pest_derive" , |
12 | html_logo_url = "https://raw.githubusercontent.com/pest-parser/pest/master/pest-logo.svg" , |
13 | html_favicon_url = "https://raw.githubusercontent.com/pest-parser/pest/master/pest-logo.svg" |
14 | )] |
15 | #![warn (missing_docs, rust_2018_idioms, unused_qualifications)] |
16 | #![recursion_limit = "256" ] |
17 | //! # pest generator |
18 | //! |
19 | //! This crate generates code from ASTs (which is used in the `pest_derive` crate). |
20 | |
21 | #[macro_use ] |
22 | extern crate quote; |
23 | |
24 | use std::env; |
25 | use std::fs::File; |
26 | use std::io::{self, Read}; |
27 | use std::path::Path; |
28 | |
29 | use generator::generate; |
30 | use proc_macro2::TokenStream; |
31 | use syn::DeriveInput; |
32 | |
33 | #[macro_use ] |
34 | mod macros; |
35 | |
36 | #[cfg (feature = "export-internal" )] |
37 | pub mod docs; |
38 | #[cfg (not(feature = "export-internal" ))] |
39 | mod docs; |
40 | |
41 | #[cfg (feature = "export-internal" )] |
42 | pub mod generator; |
43 | #[cfg (not(feature = "export-internal" ))] |
44 | mod generator; |
45 | |
46 | #[cfg (feature = "export-internal" )] |
47 | pub mod parse_derive; |
48 | #[cfg (not(feature = "export-internal" ))] |
49 | mod parse_derive; |
50 | |
51 | use crate::parse_derive::{parse_derive, GrammarSource}; |
52 | use pest_meta::parser::{self, rename_meta_rule, Rule}; |
53 | use pest_meta::{optimizer, unwrap_or_report, validator}; |
54 | |
55 | /// Processes the derive/proc macro input and generates the corresponding parser based |
56 | /// on the parsed grammar. If `include_grammar` is set to true, it'll generate an explicit |
57 | /// "include_str" statement (done in pest_derive, but turned off in the local bootstrap). |
58 | pub fn derive_parser(input: TokenStream, include_grammar: bool) -> TokenStream { |
59 | let ast: DeriveInput = syn::parse2(input).unwrap(); |
60 | let (parsed_derive, contents) = parse_derive(ast); |
61 | |
62 | // Grammar presented in a view of a string. |
63 | let mut data = String::new(); |
64 | let mut paths = vec![]; |
65 | |
66 | for content in contents { |
67 | let (_data, _path) = match content { |
68 | GrammarSource::File(ref path) => { |
69 | let root = env::var("CARGO_MANIFEST_DIR" ).unwrap_or_else(|_| "." .into()); |
70 | |
71 | // Check whether we can find a file at the path relative to the CARGO_MANIFEST_DIR |
72 | // first. |
73 | // |
74 | // If we cannot find the expected file over there, fallback to the |
75 | // `CARGO_MANIFEST_DIR/src`, which is the old default and kept for convenience |
76 | // reasons. |
77 | // TODO: This could be refactored once `std::path::absolute()` get's stabilized. |
78 | // https://doc.rust-lang.org/std/path/fn.absolute.html |
79 | let path = if Path::new(&root).join(path).exists() { |
80 | Path::new(&root).join(path) |
81 | } else { |
82 | Path::new(&root).join("src/" ).join(path) |
83 | }; |
84 | |
85 | let file_name = match path.file_name() { |
86 | Some(file_name) => file_name, |
87 | None => panic!("grammar attribute should point to a file" ), |
88 | }; |
89 | |
90 | let data = match read_file(&path) { |
91 | Ok(data) => data, |
92 | Err(error) => panic!("error opening {:?}: {}" , file_name, error), |
93 | }; |
94 | (data, Some(path.clone())) |
95 | } |
96 | GrammarSource::Inline(content) => (content, None), |
97 | }; |
98 | |
99 | data.push_str(&_data); |
100 | if let Some(path) = _path { |
101 | paths.push(path); |
102 | } |
103 | } |
104 | |
105 | // `Rule::grammar_rules` is taken from meta/srd/parser.rs. |
106 | let pairs = match parser::parse(Rule::grammar_rules, &data) { |
107 | Ok(pairs) => pairs, |
108 | Err(error) => panic!("error parsing \n{}" , error.renamed_rules(rename_meta_rule)), |
109 | }; |
110 | |
111 | let defaults = unwrap_or_report(validator::validate_pairs(pairs.clone())); |
112 | let doc_comment = docs::consume(pairs.clone()); |
113 | let ast = unwrap_or_report(parser::consume_rules(pairs)); |
114 | let optimized = optimizer::optimize(ast); |
115 | |
116 | generate( |
117 | parsed_derive, |
118 | paths, |
119 | optimized, |
120 | defaults, |
121 | &doc_comment, |
122 | include_grammar, |
123 | ) |
124 | } |
125 | |
126 | fn read_file<P: AsRef<Path>>(path: P) -> io::Result<String> { |
127 | let mut file: File = File::open(path.as_ref())?; |
128 | let mut string: String = String::new(); |
129 | file.read_to_string(&mut string)?; |
130 | Ok(string) |
131 | } |
132 | |
133 | #[cfg (test)] |
134 | mod tests { |
135 | |
136 | #[doc = "Matches dar \n\nMatch dar description \n" ] |
137 | #[test ] |
138 | fn test_generate_doc() { |
139 | let input = quote! { |
140 | #[derive(Parser)] |
141 | #[non_exhaustive] |
142 | #[grammar = "../tests/test.pest" ] |
143 | pub struct TestParser; |
144 | }; |
145 | |
146 | let token = super::derive_parser(input, true); |
147 | |
148 | let expected = quote! { |
149 | #[doc = "A parser for JSON file. \nAnd this is a example for JSON parser. \n\n indent-4-space \n" ] |
150 | #[allow(dead_code, non_camel_case_types, clippy::upper_case_acronyms)] |
151 | #[derive(Clone, Copy, Debug, Eq, Hash, Ord, PartialEq, PartialOrd)] |
152 | #[non_exhaustive] |
153 | pub enum Rule { |
154 | #[doc = "Matches foo str, e.g.: `foo`" ] |
155 | r#foo, |
156 | #[doc = "Matches bar str \n\n Indent 2, e.g: `bar` or `foobar`" ] |
157 | r#bar, |
158 | r#bar1, |
159 | #[doc = "Matches dar \n\nMatch dar description \n" ] |
160 | r#dar |
161 | } |
162 | }; |
163 | |
164 | assert!( |
165 | token.to_string().contains(expected.to_string().as_str()), |
166 | "{} \n\nExpected to contains: \n{}" , |
167 | token, |
168 | expected |
169 | ); |
170 | } |
171 | } |
172 | |