rust-analyzer/crates/parser/src/syntax_kind.rs
Chayim Refael Friedman 9d3368f2c2 Properly account for editions in names
This PR touches a lot of parts. But the main changes are changing
`hir_expand::Name` to be raw edition-dependently and only when necessary
(unrelated to how the user originally wrote the identifier),
and changing `is_keyword()` and `is_raw_identifier()` to be edition-aware
(this was done in #17896, but the FIXMEs were fixed here).

It is possible that I missed some cases, but most IDE parts should properly
escape (or not escape) identifiers now.

The rules of thumb are:

 - If we show the identifier to the user, its rawness should be determined
   by the edition of the edited crate. This is nice for IDE features,
   but really important for changes we insert to the source code.
 - For tests, I chose `Edition::CURRENT` (so we only have to (maybe) update
   tests when an edition becomes stable, to avoid churn).
 - For debugging tools (helper methods and logs), I used `Edition::LATEST`.
2024-08-16 16:46:24 +03:00

38 lines
916 B
Rust

//! Defines [`SyntaxKind`] -- a fieldless enum of all possible syntactic
//! constructs of the Rust language.
mod generated;
use crate::Edition;
#[allow(unreachable_pub)]
pub use self::generated::SyntaxKind;
impl From<u16> for SyntaxKind {
#[inline]
fn from(d: u16) -> SyntaxKind {
assert!(d <= (SyntaxKind::__LAST as u16));
unsafe { std::mem::transmute::<u16, SyntaxKind>(d) }
}
}
impl From<SyntaxKind> for u16 {
#[inline]
fn from(k: SyntaxKind) -> u16 {
k as u16
}
}
impl SyntaxKind {
#[inline]
pub fn is_trivia(self) -> bool {
matches!(self, SyntaxKind::WHITESPACE | SyntaxKind::COMMENT)
}
/// Returns true if this is an identifier or a keyword.
#[inline]
pub fn is_any_identifier(self) -> bool {
// Assuming no edition removed keywords...
self == SyntaxKind::IDENT || self.is_keyword(Edition::LATEST)
}
}