use mago_database::file::File;
use mago_database::file::HasFileId;
use mago_interner::ThreadedInterner;
use mago_syntax_core::input::Input;
use crate::ast::Program;
use crate::ast::sequence::Sequence;
use crate::lexer::Lexer;
use crate::error::ParseError;
use crate::parser::internal::statement::parse_statement;
use crate::parser::internal::token_stream::TokenStream;
mod internal;
pub fn parse_file(interner: &ThreadedInterner, file: &File) -> (Program, Option<ParseError>) {
let lexer = Lexer::new(interner, Input::from_file(file));
construct(interner, lexer)
}
pub fn parse(interner: &ThreadedInterner, input: Input<'_>) -> (Program, Option<ParseError>) {
let lexer = Lexer::new(interner, input);
construct(interner, lexer)
}
fn construct<'i>(interner: &'i ThreadedInterner, lexer: Lexer<'_, 'i>) -> (Program, Option<ParseError>) {
let mut stream = TokenStream::new(interner, lexer);
let mut error = None;
let statements = {
let mut statements = Vec::new();
loop {
match stream.has_reached_eof() {
Ok(false) => match parse_statement(&mut stream) {
Ok(statement) => {
statements.push(statement);
}
Err(parse_error) => {
error = Some(parse_error);
break;
}
},
Ok(true) => {
break;
}
Err(syntax_error) => {
error = Some(ParseError::from(syntax_error));
break;
}
}
}
statements
};
(Program { file_id: stream.file_id(), statements: Sequence::new(statements), trivia: stream.get_trivia() }, error)
}