oak_typescript/parser/
mod.rs1pub mod element_type;
2mod parse_class;
3mod parse_expression;
4mod parse_jsx;
5mod parse_misc;
6mod parse_statement;
7
8use crate::{language::TypeScriptLanguage, lexer::TypeScriptLexer};
9
10use oak_core::{
11 GreenNode, TextEdit,
12 parser::{ParseCache, ParseOutput, Parser, ParserState, parse_with_lexer, pratt::Pratt},
13 source::Source,
14};
15
16pub(crate) type State<'a, S> = ParserState<'a, TypeScriptLanguage, S>;
17
18pub struct TypeScriptParser<'config> {
19 pub(crate) config: &'config TypeScriptLanguage,
20}
21
22impl<'config> TypeScriptParser<'config> {
23 pub fn new(config: &'config TypeScriptLanguage) -> Self {
24 Self { config }
25 }
26}
27
28impl<'config> Pratt<TypeScriptLanguage> for TypeScriptParser<'config> {
29 fn primary<'a, S: Source + ?Sized>(&self, state: &mut State<'a, S>) -> &'a GreenNode<'a, TypeScriptLanguage> {
30 self.primary(state)
31 }
32
33 fn prefix<'a, S: Source + ?Sized>(&self, state: &mut State<'a, S>) -> &'a GreenNode<'a, TypeScriptLanguage> {
34 self.prefix(state)
35 }
36
37 fn infix<'a, S: Source + ?Sized>(&self, state: &mut State<'a, S>, left: &'a GreenNode<'a, TypeScriptLanguage>, min_precedence: u8) -> Option<&'a GreenNode<'a, TypeScriptLanguage>> {
38 self.infix(state, left, min_precedence)
39 }
40}
41
42impl<'config> Parser<TypeScriptLanguage> for TypeScriptParser<'config> {
43 fn parse<'a, S: Source + ?Sized>(&self, text: &'a S, edits: &[TextEdit], cache: &'a mut impl ParseCache<TypeScriptLanguage>) -> ParseOutput<'a, TypeScriptLanguage> {
44 let lexer = TypeScriptLexer::new(self.config);
45 parse_with_lexer(&lexer, text, edits, cache, |state| {
46 let checkpoint = state.checkpoint();
47 while state.not_at_end() {
48 self.skip_trivia(state);
49 if state.not_at_end() {
50 self.parse_statement(state).ok();
51 }
52 }
53 Ok(state.finish_at(checkpoint, crate::parser::element_type::TypeScriptElementType::SourceFile))
54 })
55 }
56}