caisin/typst
1
0
Fork 0
mirror of https://github.com/typst/typst synced 2025-05-14 04:56:26 +08:00
Code Issues Packages Projects Releases Wiki Activity

Simplify only_in_mode to only_in_markup

Browse Source
This commit is contained in:
Laurenz 2022-05-19 13:56:14 +02:00
parent a5a6c2d83f
commit fcce3df093
2 changed files with 26 additions and 49 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
src/parse/incremental.rs
View File

@ -4,8 +4,7 @@ use std::sync::Arc;
use crate::syntax::{Green, GreenNode, NodeKind}; use crate::syntax::{Green, GreenNode, NodeKind};
use super::{ use super::{
is_newline, parse, reparse_code_block, reparse_content_block, is_newline, parse, reparse_code_block, reparse_content_block, reparse_markup_elements,
reparse_markup_elements, TokenMode,
}; };
/// Refresh the given green node with as little parsing as possible. /// Refresh the given green node with as little parsing as possible.
@ -49,7 +48,7 @@ impl Reparser<'_> {
mut offset: usize, mut offset: usize,
outermost: bool, outermost: bool,
) -> Option<Range<usize>> { ) -> Option<Range<usize>> {
let child_mode = green.kind().only_in_mode().unwrap_or(TokenMode::Code); let is_markup = matches!(green.kind(), NodeKind::Markup(_));
let original_count = green.children().len(); let original_count = green.children().len();
let original_offset = offset; let original_offset = offset;
@ -75,9 +74,7 @@ impl Reparser<'_> {
{ {
// In Markup mode, we want to consider a non-whitespace // In Markup mode, we want to consider a non-whitespace
// neighbor if the edit is on the node boundary. // neighbor if the edit is on the node boundary.
search = if child_span.end == self.replaced.end search = if is_markup && child_span.end == self.replaced.end {
&& child_mode == TokenMode::Markup
{
SearchState::RequireNonTrivia(pos) SearchState::RequireNonTrivia(pos)
} else { } else {
SearchState::Contained(pos) SearchState::Contained(pos)
@ -180,7 +177,7 @@ impl Reparser<'_> {
if start.offset == self.replaced.start if start.offset == self.replaced.start
|| ahead_kind.only_at_start() || ahead_kind.only_at_start()
|| ahead_kind.only_in_mode() != Some(TokenMode::Markup) || !ahead_kind.only_in_markup()
{ {
start = ahead; start = ahead;
at_start = ahead_at_start; at_start = ahead_at_start;

64
src/syntax/mod.rs
View File

@ -14,7 +14,6 @@ pub use span::*;
use self::ast::{MathNode, RawNode, TypedNode, Unit}; use self::ast::{MathNode, RawNode, TypedNode, Unit};
use crate::diag::Error; use crate::diag::Error;
use crate::parse::TokenMode;
use crate::source::SourceId; use crate::source::SourceId;
use crate::util::EcoString; use crate::util::EcoString;
@ -809,47 +808,28 @@ impl NodeKind {
} }
} }
/// Which mode this node can appear in, in both if `None`. /// Whether this is a node that only appears in markup.
pub fn only_in_mode(&self) -> Option<TokenMode> { pub fn only_in_markup(&self) -> bool {
match self { matches!(
Self::Markup(_) self,
| Self::Linebreak { .. } Self::Text(_)
| Self::Text(_) | Self::Linebreak { .. }
| Self::NonBreakingSpace | Self::NonBreakingSpace
| Self::EnDash | Self::Shy
| Self::EmDash | Self::EnDash
| Self::Ellipsis | Self::EmDash
| Self::Quote { .. } | Self::Ellipsis
| Self::Escape(_) | Self::Quote { .. }
| Self::Strong | Self::Escape(_)
| Self::Emph | Self::Strong
| Self::Heading | Self::Emph
| Self::Enum | Self::Raw(_)
| Self::EnumNumbering(_) | Self::Math(_)
| Self::List | Self::Heading
| Self::Raw(_) | Self::List
| Self::Math(_) => Some(TokenMode::Markup), | Self::Enum
Self::ContentBlock | Self::EnumNumbering(_)
| Self::Space(_) )
| Self::Ident(_)
| Self::CodeBlock
| Self::LetExpr
| Self::SetExpr
| Self::ShowExpr
| Self::WrapExpr
| Self::IfExpr
| Self::WhileExpr
| Self::ForExpr
| Self::ImportExpr
| Self::FuncCall
| Self::IncludeExpr
| Self::LineComment
| Self::BlockComment
| Self::Error(_, _)
| Self::Minus
| Self::Eq => None,
_ => Some(TokenMode::Code),
}
} }
/// A human-readable name for the kind. /// A human-readable name for the kind.