1pub mod element_type;
2
3use crate::{
4 language::IniLanguage,
5 lexer::{IniLexer, token_type::IniTokenType},
6};
7use oak_core::{
8 GreenNode, OakError, TextEdit,
9 parser::{ParseCache, ParseOutput, Parser, ParserState, parse_with_lexer},
10 source::Source,
11};
12
13mod parse_top_level;
14
15pub(crate) type State<'a, S> = ParserState<'a, IniLanguage, S>;
16
17pub struct IniParser<'config> {
18 pub(crate) config: &'config IniLanguage,
19}
20
21impl<'config> IniParser<'config> {
22 pub fn new(config: &'config IniLanguage) -> Self {
23 Self { config }
24 }
25}
26
27impl<'config> Parser<IniLanguage> for IniParser<'config> {
28 fn parse<'a, S: Source + ?Sized>(&self, text: &'a S, edits: &[TextEdit], cache: &'a mut impl ParseCache<IniLanguage>) -> ParseOutput<'a, IniLanguage> {
29 let lexer = IniLexer::new(&self.config);
30 parse_with_lexer(&lexer, text, edits, cache, |state| self.parse_root_internal(state))
31 }
32}
33
34impl<'config> IniParser<'config> {
35 pub(crate) fn parse_root_internal<'a, S: Source + ?Sized>(&self, state: &mut State<'a, S>) -> Result<&'a GreenNode<'a, IniLanguage>, OakError> {
36 let checkpoint = state.checkpoint();
37 while state.not_at_end() {
38 self.skip_trivia(state);
39 if !state.not_at_end() {
40 break;
41 }
42
43 if state.at(IniTokenType::LeftBracket) || state.at(IniTokenType::DoubleLeftBracket) { self.parse_table(state)? } else { self.parse_key_value(state)? }
44 }
45
46 Ok(state.finish_at(checkpoint, crate::parser::element_type::IniElementType::Root))
47 }
48}