2023-04-21 22:36:01 +00:00
|
|
|
use crate::error::Res;
|
2023-04-19 23:53:37 +00:00
|
|
|
use crate::parser::comment::comment;
|
2023-04-21 20:10:56 +00:00
|
|
|
use crate::parser::element_parser::element;
|
2023-04-19 23:53:37 +00:00
|
|
|
use crate::parser::exiting::ExitClass;
|
2023-04-21 20:07:38 +00:00
|
|
|
use crate::parser::object_parser::standard_set_object;
|
2023-04-19 23:53:37 +00:00
|
|
|
use crate::parser::parser_context::ContextElement;
|
|
|
|
use crate::parser::parser_context::ContextTree;
|
|
|
|
use crate::parser::parser_context::ExitMatcherNode;
|
2023-04-22 01:39:26 +00:00
|
|
|
use crate::parser::planning::planning;
|
2023-04-19 22:37:39 +00:00
|
|
|
use crate::parser::property_drawer::property_drawer;
|
2023-04-19 23:53:37 +00:00
|
|
|
use crate::parser::util::blank_line;
|
|
|
|
use crate::parser::util::maybe_consume_trailing_whitespace_if_not_exiting;
|
2023-03-23 23:35:32 +00:00
|
|
|
use nom::branch::alt;
|
|
|
|
use nom::bytes::complete::tag;
|
2023-03-23 23:53:20 +00:00
|
|
|
use nom::character::complete::line_ending;
|
|
|
|
use nom::character::complete::space1;
|
2023-04-19 23:53:37 +00:00
|
|
|
use nom::combinator::eof;
|
2023-03-24 21:19:46 +00:00
|
|
|
use nom::combinator::map;
|
2023-03-24 00:12:42 +00:00
|
|
|
use nom::combinator::not;
|
2023-03-24 21:34:56 +00:00
|
|
|
use nom::combinator::opt;
|
2023-03-23 23:35:32 +00:00
|
|
|
use nom::combinator::recognize;
|
2023-03-24 21:19:46 +00:00
|
|
|
use nom::combinator::verify;
|
|
|
|
use nom::multi::many0;
|
2023-03-24 00:00:35 +00:00
|
|
|
use nom::multi::many1;
|
2023-03-23 23:35:32 +00:00
|
|
|
use nom::multi::many1_count;
|
2023-03-27 17:06:41 +00:00
|
|
|
use nom::multi::many_till;
|
2023-03-23 23:35:32 +00:00
|
|
|
use nom::sequence::tuple;
|
|
|
|
|
2023-03-23 21:51:49 +00:00
|
|
|
use super::element::Element;
|
2023-03-24 00:03:45 +00:00
|
|
|
use super::object::Object;
|
2023-03-23 23:35:32 +00:00
|
|
|
use super::parser_with_context::parser_with_context;
|
2023-03-23 21:51:49 +00:00
|
|
|
use super::source::Source;
|
2023-03-27 17:06:41 +00:00
|
|
|
use super::util::exit_matcher_parser;
|
2023-03-25 15:25:10 +00:00
|
|
|
use super::util::get_consumed;
|
2023-03-25 18:10:22 +00:00
|
|
|
use super::util::start_of_line;
|
2023-03-23 23:35:32 +00:00
|
|
|
use super::Context;
|
2022-10-15 00:17:48 +00:00
|
|
|
|
2023-03-23 21:51:49 +00:00
|
|
|
#[derive(Debug)]
|
|
|
|
pub struct Document<'s> {
|
|
|
|
pub source: &'s str,
|
|
|
|
pub zeroth_section: Option<Section<'s>>,
|
|
|
|
pub children: Vec<Heading<'s>>,
|
|
|
|
}
|
|
|
|
|
|
|
|
#[derive(Debug)]
|
|
|
|
pub struct Heading<'s> {
|
|
|
|
pub source: &'s str,
|
2023-03-24 21:19:46 +00:00
|
|
|
pub stars: usize,
|
2023-03-25 16:18:47 +00:00
|
|
|
pub title: Vec<Object<'s>>,
|
2023-03-23 21:51:49 +00:00
|
|
|
pub children: Vec<DocumentElement<'s>>,
|
|
|
|
}
|
|
|
|
|
|
|
|
#[derive(Debug)]
|
|
|
|
pub struct Section<'s> {
|
|
|
|
pub source: &'s str,
|
|
|
|
pub children: Vec<Element<'s>>,
|
|
|
|
}
|
|
|
|
|
|
|
|
#[derive(Debug)]
|
|
|
|
pub enum DocumentElement<'s> {
|
|
|
|
Heading(Heading<'s>),
|
|
|
|
Section(Section<'s>),
|
|
|
|
}
|
2022-12-04 03:44:53 +00:00
|
|
|
|
2023-03-23 21:51:49 +00:00
|
|
|
impl<'s> Source<'s> for Document<'s> {
|
|
|
|
fn get_source(&'s self) -> &'s str {
|
|
|
|
self.source
|
|
|
|
}
|
|
|
|
}
|
2022-12-18 09:22:28 +00:00
|
|
|
|
2023-03-23 21:51:49 +00:00
|
|
|
impl<'s> Source<'s> for DocumentElement<'s> {
|
|
|
|
fn get_source(&'s self) -> &'s str {
|
|
|
|
match self {
|
|
|
|
DocumentElement::Heading(obj) => obj.source,
|
|
|
|
DocumentElement::Section(obj) => obj.source,
|
|
|
|
}
|
|
|
|
}
|
2022-11-27 00:14:19 +00:00
|
|
|
}
|
2023-03-23 21:59:39 +00:00
|
|
|
|
2023-04-11 23:16:04 +00:00
|
|
|
impl<'s> Source<'s> for Section<'s> {
|
|
|
|
fn get_source(&'s self) -> &'s str {
|
|
|
|
self.source
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
impl<'s> Source<'s> for Heading<'s> {
|
|
|
|
fn get_source(&'s self) -> &'s str {
|
|
|
|
self.source
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2023-03-27 19:08:29 +00:00
|
|
|
#[tracing::instrument(ret, level = "debug")]
|
2023-03-24 00:12:42 +00:00
|
|
|
#[allow(dead_code)]
|
2023-03-23 21:59:39 +00:00
|
|
|
pub fn document(input: &str) -> Res<&str, Document> {
|
|
|
|
let initial_context: ContextTree<'_, '_> = ContextTree::new();
|
|
|
|
let document_context =
|
|
|
|
initial_context.with_additional_node(ContextElement::DocumentRoot(input));
|
2023-04-19 22:37:39 +00:00
|
|
|
let zeroth_section_matcher = parser_with_context!(zeroth_section)(&document_context);
|
2023-03-24 21:34:56 +00:00
|
|
|
let heading_matcher = parser_with_context!(heading)(&document_context);
|
2023-04-19 22:37:39 +00:00
|
|
|
let (remaining, _blank_lines) = many0(blank_line)(input)?;
|
|
|
|
let (remaining, zeroth_section) = opt(zeroth_section_matcher)(remaining)?;
|
2023-03-27 22:08:17 +00:00
|
|
|
let (remaining, children) = many0(heading_matcher)(remaining)?;
|
2023-03-24 21:34:56 +00:00
|
|
|
let source = get_consumed(input, remaining);
|
|
|
|
Ok((
|
|
|
|
remaining,
|
|
|
|
Document {
|
|
|
|
source,
|
|
|
|
zeroth_section,
|
|
|
|
children,
|
|
|
|
},
|
|
|
|
))
|
2023-03-23 21:59:39 +00:00
|
|
|
}
|
2023-03-23 23:35:32 +00:00
|
|
|
|
2023-04-19 22:37:39 +00:00
|
|
|
#[tracing::instrument(ret, level = "debug")]
|
|
|
|
fn zeroth_section<'r, 's>(context: Context<'r, 's>, input: &'s str) -> Res<&'s str, Section<'s>> {
|
|
|
|
// TODO: The zeroth section is specialized so it probably needs its own parser
|
|
|
|
let parser_context = context
|
|
|
|
.with_additional_node(ContextElement::ConsumeTrailingWhitespace(true))
|
|
|
|
.with_additional_node(ContextElement::Context("section"))
|
|
|
|
.with_additional_node(ContextElement::ExitMatcherNode(ExitMatcherNode {
|
|
|
|
class: ExitClass::Document,
|
|
|
|
exit_matcher: §ion_end,
|
|
|
|
}));
|
2023-04-19 23:03:51 +00:00
|
|
|
let without_consuming_whitespace_context =
|
|
|
|
parser_context.with_additional_node(ContextElement::ConsumeTrailingWhitespace(false));
|
|
|
|
|
2023-04-19 22:37:39 +00:00
|
|
|
let element_matcher = parser_with_context!(element)(&parser_context);
|
|
|
|
let exit_matcher = parser_with_context!(exit_matcher_parser)(&parser_context);
|
|
|
|
|
2023-04-19 23:22:23 +00:00
|
|
|
let (remaining, comment_and_property_drawer_element) = opt(tuple((
|
2023-04-19 23:03:51 +00:00
|
|
|
opt(parser_with_context!(comment)(
|
|
|
|
&without_consuming_whitespace_context,
|
|
|
|
)),
|
2023-04-19 23:22:23 +00:00
|
|
|
parser_with_context!(property_drawer)(&without_consuming_whitespace_context),
|
2023-04-19 23:28:21 +00:00
|
|
|
many0(blank_line),
|
2023-04-19 23:22:23 +00:00
|
|
|
)))(input)?;
|
2023-04-19 22:37:39 +00:00
|
|
|
|
|
|
|
let (remaining, (mut children, _exit_contents)) = verify(
|
|
|
|
many_till(element_matcher, exit_matcher),
|
2023-04-19 23:03:51 +00:00
|
|
|
|(children, _exit_contents)| {
|
2023-04-19 23:22:23 +00:00
|
|
|
!children.is_empty() || comment_and_property_drawer_element.is_some()
|
2023-04-19 23:03:51 +00:00
|
|
|
},
|
2023-04-19 22:37:39 +00:00
|
|
|
)(remaining)?;
|
2023-04-19 23:22:23 +00:00
|
|
|
|
2023-04-19 23:28:21 +00:00
|
|
|
comment_and_property_drawer_element.map(|(comment, property_drawer, _ws)| {
|
2023-04-19 23:22:23 +00:00
|
|
|
children.insert(0, Element::PropertyDrawer(property_drawer));
|
|
|
|
comment
|
|
|
|
.map(Element::Comment)
|
|
|
|
.map(|ele| children.insert(0, ele));
|
|
|
|
});
|
2023-04-19 22:37:39 +00:00
|
|
|
|
|
|
|
let (remaining, _trailing_ws) =
|
|
|
|
maybe_consume_trailing_whitespace_if_not_exiting(context, remaining)?;
|
|
|
|
|
|
|
|
let source = get_consumed(input, remaining);
|
|
|
|
Ok((remaining, Section { source, children }))
|
|
|
|
}
|
|
|
|
|
2023-03-27 19:08:29 +00:00
|
|
|
#[tracing::instrument(ret, level = "debug")]
|
2023-04-19 23:39:56 +00:00
|
|
|
fn section<'r, 's>(context: Context<'r, 's>, mut input: &'s str) -> Res<&'s str, Section<'s>> {
|
2023-03-23 23:35:32 +00:00
|
|
|
// TODO: The zeroth section is specialized so it probably needs its own parser
|
|
|
|
let parser_context = context
|
2023-04-10 14:36:16 +00:00
|
|
|
.with_additional_node(ContextElement::ConsumeTrailingWhitespace(true))
|
|
|
|
.with_additional_node(ContextElement::Context("section"))
|
2023-03-23 23:35:32 +00:00
|
|
|
.with_additional_node(ContextElement::ExitMatcherNode(ExitMatcherNode {
|
2023-04-19 00:33:01 +00:00
|
|
|
class: ExitClass::Document,
|
|
|
|
exit_matcher: §ion_end,
|
2023-04-10 14:36:16 +00:00
|
|
|
}));
|
2023-03-24 21:00:27 +00:00
|
|
|
let element_matcher = parser_with_context!(element)(&parser_context);
|
2023-03-27 17:06:41 +00:00
|
|
|
let exit_matcher = parser_with_context!(exit_matcher_parser)(&parser_context);
|
2023-04-19 23:56:21 +00:00
|
|
|
// TODO: Match whatever a planning is.
|
2023-04-22 01:39:26 +00:00
|
|
|
let (mut remaining, (planning_element, property_drawer_element)) = tuple((
|
|
|
|
opt(parser_with_context!(planning)(&parser_context)),
|
|
|
|
opt(parser_with_context!(property_drawer)(&parser_context)),
|
|
|
|
))(input)?;
|
|
|
|
if planning_element.is_none() && property_drawer_element.is_none() {
|
2023-04-19 23:39:56 +00:00
|
|
|
let (remain, _ws) = many0(blank_line)(remaining)?;
|
|
|
|
remaining = remain;
|
|
|
|
input = remain;
|
|
|
|
}
|
2023-04-19 23:03:51 +00:00
|
|
|
let (remaining, (mut children, _exit_contents)) = verify(
|
2023-04-10 15:16:32 +00:00
|
|
|
many_till(element_matcher, exit_matcher),
|
2023-04-22 01:39:26 +00:00
|
|
|
|(children, _exit_contents)| {
|
|
|
|
!children.is_empty() || property_drawer_element.is_some() || planning_element.is_some()
|
|
|
|
},
|
2023-04-19 23:03:51 +00:00
|
|
|
)(remaining)?;
|
|
|
|
property_drawer_element
|
|
|
|
.map(Element::PropertyDrawer)
|
|
|
|
.map(|ele| children.insert(0, ele));
|
2023-04-22 01:39:26 +00:00
|
|
|
planning_element
|
|
|
|
.map(Element::Planning)
|
|
|
|
.map(|ele| children.insert(0, ele));
|
2023-04-10 15:16:32 +00:00
|
|
|
|
2023-04-19 00:33:01 +00:00
|
|
|
let (remaining, _trailing_ws) =
|
|
|
|
maybe_consume_trailing_whitespace_if_not_exiting(context, remaining)?;
|
2023-04-10 15:16:32 +00:00
|
|
|
|
2023-03-24 21:00:27 +00:00
|
|
|
let source = get_consumed(input, remaining);
|
2023-04-10 15:16:32 +00:00
|
|
|
Ok((remaining, Section { source, children }))
|
2023-03-23 23:35:32 +00:00
|
|
|
}
|
|
|
|
|
2023-03-27 19:08:29 +00:00
|
|
|
#[tracing::instrument(ret, level = "debug")]
|
2023-03-23 23:35:32 +00:00
|
|
|
fn section_end<'r, 's>(context: Context<'r, 's>, input: &'s str) -> Res<&'s str, &'s str> {
|
2023-03-24 21:30:33 +00:00
|
|
|
let headline_matcher = parser_with_context!(headline)(context);
|
2023-04-10 15:17:55 +00:00
|
|
|
recognize(headline_matcher)(input)
|
2023-03-23 23:35:32 +00:00
|
|
|
}
|
|
|
|
|
2023-03-27 19:08:29 +00:00
|
|
|
#[tracing::instrument(ret, level = "debug")]
|
2023-03-23 23:35:32 +00:00
|
|
|
fn heading<'r, 's>(context: Context<'r, 's>, input: &'s str) -> Res<&'s str, Heading<'s>> {
|
2023-03-24 00:12:42 +00:00
|
|
|
not(|i| context.check_exit_matcher(i))(input)?;
|
2023-04-19 23:39:56 +00:00
|
|
|
let (remaining, (star_count, _ws, title)) = headline(context, input)?;
|
2023-03-24 21:19:46 +00:00
|
|
|
let section_matcher = parser_with_context!(section)(context);
|
|
|
|
let heading_matcher = parser_with_context!(heading)(context);
|
|
|
|
let (remaining, children) = many0(alt((
|
|
|
|
map(
|
|
|
|
verify(heading_matcher, |h| h.stars > star_count),
|
|
|
|
DocumentElement::Heading,
|
|
|
|
),
|
|
|
|
map(section_matcher, DocumentElement::Section),
|
|
|
|
)))(remaining)?;
|
|
|
|
let source = get_consumed(input, remaining);
|
|
|
|
Ok((
|
|
|
|
remaining,
|
|
|
|
Heading {
|
2023-03-24 21:34:56 +00:00
|
|
|
source,
|
2023-03-24 21:19:46 +00:00
|
|
|
stars: star_count,
|
2023-03-25 16:18:47 +00:00
|
|
|
title,
|
2023-03-24 21:19:46 +00:00
|
|
|
children,
|
|
|
|
},
|
|
|
|
))
|
2023-03-23 23:53:20 +00:00
|
|
|
}
|
|
|
|
|
2023-03-27 19:08:29 +00:00
|
|
|
#[tracing::instrument(ret, level = "debug")]
|
2023-03-24 00:03:45 +00:00
|
|
|
fn headline<'r, 's>(
|
|
|
|
context: Context<'r, 's>,
|
|
|
|
input: &'s str,
|
2023-04-19 23:39:56 +00:00
|
|
|
) -> Res<&'s str, (usize, &'s str, Vec<Object<'s>>)> {
|
2023-03-23 23:53:20 +00:00
|
|
|
let parser_context =
|
|
|
|
context.with_additional_node(ContextElement::ExitMatcherNode(ExitMatcherNode {
|
2023-04-19 00:33:01 +00:00
|
|
|
class: ExitClass::Document,
|
|
|
|
exit_matcher: &headline_end,
|
2023-03-23 23:53:20 +00:00
|
|
|
}));
|
2023-03-24 00:00:35 +00:00
|
|
|
let standard_set_object_matcher = parser_with_context!(standard_set_object)(&parser_context);
|
2023-03-24 20:37:34 +00:00
|
|
|
let start_of_line_matcher = parser_with_context!(start_of_line)(&parser_context);
|
2023-03-23 23:53:20 +00:00
|
|
|
|
2023-04-19 23:53:37 +00:00
|
|
|
let (remaining, (_sol, star_count, ws, title, _line_ending)) = tuple((
|
2023-03-24 20:37:34 +00:00
|
|
|
start_of_line_matcher,
|
2023-03-23 23:35:32 +00:00
|
|
|
many1_count(tag("*")),
|
2023-03-23 23:53:20 +00:00
|
|
|
space1,
|
2023-03-24 00:00:35 +00:00
|
|
|
many1(standard_set_object_matcher),
|
2023-04-19 23:53:37 +00:00
|
|
|
alt((line_ending, eof)),
|
2023-03-24 20:37:34 +00:00
|
|
|
))(input)?;
|
2023-04-19 23:39:56 +00:00
|
|
|
Ok((remaining, (star_count, ws, title)))
|
2023-03-23 23:35:32 +00:00
|
|
|
}
|
|
|
|
|
2023-03-27 19:08:29 +00:00
|
|
|
#[tracing::instrument(ret, level = "debug")]
|
2023-03-25 18:10:22 +00:00
|
|
|
fn headline_end<'r, 's>(_context: Context<'r, 's>, input: &'s str) -> Res<&'s str, &'s str> {
|
2023-04-10 15:17:55 +00:00
|
|
|
line_ending(input)
|
2023-03-23 23:53:20 +00:00
|
|
|
}
|