Skip to main content

oak_ini/parser/
mod.rs

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}