pub enum MathDiagnosticKind {
UnclosedGroup,
UnexpectedCloseBrace,
UnclosedEnvironment,
MismatchedEnvironment,
UnexpectedEnd,
UnclosedDelimiter,
UnexpectedRight,
}Expand description
The kind of a MathDiagnostic. A neutral structural identity; downstream
consumers (the linter, LSP) map it to their own code and message. The parser
crate deliberately does not own linter code strings.
Variants§
UnclosedGroup
A { group with no closing } (MATH_GROUP lacking MATH_GROUP_CLOSE).
UnexpectedCloseBrace
A } with no matching { (MATH_GROUP_CLOSE outside a MATH_GROUP).
UnclosedEnvironment
A \begin with no matching \end.
MismatchedEnvironment
A \begin{a} closed by \end{b} with a different name.
UnexpectedEnd
A \end with no open \begin.
UnclosedDelimiter
A \left with no matching \right (MATH_DELIMITED lacking \right).
UnexpectedRight
A \right with no open \left (\right outside a MATH_DELIMITED).
Trait Implementations§
Source§impl Clone for MathDiagnosticKind
impl Clone for MathDiagnosticKind
Source§fn clone(&self) -> MathDiagnosticKind
fn clone(&self) -> MathDiagnosticKind
Returns a duplicate of the value. Read more
1.0.0 (const: unstable) · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source. Read moreimpl Copy for MathDiagnosticKind
Source§impl Debug for MathDiagnosticKind
impl Debug for MathDiagnosticKind
impl Eq for MathDiagnosticKind
Source§impl PartialEq for MathDiagnosticKind
impl PartialEq for MathDiagnosticKind
impl StructuralPartialEq for MathDiagnosticKind
Auto Trait Implementations§
impl Freeze for MathDiagnosticKind
impl RefUnwindSafe for MathDiagnosticKind
impl Send for MathDiagnosticKind
impl Sync for MathDiagnosticKind
impl Unpin for MathDiagnosticKind
impl UnsafeUnpin for MathDiagnosticKind
impl UnwindSafe for MathDiagnosticKind
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more