Skip to main content

ParseLineOutput

Struct ParseLineOutput 

Source
pub struct ParseLineOutput {
    pub ops: Vec<(usize, ScopeStackOp)>,
    pub replayed: Vec<Vec<(usize, ScopeStackOp)>>,
    pub warnings: Vec<String>,
}
Expand description

Keeps the current parser state (the internal syntax interpreter stack) between lines of parsing.

If you are parsing an entire file you create one of these at the start and use it all the way to the end.

§Caching

One reason this is exposed is that since it implements Clone you can actually cache these (probably along with a HighlightState) and only re-start parsing from the point of a change. See the docs for HighlightState for more in-depth discussion of caching.

This state doesn’t keep track of the current scope stack and parsing only returns changes to this stack so if you want to construct scope stacks you’ll need to keep track of that as well. Note that HighlightState contains exactly this as a public field that you can use.

Note: Caching is for advanced users who have tons of time to maximize performance or want to do so eventually. It is not recommended that you try caching the first time you implement highlighting.

Output of ParseState::parse_line.

ops contains the scope-stack operations for the current line, as before. replayed is non-empty only after a cross-line fail fires: it contains the corrected ops for each buffered line (in chronological order) so that callers who want full cross-line accuracy can re-apply them.

Callers that do not need cross-line accuracy can use .ops directly, which behaves identically to the old Vec<(usize, ScopeStackOp)> return.

Fields§

§ops: Vec<(usize, ScopeStackOp)>

Ops for the current line.

§replayed: Vec<Vec<(usize, ScopeStackOp)>>

Ops for previously buffered lines that have now been corrected, in order. Non-empty only when a cross-line fail just resolved.

§warnings: Vec<String>

Warnings collected during parsing (e.g. branch point expiry).

Trait Implementations§

Source§

impl Clone for ParseLineOutput

Source§

fn clone(&self) -> ParseLineOutput

Returns a duplicate of the value. Read more
1.0.0 · Source§

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

Performs copy-assignment from source. Read more
Source§

impl Debug for ParseLineOutput

Source§

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

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

impl Default for ParseLineOutput

Source§

fn default() -> ParseLineOutput

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

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<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<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.