| 1 | use crate::component::Component; |
| 2 | use crate::core::{Module, ModuleField, ModuleKind}; |
| 3 | use crate::kw; |
| 4 | use crate::parser::{Parse, Parser, Result}; |
| 5 | use crate::token::Span; |
| 6 | |
| 7 | /// A `*.wat` file parser, or a parser for one parenthesized module. |
| 8 | /// |
| 9 | /// This is the top-level type which you'll frequently parse when working with |
| 10 | /// this crate. A `*.wat` file is either one `module` s-expression or a sequence |
| 11 | /// of s-expressions that are module fields. |
| 12 | #[derive (Debug)] |
| 13 | #[allow (missing_docs)] |
| 14 | pub enum Wat<'a> { |
| 15 | Module(Module<'a>), |
| 16 | Component(Component<'a>), |
| 17 | } |
| 18 | |
| 19 | impl Wat<'_> { |
| 20 | fn validate(&self, parser: Parser<'_>) -> Result<()> { |
| 21 | match self { |
| 22 | Wat::Module(m: &Module<'_>) => m.validate(parser), |
| 23 | Wat::Component(c: &Component<'_>) => c.validate(parser), |
| 24 | } |
| 25 | } |
| 26 | |
| 27 | /// Encodes this `Wat` to binary form. This calls either [`Module::encode`] |
| 28 | /// or [`Component::encode`]. |
| 29 | pub fn encode(&mut self) -> std::result::Result<Vec<u8>, crate::Error> { |
| 30 | crate::core::EncodeOptions::default().encode_wat(self) |
| 31 | } |
| 32 | |
| 33 | /// Returns the defining span of this file. |
| 34 | pub fn span(&self) -> Span { |
| 35 | match self { |
| 36 | Wat::Module(m: &Module<'_>) => m.span, |
| 37 | Wat::Component(c: &Component<'_>) => c.span, |
| 38 | } |
| 39 | } |
| 40 | } |
| 41 | |
| 42 | impl<'a> Parse<'a> for Wat<'a> { |
| 43 | fn parse(parser: Parser<'a>) -> Result<Self> { |
| 44 | if !parser.has_meaningful_tokens() { |
| 45 | return Err(parser.error("expected at least one module field" )); |
| 46 | } |
| 47 | |
| 48 | parser.with_standard_annotations_registered(|parser| { |
| 49 | let wat = if parser.peek2::<kw::module>()? { |
| 50 | Wat::Module(parser.parens(|parser| parser.parse())?) |
| 51 | } else if parser.peek2::<kw::component>()? { |
| 52 | Wat::Component(parser.parens(|parser| parser.parse())?) |
| 53 | } else { |
| 54 | let fields = ModuleField::parse_remaining(parser)?; |
| 55 | Wat::Module(Module { |
| 56 | span: Span { offset: 0 }, |
| 57 | id: None, |
| 58 | name: None, |
| 59 | kind: ModuleKind::Text(fields), |
| 60 | }) |
| 61 | }; |
| 62 | wat.validate(parser)?; |
| 63 | Ok(wat) |
| 64 | }) |
| 65 | } |
| 66 | } |
| 67 | |