summaryrefslogtreecommitdiff
path: root/src/syntax/node.rs
diff options
context:
space:
mode:
authorLaurenz <laurmaedje@gmail.com>2023-06-26 13:57:21 +0200
committerLaurenz <laurmaedje@gmail.com>2023-06-27 18:40:17 +0200
commit7b92bd7c340d9f9c094ed2fa57912049317d9b20 (patch)
treeb91399526ba94d87309d09d864df2935dd7a4d0a /src/syntax/node.rs
parent9c7f31870b4e1bf37df79ebbe1df9a56df83d878 (diff)
Basic package management
Diffstat (limited to 'src/syntax/node.rs')
-rw-r--r--src/syntax/node.rs43
1 files changed, 11 insertions, 32 deletions
diff --git a/src/syntax/node.rs b/src/syntax/node.rs
index d2adc13a..6a66416d 100644
--- a/src/syntax/node.rs
+++ b/src/syntax/node.rs
@@ -6,8 +6,9 @@ use std::sync::Arc;
use ecow::EcoString;
use super::ast::AstNode;
-use super::{SourceId, Span, SyntaxKind};
+use super::{Span, SyntaxKind};
use crate::diag::SourceError;
+use crate::file::FileId;
/// A node in the untyped syntax tree.
#[derive(Clone, Eq, PartialEq, Hash)]
@@ -36,12 +37,8 @@ impl SyntaxNode {
}
/// Create a new error node.
- pub fn error(
- message: impl Into<EcoString>,
- text: impl Into<EcoString>,
- pos: ErrorPos,
- ) -> Self {
- Self(Repr::Error(Arc::new(ErrorNode::new(message, text, pos))))
+ pub fn error(message: impl Into<EcoString>, text: impl Into<EcoString>) -> Self {
+ Self(Repr::Error(Arc::new(ErrorNode::new(message, text))))
}
/// The type of the node.
@@ -145,7 +142,7 @@ impl SyntaxNode {
}
if let Repr::Error(error) = &self.0 {
- vec![SourceError::new(error.span, error.message.clone()).with_pos(error.pos)]
+ vec![SourceError::new(error.span, error.message.clone())]
} else {
self.children()
.filter(|node| node.erroneous())
@@ -186,14 +183,14 @@ impl SyntaxNode {
/// Convert the child to an error.
pub(super) fn convert_to_error(&mut self, message: impl Into<EcoString>) {
let text = std::mem::take(self).into_text();
- *self = SyntaxNode::error(message, text, ErrorPos::Full);
+ *self = SyntaxNode::error(message, text);
}
/// Assign spans to each node.
#[tracing::instrument(skip_all)]
pub(super) fn numberize(
&mut self,
- id: SourceId,
+ id: FileId,
within: Range<u64>,
) -> NumberingResult {
if within.start >= within.end {
@@ -285,7 +282,7 @@ impl Debug for SyntaxNode {
impl Default for SyntaxNode {
fn default() -> Self {
- Self::error("", "", ErrorPos::Full)
+ Self::error("", "")
}
}
@@ -381,7 +378,7 @@ impl InnerNode {
/// a `range` of its children.
fn numberize(
&mut self,
- id: SourceId,
+ id: FileId,
range: Option<Range<usize>>,
within: Range<u64>,
) -> NumberingResult {
@@ -492,7 +489,7 @@ impl InnerNode {
// Try to renumber.
let within = start_number..end_number;
- let id = self.span.source();
+ let id = self.span.id();
if self.numberize(id, Some(renumber), within).is_ok() {
return Ok(());
}
@@ -540,23 +537,16 @@ struct ErrorNode {
message: EcoString,
/// The source text of the node.
text: EcoString,
- /// Where in the node an error should be annotated.
- pos: ErrorPos,
/// The node's span.
span: Span,
}
impl ErrorNode {
/// Create new error node.
- fn new(
- message: impl Into<EcoString>,
- text: impl Into<EcoString>,
- pos: ErrorPos,
- ) -> Self {
+ fn new(message: impl Into<EcoString>, text: impl Into<EcoString>) -> Self {
Self {
message: message.into(),
text: text.into(),
- pos,
span: Span::detached(),
}
}
@@ -573,17 +563,6 @@ impl Debug for ErrorNode {
}
}
-/// Where in a node an error should be annotated,
-#[derive(Debug, Copy, Clone, Eq, PartialEq, Hash)]
-pub enum ErrorPos {
- /// Over the full width of the node.
- Full,
- /// At the start of the node.
- Start,
- /// At the end of the node.
- End,
-}
-
/// A syntax node in a context.
///
/// Knows its exact offset in the file and provides access to its