use crate::{
CursorSink, KindSet, Parse, Parser, Peek, Result as ParserResult, SemanticEq, Span, T, ToCursors, ToSpan,
syntax::ComponentValues,
};
#[derive(Debug, Clone, PartialEq, Eq, PartialOrd, Ord, Hash)]
#[cfg_attr(feature = "serde", derive(serde::Serialize), serde())]
pub struct SimpleBlock<'a> {
pub open: T![PairWiseStart],
pub values: ComponentValues<'a>,
pub close: Option<T![PairWiseEnd]>,
}
impl<'a> Parse<'a> for SimpleBlock<'a> {
fn parse<Iter>(p: &mut Parser<'a, Iter>) -> ParserResult<Self>
where
Iter: Iterator<Item = crate::Cursor> + Clone,
{
let open = p.parse::<T![PairWiseStart]>()?;
let stop = p.set_stop(KindSet::new(&[open.end()]));
let values = p.parse::<ComponentValues>();
p.set_stop(stop);
let values = values?;
if <T![PairWiseEnd]>::peek(p, p.peek_n(1)) {
return Ok(Self { open, values, close: p.parse::<T![PairWiseEnd]>().ok() });
}
Ok(Self { open, values, close: None })
}
}
impl<'a> ToCursors for SimpleBlock<'a> {
fn to_cursors(&self, s: &mut impl CursorSink) {
ToCursors::to_cursors(&self.open, s);
ToCursors::to_cursors(&self.values, s);
ToCursors::to_cursors(&self.close, s);
}
}
impl<'a> ToSpan for SimpleBlock<'a> {
fn to_span(&self) -> Span {
self.open.to_span() + if let Some(close) = self.close { close.to_span() } else { self.values.to_span() }
}
}
impl<'a> SemanticEq for SimpleBlock<'a> {
fn semantic_eq(&self, other: &Self) -> bool {
self.open.semantic_eq(&other.open)
&& self.values.semantic_eq(&other.values)
&& self.close.semantic_eq(&other.close)
}
}
#[cfg(test)]
mod tests {
use super::*;
use crate::EmptyAtomSet;
use crate::test_helpers::*;
#[test]
fn size_test() {
assert_eq!(std::mem::size_of::<SimpleBlock>(), 64);
}
#[test]
fn test_writes() {
assert_parse!(EmptyAtomSet::ATOMS, SimpleBlock, "[foo]");
assert_parse!(EmptyAtomSet::ATOMS, SimpleBlock, "(one two three)");
assert_parse!(EmptyAtomSet::ATOMS, SimpleBlock, "{}");
assert_parse!(EmptyAtomSet::ATOMS, SimpleBlock, "{foo}");
assert_parse!(EmptyAtomSet::ATOMS, SimpleBlock, "{foo:bar}");
assert_parse!(EmptyAtomSet::ATOMS, SimpleBlock, "{one(two)}");
assert_parse!(EmptyAtomSet::ATOMS, SimpleBlock, "(one(two))");
assert_parse!(EmptyAtomSet::ATOMS, SimpleBlock, "[foo");
assert_parse!(EmptyAtomSet::ATOMS, SimpleBlock, "{foo:bar");
assert_parse!(EmptyAtomSet::ATOMS, SimpleBlock, "(one(two)");
}
#[test]
fn test_errors() {
assert_parse_error!(EmptyAtomSet::ATOMS, SimpleBlock, "foo");
}
}