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