Skip to main content

ParseConfig

Struct ParseConfig 

Source
pub struct ParseConfig {
    pub reject_unknown: bool,
    pub abort_on_error: bool,
    pub max_group_depth: usize,
}
Expand description

Parse-time configuration knobs.

ParseConfig is plain data describing how a single parse call should behave. It is independent of ParseContext, which owns the knowledge base; the same context can be reused across many calls with different configs.

Two orthogonal axes control parsing, both with true = stricter:

  • reject_unknown: unknown command/environment names become diagnostics (true) or known: false nodes (false).
  • abort_on_error: stop at the first error (true) or continue parsing to collect every diagnostic (false, slower). Recovery may return a read-only document containing Error nodes; use ParseResult::try_into_document when downstream code requires a complete tree.

Named extremes STRICT and LENIENT cover the two corners where both axes agree. For mixed settings, use struct-update syntax, e.g. ParseConfig { reject_unknown: true, ..Default::default() }.

Fields§

§reject_unknown: bool

When true, unknown command/environment names become diagnostics instead of being preserved as known: false nodes.

This controls unknown-name handling only, not general error strictness.

§abort_on_error: bool

When true, parsing stops at the first error in each content item and may return no document for that item.

When false, the parser uses recovery fallbacks to collect every diagnostic (useful for IDEs and playgrounds, but slower on large corpora) and may attach Error nodes to the returned document. A document with error nodes is read-only and cannot be used by transform entry points.

§max_group_depth: usize

Hard upper bound on nested { ... } brace group depth.

Implementations§

Source§

impl ParseConfig

Source

pub const DEFAULT_MAX_GROUP_DEPTH: usize = 128

Default hard upper bound on nested { ... } brace group depth.

Source

pub const STRICT: Self

Both axes strict: reject_unknown = true, abort_on_error = true.

Used by normalization and other correctness-sensitive paths.

Source

pub const LENIENT: Self

Both axes lenient: reject_unknown = false, abort_on_error = false.

Default for standalone parse-only entry points and interactive tools.

Trait Implementations§

Source§

impl Clone for ParseConfig

Source§

fn clone(&self) -> ParseConfig

Returns a duplicate of the value. Read more
1.0.0 (const: unstable) · Source§

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source. Read more
Source§

impl Debug for ParseConfig

Source§

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter. Read more
Source§

impl Default for ParseConfig

Source§

fn default() -> Self

Returns the “default value” for a type. Read more
Source§

impl Eq for ParseConfig

Source§

impl PartialEq for ParseConfig

Source§

fn eq(&self, other: &ParseConfig) -> bool

Tests for self and other values to be equal, and is used by ==.
1.0.0 (const: unstable) · Source§

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.
Source§

impl StructuralPartialEq for ParseConfig

Auto Trait Implementations§

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
Source§

impl<T> CloneToUninit for T
where T: Clone,

Source§

unsafe fn clone_to_uninit(&self, dest: *mut u8)

🔬This is a nightly-only experimental API. (clone_to_uninit)
Performs copy-assignment from self to dest. Read more
Source§

impl<Q, K> Equivalent<K> for Q
where Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

Source§

fn equivalent(&self, key: &K) -> bool

Compare self to key and return true if they are equal.
Source§

impl<Q, K> Equivalent<K> for Q
where Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

Source§

fn equivalent(&self, key: &K) -> bool

Checks if this value is equivalent to the given key. Read more
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<'src, T> IntoMaybe<'src, T> for T
where T: 'src,

Source§

type Proj<U: 'src> = U

Source§

fn map_maybe<R>( self, _f: impl FnOnce(&'src T) -> &'src R, g: impl FnOnce(T) -> R, ) -> <T as IntoMaybe<'src, T>>::Proj<R>
where R: 'src,

Source§

impl<T> OrderedSeq<'_, T> for T
where T: Clone,

Source§

impl<'p, T> Seq<'p, T> for T
where T: Clone,

Source§

type Item<'a> = &'a T where T: 'a

The item yielded by the iterator.
Source§

type Iter<'a> = Once<&'a T> where T: 'a

An iterator over the items within this container, by reference.
Source§

fn seq_iter(&self) -> <T as Seq<'p, T>>::Iter<'_>

Iterate over the elements of the container.
Source§

fn contains(&self, val: &T) -> bool
where T: PartialEq,

Check whether an item is contained within this sequence.
Source§

fn to_maybe_ref<'b>(item: <T as Seq<'p, T>>::Item<'b>) -> Maybe<T, &'p T>
where 'p: 'b,

Convert an item of the sequence into a MaybeRef.
Source§

impl<T> ToOwned for T
where T: Clone,

Source§

type Owned = T

The resulting type after obtaining ownership.
Source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
Source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.