rust/src/parser/mod.rs

94 lines
2.7 KiB
Rust
Raw Normal View History

2018-01-28 00:31:23 +01:00
use {File, FileBuilder, Sink, SyntaxKind, Token};
2017-12-31 15:54:33 +01:00
2017-12-31 21:34:29 +01:00
use syntax_kinds::*;
2018-01-20 21:25:34 +01:00
use tree::TOMBSTONE;
2017-12-31 21:34:29 +01:00
2018-01-01 13:10:56 +01:00
mod event_parser;
use self::event_parser::Event;
2017-12-31 21:34:29 +01:00
pub fn parse(text: String, tokens: &[Token]) -> File {
2018-01-01 13:10:56 +01:00
let events = event_parser::parse(&text, tokens);
2018-01-01 20:13:04 +01:00
from_events_to_file(text, tokens, events)
2018-01-01 13:10:56 +01:00
}
2018-01-28 00:31:23 +01:00
fn from_events_to_file(text: String, tokens: &[Token], events: Vec<Event>) -> File {
2017-12-31 21:34:29 +01:00
let mut builder = FileBuilder::new(text);
2018-01-01 20:13:04 +01:00
let mut idx = 0;
2018-01-12 18:32:37 +01:00
let mut holes = Vec::new();
let mut forward_parents = Vec::new();
for (i, event) in events.iter().enumerate() {
if holes.last() == Some(&i) {
holes.pop();
2018-01-28 00:31:23 +01:00
continue;
2018-01-12 18:32:37 +01:00
}
2018-01-01 13:10:56 +01:00
match event {
2018-01-28 00:31:23 +01:00
&Event::Start {
kind: TOMBSTONE, ..
} => (),
2018-01-20 21:25:34 +01:00
2018-01-13 11:42:19 +01:00
&Event::Start { .. } => {
2018-01-12 18:32:37 +01:00
forward_parents.clear();
let mut idx = i;
loop {
let (kind, fwd) = match events[idx] {
2018-01-28 00:31:23 +01:00
Event::Start {
kind,
forward_parent,
} => (kind, forward_parent),
2018-01-12 18:32:37 +01:00
_ => unreachable!(),
};
forward_parents.push((idx, kind));
if let Some(fwd) = fwd {
idx += fwd as usize;
} else {
break;
}
}
for &(idx, kind) in forward_parents.iter().into_iter().rev() {
builder.start_internal(kind);
holes.push(idx);
}
holes.pop();
}
&Event::Finish => {
2018-01-01 20:13:04 +01:00
while idx < tokens.len() {
let token = tokens[idx];
if is_insignificant(token.kind) {
idx += 1;
builder.leaf(token.kind, token.len);
} else {
break;
}
}
builder.finish_internal()
2018-01-28 00:31:23 +01:00
}
&Event::Token {
kind: _,
mut n_raw_tokens,
} => loop {
2018-01-01 20:13:04 +01:00
let token = tokens[idx];
if !is_insignificant(token.kind) {
n_raw_tokens -= 1;
}
idx += 1;
builder.leaf(token.kind, token.len);
if n_raw_tokens == 0 {
break;
}
},
2018-01-28 00:31:23 +01:00
&Event::Error { ref message } => builder.error().message(message.clone()).emit(),
2018-01-01 13:10:56 +01:00
}
}
2017-12-31 21:34:29 +01:00
builder.finish()
2018-01-01 13:10:56 +01:00
}
2018-01-01 20:13:04 +01:00
fn is_insignificant(kind: SyntaxKind) -> bool {
match kind {
WHITESPACE | COMMENT => true,
_ => false,
}
2018-01-08 20:40:14 +01:00
}