wip block+inline
This commit is contained in:
parent
a41673a3b6
commit
f3e6db018e
4 changed files with 100 additions and 139 deletions
|
@ -57,50 +57,49 @@ pub enum Container {
|
|||
|
||||
#[derive(Debug, PartialEq, Eq)]
|
||||
pub enum Event {
|
||||
Start(Container),
|
||||
End(Container),
|
||||
Enter(Container),
|
||||
Exit(Container),
|
||||
Atom(Atom),
|
||||
}
|
||||
|
||||
/*
|
||||
#[derive(Debug)]
|
||||
pub enum OpenerState {
|
||||
Unclosed,
|
||||
Closed,
|
||||
Discarded,
|
||||
}
|
||||
*/
|
||||
|
||||
#[derive(Debug)]
|
||||
#[derive(Debug, Clone, Copy)]
|
||||
pub enum Dir {
|
||||
Open,
|
||||
Close,
|
||||
Both,
|
||||
}
|
||||
|
||||
pub struct Parser {
|
||||
pub struct Parser<'s> {
|
||||
openers: Vec<Container>,
|
||||
events: Vec<Event>,
|
||||
lexer: Option<std::iter::Peekable<lex::Lexer<'s>>>,
|
||||
}
|
||||
|
||||
impl Parser {
|
||||
impl<'s> Parser<'s> {
|
||||
pub fn new() -> Self {
|
||||
Self {
|
||||
openers: Vec::new(),
|
||||
events: Vec::new(),
|
||||
lexer: None,
|
||||
}
|
||||
}
|
||||
|
||||
pub fn parse<'a>(&'a mut self, src: &'a str) -> impl Iterator<Item = Event> + 'a {
|
||||
let mut lexer = lex::Lexer::new(src).peekable();
|
||||
std::iter::from_fn(move || {
|
||||
dbg!(&src);
|
||||
pub fn parse(&mut self, src: &'s str) {
|
||||
self.lexer = Some(lex::Lexer::new(src).peekable());
|
||||
}
|
||||
}
|
||||
|
||||
impl<'s> Iterator for Parser<'s> {
|
||||
type Item = Event;
|
||||
|
||||
fn next(&mut self) -> Option<Self::Item> {
|
||||
if self.events.is_empty() {
|
||||
Parse::new(&mut lexer, &mut self.openers, &mut self.events).parse();
|
||||
if let Some(lexer) = &mut self.lexer {
|
||||
Parse::new(lexer, &mut self.openers, &mut self.events).parse();
|
||||
}
|
||||
}
|
||||
|
||||
self.events.pop()
|
||||
})
|
||||
}
|
||||
}
|
||||
|
||||
|
@ -123,26 +122,6 @@ impl<'l, 's, 'e> Parse<'l, 's, 'e> {
|
|||
}
|
||||
}
|
||||
|
||||
/*
|
||||
fn step(&mut self) -> lex::Token {
|
||||
let token = self.lexer.next_token();
|
||||
dbg!(&token, self.pos);
|
||||
self.pos += token.len;
|
||||
std::mem::replace(&mut self.next_token, token)
|
||||
}
|
||||
|
||||
fn eat(&mut self) -> lex::Kind {
|
||||
let end = self.pos;
|
||||
let token = self.step();
|
||||
self.span = Span::new(end - token.len, end);
|
||||
token.kind
|
||||
}
|
||||
|
||||
fn peek(&mut self) -> &lex::Kind {
|
||||
&self.next_token.kind
|
||||
}
|
||||
*/
|
||||
|
||||
fn peek(&mut self) -> Option<&lex::Kind> {
|
||||
self.tokens.peek().map(|t| &t.kind)
|
||||
}
|
||||
|
@ -154,8 +133,6 @@ impl<'l, 's, 'e> Parse<'l, 's, 'e> {
|
|||
return;
|
||||
};
|
||||
|
||||
//dbg!(&kind);
|
||||
|
||||
{
|
||||
let verbatim_opt = match t.kind {
|
||||
lex::Kind::Seq(lex::Sequence::Dollar) => {
|
||||
|
@ -216,23 +193,23 @@ impl<'l, 's, 'e> Parse<'l, 's, 'e> {
|
|||
_ => None,
|
||||
};
|
||||
|
||||
if let Some((cont, ty)) = container_opt {
|
||||
if matches!(ty, Dir::Close | Dir::Both) && self.openers.contains(&cont) {
|
||||
if let Some((cont, dir)) = container_opt {
|
||||
if matches!(dir, Dir::Close | Dir::Both) && self.openers.contains(&cont) {
|
||||
loop {
|
||||
let c = self.openers.pop().unwrap();
|
||||
self.events.push(Event::End(c));
|
||||
self.events.push(Event::Exit(c));
|
||||
if c == cont {
|
||||
break;
|
||||
}
|
||||
}
|
||||
return;
|
||||
} else if matches!(ty, Dir::Open | Dir::Both) {
|
||||
} else if matches!(dir, Dir::Open | Dir::Both) {
|
||||
self.openers.push(cont);
|
||||
self.events.push(Event::Start(cont));
|
||||
}
|
||||
self.events.push(Event::Enter(cont));
|
||||
return;
|
||||
}
|
||||
}
|
||||
}
|
||||
|
||||
{
|
||||
if let lex::Kind::Open(Delimiter::Brace) = t.kind {
|
||||
|
@ -250,14 +227,16 @@ impl<'l, 's, 'e> Parse<'l, 's, 'e> {
|
|||
#[cfg(test)]
|
||||
mod test {
|
||||
use super::Atom::*;
|
||||
use super::Container::*;
|
||||
use super::Event::*;
|
||||
|
||||
#[test]
|
||||
fn container_brace() {
|
||||
let mut p = super::Parser::new();
|
||||
p.parse("{_hej_}");
|
||||
assert_eq!(
|
||||
&[Atom(Str)],
|
||||
p.parse("{_hej_}").collect::<Vec<_>>().as_slice(),
|
||||
p.collect::<Vec<_>>().as_slice(),
|
||||
&[Enter(Emphasis), Atom(Str), Exit(Emphasis)],
|
||||
);
|
||||
}
|
||||
}
|
||||
|
|
23
src/lex.rs
23
src/lex.rs
|
@ -5,13 +5,13 @@ use Kind::*;
|
|||
use Sequence::*;
|
||||
use Symbol::*;
|
||||
|
||||
#[derive(Debug, PartialEq, Eq)]
|
||||
#[derive(Debug, Clone, PartialEq, Eq)]
|
||||
pub(crate) struct Token {
|
||||
pub kind: Kind,
|
||||
pub len: usize,
|
||||
}
|
||||
|
||||
#[derive(Debug, PartialEq, Eq)]
|
||||
#[derive(Debug, Clone, PartialEq, Eq)]
|
||||
pub enum Kind {
|
||||
Text,
|
||||
Whitespace,
|
||||
|
@ -25,7 +25,7 @@ pub enum Kind {
|
|||
Eof,
|
||||
}
|
||||
|
||||
#[derive(Debug, PartialEq, Eq)]
|
||||
#[derive(Debug, Clone, Copy, PartialEq, Eq)]
|
||||
pub enum Delimiter {
|
||||
Brace,
|
||||
BraceAsterisk,
|
||||
|
@ -39,7 +39,7 @@ pub enum Delimiter {
|
|||
Paren,
|
||||
}
|
||||
|
||||
#[derive(Debug, PartialEq, Eq)]
|
||||
#[derive(Debug, Clone, Copy, PartialEq, Eq)]
|
||||
pub enum Symbol {
|
||||
Asterisk,
|
||||
Caret,
|
||||
|
@ -79,6 +79,7 @@ impl Sequence {
|
|||
}
|
||||
}
|
||||
|
||||
#[derive(Clone)]
|
||||
pub(crate) struct Lexer<'s> {
|
||||
src: &'s str,
|
||||
chars: std::str::Chars<'s>,
|
||||
|
@ -254,20 +255,6 @@ mod test {
|
|||
use super::Sequence::*;
|
||||
use super::Symbol::*;
|
||||
|
||||
/*
|
||||
fn tokenize(src: &str) -> impl Iterator<Item = super::Token> + '_ {
|
||||
let mut lexer = super::Lexer::new(src);
|
||||
std::iter::from_fn(move || {
|
||||
let tok = lexer.next_token();
|
||||
if matches!(tok.kind, Eof) {
|
||||
None
|
||||
} else {
|
||||
Some(tok)
|
||||
}
|
||||
})
|
||||
}
|
||||
*/
|
||||
|
||||
macro_rules! test_lex {
|
||||
($($st:ident,)? $src:expr $(,$($token:expr),* $(,)?)?) => {
|
||||
#[allow(unused)]
|
||||
|
|
129
src/lib.rs
129
src/lib.rs
|
@ -4,40 +4,10 @@ mod lex;
|
|||
mod span;
|
||||
mod tree;
|
||||
|
||||
use inline::Atom;
|
||||
use inline::Container as InlineTag;
|
||||
|
||||
pub struct Block;
|
||||
|
||||
const EOF: char = '\0';
|
||||
|
||||
type CowStr<'s> = std::borrow::Cow<'s, str>;
|
||||
|
||||
/*
|
||||
pub enum Tag<'s> {
|
||||
Paragraph,
|
||||
Heading { level: u8 },
|
||||
BlockQuote,
|
||||
CodeBlock { info_string: CowStr<'s> },
|
||||
List { start_index: Option<u64> },
|
||||
ListItem,
|
||||
FootnoteDefinition { label: CowStr<'s> },
|
||||
Table,
|
||||
Image {},
|
||||
Link {},
|
||||
Block(Block),
|
||||
Inline(InlineTag),
|
||||
}
|
||||
|
||||
pub struct Attributes; // TODO
|
||||
|
||||
pub enum Event<'s> {
|
||||
Start(Tag<'s>, Attributes),
|
||||
End(Tag<'s>),
|
||||
Atom(Atom<'s>),
|
||||
}
|
||||
*/
|
||||
|
||||
use span::Span;
|
||||
|
||||
pub struct Parser<'s> {
|
||||
|
@ -46,6 +16,7 @@ pub struct Parser<'s> {
|
|||
}
|
||||
|
||||
impl<'s> Parser<'s> {
|
||||
#[must_use]
|
||||
pub fn new(src: &'s str) -> Self {
|
||||
Self {
|
||||
src,
|
||||
|
@ -53,60 +24,84 @@ impl<'s> Parser<'s> {
|
|||
}
|
||||
}
|
||||
|
||||
pub fn parse(&mut self) {}
|
||||
|
||||
#[must_use]
|
||||
pub fn iter(&self) -> Iter {
|
||||
Iter {
|
||||
src: self.src,
|
||||
tree: self.tree.iter().peekable(),
|
||||
events: Vec::new(),
|
||||
tree: self.tree.iter(),
|
||||
parser: None,
|
||||
}
|
||||
}
|
||||
}
|
||||
|
||||
#[derive(Debug, PartialEq, Eq)]
|
||||
pub enum Event {
|
||||
Start(block::Block),
|
||||
End,
|
||||
Inline(inline::Event),
|
||||
Blankline,
|
||||
}
|
||||
|
||||
pub struct Iter<'s> {
|
||||
src: &'s str,
|
||||
tree: std::iter::Peekable<block::TreeIter<'s>>,
|
||||
events: Vec<inline::Event>,
|
||||
tree: block::TreeIter<'s>,
|
||||
parser: Option<inline::Parser<'s>>,
|
||||
}
|
||||
|
||||
impl<'s> Iterator for Iter<'s> {
|
||||
type Item = String;
|
||||
type Item = Event;
|
||||
|
||||
fn next(&mut self) -> Option<Self::Item> {
|
||||
while let Some(parser) = &mut self.parser {
|
||||
// inside leaf block, with inline content
|
||||
if let Some(inline) = parser.next() {
|
||||
return Some(Event::Inline(inline));
|
||||
} else if let Some(ev) = self.tree.next() {
|
||||
match ev {
|
||||
tree::Event::Element(atom, sp) => {
|
||||
assert_eq!(*atom, block::Atom::Inline);
|
||||
parser.parse(sp.of(self.src));
|
||||
}
|
||||
tree::Event::Exit => {
|
||||
self.parser = None;
|
||||
return Some(Event::End);
|
||||
}
|
||||
tree::Event::Enter(..) => unreachable!(),
|
||||
}
|
||||
}
|
||||
}
|
||||
|
||||
self.tree.next().map(|ev| match ev {
|
||||
tree::Event::Enter(block::Block::Container(cont), _sp) => {
|
||||
format!("cont {:?}", cont)
|
||||
}
|
||||
tree::Event::Enter(block::Block::Leaf(leaf), _sp) => {
|
||||
// concatenate all inlines
|
||||
let chars = (&mut self.tree)
|
||||
.take_while(|ev| matches!(ev, tree::Event::Element(..)))
|
||||
.flat_map(|ev| ev.span().of(self.src).chars());
|
||||
//inline::Parser::new(chars).parse(&mut self.events);
|
||||
/*
|
||||
let chars = std::iter::from_fn(|| {
|
||||
let mut eat = false;
|
||||
let ret = if let Some(tree::Event::Element(_a, sp)) = self.tree.peek() {
|
||||
eat = true;
|
||||
let chars = sp.of(self.src).chars();
|
||||
Some(chars)
|
||||
} else {
|
||||
None
|
||||
};
|
||||
if eat {
|
||||
self.tree.next();
|
||||
}
|
||||
ret
|
||||
})
|
||||
.flatten();
|
||||
*/
|
||||
format!("leaf {:?} {:?}", leaf, self.events)
|
||||
}
|
||||
tree::Event::Element(atom, _sp) => {
|
||||
format!("atom {:?}", atom)
|
||||
assert_eq!(*atom, block::Atom::Blankline);
|
||||
Event::Blankline
|
||||
}
|
||||
tree::Event::Exit => "exit".to_string(),
|
||||
tree::Event::Enter(block @ block::Block::Container(..), ..) => {
|
||||
Event::Start(block.clone())
|
||||
}
|
||||
tree::Event::Enter(block @ block::Block::Leaf(..), ..) => {
|
||||
self.parser = Some(inline::Parser::new());
|
||||
Event::Start(block.clone())
|
||||
}
|
||||
tree::Event::Exit => Event::End,
|
||||
})
|
||||
}
|
||||
}
|
||||
|
||||
#[cfg(test)]
|
||||
mod test {
|
||||
use super::Event::*;
|
||||
use crate::block::Block::*;
|
||||
use crate::block::Container::*;
|
||||
use crate::block::Leaf::*;
|
||||
use crate::inline::Atom::*;
|
||||
use crate::inline::Event::*;
|
||||
|
||||
#[test]
|
||||
fn basic() {
|
||||
assert_eq!(
|
||||
super::Parser::new("abc").iter().collect::<Vec<_>>(),
|
||||
&[Start(Leaf(Paragraph)), Inline(Atom(Str)), End]
|
||||
);
|
||||
}
|
||||
}
|
||||
|
|
|
@ -7,6 +7,6 @@ fn main() {
|
|||
.expect("failed to read unicode file");
|
||||
|
||||
let p = jotdown::Parser::new(&src);
|
||||
let v = p.iter().collect::<Vec<_>>();
|
||||
print!("{:?}", v);
|
||||
//let v = p.parse().collect::<Vec<_>>();
|
||||
//print!("{:?}", v);
|
||||
}
|
||||
|
|
Loading…
Reference in a new issue