ll_sparql_parser/parser/
mod.rs1mod grammar;
2
3use std::{cell::Cell, ops::Range};
4
5use crate::SyntaxKind;
6use grammar::{parse_QueryUnit, parse_UpdateUnit};
7use logos::Logos;
8use rowan::{GreenNode, GreenNodeBuilder, TextRange, TextSize};
9use wasm_bindgen::prelude::wasm_bindgen;
10
11pub struct Parser {
12 tokens: Vec<Token>,
13 pos: usize,
14 fuel: Cell<u32>,
15 events: Vec<Event>,
16}
17
18#[derive(Debug, Clone)]
19pub(super) struct Token {
20 kind: SyntaxKind,
21 text: std::string::String,
22}
23
24impl Token {
25 fn is_trivia(&self) -> bool {
26 matches!(self.kind, SyntaxKind::WHITESPACE | SyntaxKind::Comment)
27 }
28
29 pub(super) fn kind(&self) -> SyntaxKind {
30 self.kind
31 }
32}
33
34#[derive(Debug)]
35pub struct ParseError {
36 pub span: TextRange,
37 pub message: String,
38}
39
40pub fn parse_text(input: &str, entry: TopEntryPoint) -> (GreenNode, Vec<ParseError>) {
41 let tokens = lex(input);
42 let parse_input = tokens
43 .iter()
44 .filter_map(|(token, _span)| (!token.is_trivia()).then_some(token))
45 .cloned()
46 .collect();
47 let output = entry.parse(parse_input);
48 build_tree(tokens, output)
49}
50
51fn build_tree(
52 tokens: Vec<(Token, Range<usize>)>,
53 events: Vec<Event>,
54) -> (GreenNode, Vec<ParseError>) {
55 let mut tokens = tokens.into_iter().peekable();
56 let mut builder = GreenNodeBuilder::new();
57 let mut erros: Vec<ParseError> = Vec::new();
58
59 for event in &events[..events.len() - 1] {
63 match event {
64 Event::Open { kind } => {
65 while !matches!(kind, SyntaxKind::QueryUnit | SyntaxKind::UpdateUnit)
66 && tokens
67 .peek()
68 .map_or(false, |(next, _span)| next.is_trivia())
69 {
70 let (token, _) = tokens.next().unwrap();
71 builder.token(token.kind.into(), &token.text);
72 }
73 builder.start_node((*kind).into());
74 }
75 Event::Error { expected } => {
76 if let Some((_, span)) = tokens.peek() {
77 erros.push(ParseError {
78 span: TextRange::new(
79 TextSize::new(span.start as u32),
80 TextSize::new(span.start as u32),
81 ),
82 message: if expected.is_empty() {
83 "Syntax Error: unexpected token".to_string()
84 } else {
85 format!(
86 "Syntax Error: expected {}",
87 expected
88 .into_iter()
89 .map(|kind| format!("{kind:?}"))
90 .collect::<Vec<_>>()
91 .join(" or ")
92 )
93 },
94 });
95 }
96 }
97 Event::Close => {
98 builder.finish_node();
99 }
100
101 Event::Advance => {
102 while tokens.peek().map_or(false, |(next, _)| next.is_trivia()) {
103 let (token, _) = tokens.next().unwrap();
104 builder.token(token.kind.into(), &token.text);
105 }
106 let (token, _) = tokens.next().unwrap();
107 builder.token(token.kind.into(), &token.text);
108 }
109 }
110 }
111 assert!(matches!(events.last(), Some(Event::Close)));
113 while tokens.peek().map_or(false, |(next, _)| next.is_trivia()) {
114 let (token, _) = tokens.next().unwrap();
115 builder.token(token.kind.into(), &token.text);
116 }
117 builder.finish_node();
118 (builder.finish(), erros)
119}
120
121impl Parser {
122 fn new(input: Vec<Token>) -> Self {
123 Self {
124 tokens: input,
125 pos: 0,
126 fuel: 256.into(),
127 events: Vec::new(),
128 }
129 }
130}
131
132#[derive(Debug)]
133enum Event {
134 Open { kind: SyntaxKind },
135 Error { expected: Vec<SyntaxKind> },
136 Close,
137 Advance,
138}
139
140struct MarkOpened {
141 index: usize,
142}
143
144impl Parser {
145 fn open(&mut self) -> MarkOpened {
146 let mark = MarkOpened {
147 index: self.events.len(),
148 };
149 self.events.push(Event::Open {
150 kind: SyntaxKind::Error,
151 });
152 mark
153 }
154
155 fn close(&mut self, m: MarkOpened, kind: SyntaxKind) {
156 self.events[m.index] = Event::Open { kind };
157 self.events.push(Event::Close);
158 }
159
160 fn advance(&mut self) {
161 assert!(!self.eof());
162 self.fuel.set(256);
163 self.events.push(Event::Advance);
164 self.pos += 1;
165 }
166
167 fn eof(&self) -> bool {
168 self.pos == self.tokens.len()
169 }
170
171 fn nth(&self, lookahead: usize) -> SyntaxKind {
172 if self.fuel.get() == 0 {
173 panic!("parser is stuck")
174 }
175 self.fuel.set(self.fuel.get() - 1);
176 self.tokens
177 .get(self.pos + lookahead)
178 .map_or(SyntaxKind::Eof, |it| it.kind)
179 }
180
181 fn at(&self, kind: SyntaxKind) -> bool {
182 self.nth(0) == kind
183 }
184
185 fn at_any(&self, kinds: &[SyntaxKind]) -> bool {
186 kinds.iter().any(|kind| self.at(*kind))
187 }
188
189 fn eat(&mut self, kind: SyntaxKind) -> bool {
190 if self.at(kind) {
191 self.advance();
192 true
193 } else {
194 false
195 }
196 }
197
198 fn expect(&mut self, kind: SyntaxKind) {
199 if self.eat(kind) {
200 return;
201 }
202 self.events.push(Event::Error {
203 expected: vec![kind],
204 });
205 }
206
207 fn advance_with_error(&mut self, expected: Vec<SyntaxKind>) {
208 let m = self.open();
209 self.advance();
210 self.close(m, SyntaxKind::Error);
211 self.events.push(Event::Error { expected });
212 }
213}
214
215#[derive(Debug)]
216pub enum TopEntryPoint {
217 QueryUnit,
218 UpdateUnit,
219}
220
221impl TopEntryPoint {
222 fn parse(&self, input: Vec<Token>) -> Vec<Event> {
223 let mut parser = Parser::new(input);
224 match self {
225 TopEntryPoint::QueryUnit => parse_QueryUnit(&mut parser),
226 TopEntryPoint::UpdateUnit => parse_UpdateUnit(&mut parser),
227 }
228 parser.events
229 }
230}
231
232pub(super) fn lex(text: &str) -> Vec<(Token, Range<usize>)> {
233 let mut lexer = SyntaxKind::lexer(text);
234 let mut tokens = Vec::new();
235
236 while let Some(result) = lexer.next() {
237 tokens.push((
238 Token {
239 kind: result.unwrap_or(SyntaxKind::Error),
240 text: lexer.slice().to_string(),
241 },
242 lexer.span(),
243 ));
244 }
245 tokens
246}
247
248pub fn guess_operation_type(input: &str) -> Option<TopEntryPoint> {
249 let tokens = lex(input);
250 tokens.iter().find_map(|(token, _)| match token.kind {
251 SyntaxKind::SELECT | SyntaxKind::CONSTRUCT | SyntaxKind::ASK | SyntaxKind::DESCRIBE => {
252 Some(TopEntryPoint::QueryUnit)
253 }
254 SyntaxKind::LOAD
255 | SyntaxKind::CLEAR
256 | SyntaxKind::DROP
257 | SyntaxKind::CREATE
258 | SyntaxKind::ADD
259 | SyntaxKind::MOVE
260 | SyntaxKind::COPY
261 | SyntaxKind::INSERT
262 | SyntaxKind::INSERT_DATA
263 | SyntaxKind::DELETE
264 | SyntaxKind::DELETE_DATA
265 | SyntaxKind::DELETE_WHERE => Some(TopEntryPoint::UpdateUnit),
266 _ => None,
267 })
268}
269
270#[wasm_bindgen]
271pub fn determine_operation_type(input: &str) -> String {
272 match guess_operation_type(input) {
273 Some(TopEntryPoint::QueryUnit) => "Query",
274 Some(TopEntryPoint::UpdateUnit) => "Update",
275 None => "Unknown",
276 }
277 .to_string()
278}
279
280#[cfg(test)]
281mod tests;