mago_syntax/parser/
mod.rs

1use mago_interner::ThreadedInterner;
2use mago_source::Source;
3use mago_syntax_core::input::Input;
4
5use crate::ast::Program;
6use crate::ast::sequence::Sequence;
7use crate::lexer::Lexer;
8
9use crate::error::ParseError;
10use crate::parser::internal::statement::parse_statement;
11use crate::parser::internal::token_stream::TokenStream;
12
13mod internal;
14
15pub fn parse_source(interner: &ThreadedInterner, source: &Source) -> (Program, Option<ParseError>) {
16    let content = interner.lookup(&source.content);
17    let lexer = Lexer::new(interner, Input::new(source.identifier, content.as_bytes()));
18
19    construct(interner, lexer)
20}
21
22pub fn parse(interner: &ThreadedInterner, input: Input<'_>) -> (Program, Option<ParseError>) {
23    let lexer = Lexer::new(interner, input);
24
25    construct(interner, lexer)
26}
27
28fn construct<'i>(interner: &'i ThreadedInterner, lexer: Lexer<'_, 'i>) -> (Program, Option<ParseError>) {
29    let mut stream = TokenStream::new(interner, lexer);
30
31    let mut error = None;
32    let statements = {
33        let mut statements = Vec::new();
34
35        loop {
36            match stream.has_reached_eof() {
37                Ok(false) => match parse_statement(&mut stream) {
38                    Ok(statement) => {
39                        statements.push(statement);
40                    }
41                    Err(parse_error) => {
42                        error = Some(parse_error);
43
44                        break;
45                    }
46                },
47                Ok(true) => {
48                    break;
49                }
50                Err(syntax_error) => {
51                    error = Some(ParseError::from(syntax_error));
52
53                    break;
54                }
55            }
56        }
57
58        statements
59    };
60
61    (
62        Program {
63            source: stream.get_position().source,
64            statements: Sequence::new(statements),
65            trivia: stream.get_trivia(),
66        },
67        error,
68    )
69}