Struct Parser 

pub struct Parser<'a> { /* private fields */ }

A recursive descent parser for the MON language.

The Parser takes a stream of tokens from a Lexer and produces an Abstract Syntax Tree (AST), represented by a MonDocument. It is responsible for enforcing the grammatical structure of the MON language but does not perform semantic analysis like validation or alias resolution (see crate::resolver::Resolver).

The main entry point is Parser::parse_document, which parses the entire source.

Example: How to use the Parser

You can use the Parser directly to get the raw AST of a MON file.

use mon_core::parser::Parser;
use mon_core::error::MonError;

let source = r#"
import { MyType } from "./types.mon"

{
    &my_anchor: { a: 1 },
    value :: MyType = *my_anchor
}
"#;

// 1. Create a new parser for the source code.
let mut parser = Parser::new_with_name(source, "my_file.mon".to_string())?;

// 2. Parse the source into a document.
let document = parser.parse_document()?;

// The `document` now contains the raw AST, including imports and the unresolved root object.
assert_eq!(document.imports.len(), 1);
// Further processing would be needed by the resolver to handle the alias and validation.

Implementations

impl<'a> Parser<'a>

pub fn new(source_text: &'a str) -> Result<Self, MonError>

Creates a new Parser instance with a default file name “source.mon”.

This is a convenience method that calls Parser::new_with_name.

Arguments

• source_text - The MON source code as a string.

Errors

Returns a MonError if lexing the source text fails.

pub fn new_with_name( source_text: &'a str, name: String, ) -> Result<Self, MonError>

Creates a new Parser instance with a specified file name.

The parser initializes a Lexer and filters out whitespace and comments.

Arguments

• source_text - The MON source code as a string.
• name - The name of the file being parsed, used for error reporting.

Errors

Returns a MonError if lexing the source text fails.

pub fn parse_document(&mut self) -> Result<MonDocument, MonError>

Parses the entire MON source into a MonDocument.

This method parses import statements first, followed by the root object, and ensures no unexpected tokens are left at the end of the file.

Errors

Returns a MonError if parsing fails at any point.

Trait Implementations

impl<'a> Debug for Parser<'a>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.