Change token names to represent the character instead of the operation.

crates/cairo-lang-formatter/src/node_properties.rs

@@ -19,7 +19,7 @@ impl SyntaxNodeFormat for SyntaxNode {
             | SyntaxKind::TokenRBrack
             | SyntaxKind::TokenLBrack
             | SyntaxKind::TokenSingleLineComment => true,
-            SyntaxKind::TokenNot
+            SyntaxKind::TokenBang
                 if matches!(
                     grandparent_kind(db, self),
                     Some(SyntaxKind::ExprInlineMacro | SyntaxKind::ItemInlineMacro)
@@ -70,8 +70,8 @@ impl SyntaxNodeFormat for SyntaxNode {
     fn force_no_space_after(&self, db: &dyn SyntaxGroup) -> bool {
         match self.kind(db) {
             SyntaxKind::TokenDot
-            | SyntaxKind::TokenNot
-            | SyntaxKind::TokenBitNot
+            | SyntaxKind::TokenBang
+            | SyntaxKind::TokenTilde
             | SyntaxKind::TokenAt
             | SyntaxKind::TokenColonColon
             | SyntaxKind::TokenLParen
@@ -101,7 +101,7 @@ impl SyntaxNodeFormat for SyntaxNode {
             {
                 true
             }
-            SyntaxKind::TokenMinus | SyntaxKind::TokenMul => {
+            SyntaxKind::TokenMinus | SyntaxKind::TokenStar => {
                 matches!(grandparent_kind(db, self), Some(SyntaxKind::ExprUnary))
             }
             SyntaxKind::TokenPlus
@@ -457,15 +457,15 @@ impl SyntaxNodeFormat for SyntaxNode {
                         true,
                     ))
                 }
-                SyntaxKind::TerminalMul if parent_kind(db, self) != Some(SyntaxKind::ExprUnary) => {
+                SyntaxKind::TerminalStar if parent_kind(db, self) != Some(SyntaxKind::ExprUnary) => {
                     BreakLinePointsPositions::Leading(BreakLinePointProperties::new(
                         9,
                         BreakLinePointIndentation::Indented,
                         true,
                         true,
                     ))
                 }
-                SyntaxKind::TerminalDiv => {
+                SyntaxKind::TerminalSlash => {
                     BreakLinePointsPositions::Leading(BreakLinePointProperties::new(
                         9,
                         BreakLinePointIndentation::Indented,
@@ -481,7 +481,7 @@ impl SyntaxNodeFormat for SyntaxNode {
                         true,
                     ))
                 }
-                SyntaxKind::TerminalOrOr => {
+                SyntaxKind::TerminalPipePipe => {
                     BreakLinePointsPositions::Leading(BreakLinePointProperties::new(
                         11,
                         BreakLinePointIndentation::Indented,
@@ -497,15 +497,15 @@ impl SyntaxNodeFormat for SyntaxNode {
                         true,
                     ))
                 }
-                SyntaxKind::TerminalOr => {
+                SyntaxKind::TerminalPipe => {
                     BreakLinePointsPositions::Leading(BreakLinePointProperties::new(
                         13,
                         BreakLinePointIndentation::Indented,
                         true,
                         true,
                     ))
                 }
-                SyntaxKind::TerminalXor => {
+                SyntaxKind::TerminalCaret => {
                     BreakLinePointsPositions::Leading(BreakLinePointProperties::new(
                         14,
                         BreakLinePointIndentation::Indented,
@@ -524,9 +524,9 @@ impl SyntaxNodeFormat for SyntaxNode {
                 SyntaxKind::TokenEq
                 | SyntaxKind::TokenPlusEq
                 | SyntaxKind::TokenMinusEq
-                | SyntaxKind::TokenMulEq
-                | SyntaxKind::TokenDivEq
-                | SyntaxKind::TokenModEq => {
+                | SyntaxKind::TokenStarEq
+                | SyntaxKind::TokenSlashEq
+                | SyntaxKind::TokenPercentEq => {
                     BreakLinePointsPositions::Trailing(BreakLinePointProperties::new(
                         16,
                         BreakLinePointIndentation::Indented,

crates/cairo-lang-language-server/src/semantic_highlighting/token_kind.rs

@@ -50,7 +50,7 @@ impl SemanticTokenKind {
             SyntaxKind::TokenIdentifier => {}
             _ if kind.is_keyword_token() => return Some(SemanticTokenKind::Keyword),
             SyntaxKind::TokenLiteralNumber => return Some(SemanticTokenKind::Number),
-            SyntaxKind::TokenNot
+            SyntaxKind::TokenBang
                 if matches!(
                     grandparent_kind(syntax_db, &node),
                     Some(SyntaxKind::ExprInlineMacro | SyntaxKind::ItemInlineMacro)
@@ -68,20 +68,20 @@ impl SemanticTokenKind {
             }
             SyntaxKind::TokenAnd
             | SyntaxKind::TokenAndAnd
-            | SyntaxKind::TokenOr
-            | SyntaxKind::TokenOrOr
+            | SyntaxKind::TokenPipe
+            | SyntaxKind::TokenPipePipe
             | SyntaxKind::TokenEqEq
             | SyntaxKind::TokenNeq
             | SyntaxKind::TokenGE
             | SyntaxKind::TokenGT
             | SyntaxKind::TokenLE
             | SyntaxKind::TokenLT
-            | SyntaxKind::TokenNot
+            | SyntaxKind::TokenBang
             | SyntaxKind::TokenPlus
             | SyntaxKind::TokenMinus
-            | SyntaxKind::TokenMul
-            | SyntaxKind::TokenDiv
-            | SyntaxKind::TokenMod => return Some(SemanticTokenKind::Operator),
+            | SyntaxKind::TokenStar
+            | SyntaxKind::TokenSlash
+            | SyntaxKind::TokenPercent => return Some(SemanticTokenKind::Operator),
             SyntaxKind::TokenSingleLineComment => return Some(SemanticTokenKind::Comment),
             SyntaxKind::TokenShortString | SyntaxKind::TokenString => {
                 return Some(SemanticTokenKind::String);

crates/cairo-lang-parser/src/colored_printer.rs

@@ -61,9 +61,9 @@ fn set_color(text: SmolStr, kind: SyntaxKind) -> ColoredString {
         SyntaxKind::TokenIdentifier => text.truecolor(255, 255, 100), // Yellow
         SyntaxKind::TokenPlus
         | SyntaxKind::TokenMinus
-        | SyntaxKind::TokenMul
-        | SyntaxKind::TokenDiv
-        | SyntaxKind::TokenMod
+        | SyntaxKind::TokenStar
+        | SyntaxKind::TokenSlash
+        | SyntaxKind::TokenPercent
         | SyntaxKind::TokenDot => text.bright_magenta(),
         SyntaxKind::TokenLiteralNumber
         | SyntaxKind::TokenFalse
@@ -97,10 +97,10 @@ fn set_color(text: SmolStr, kind: SyntaxKind) -> ColoredString {
         | SyntaxKind::TokenSemicolon
         | SyntaxKind::TokenAnd
         | SyntaxKind::TokenAndAnd
-        | SyntaxKind::TokenOr
-        | SyntaxKind::TokenOrOr
-        | SyntaxKind::TokenXor
-        | SyntaxKind::TokenNot
+        | SyntaxKind::TokenPipe
+        | SyntaxKind::TokenPipePipe
+        | SyntaxKind::TokenCaret
+        | SyntaxKind::TokenBang
         | SyntaxKind::TokenQuestionMark
         | SyntaxKind::TokenUnderscore
         | SyntaxKind::TokenHash => text.truecolor(255, 180, 255), // Pink

crates/cairo-lang-parser/src/lexer.rs

@@ -457,27 +457,27 @@ fn token_kind_to_terminal_syntax_kind(kind: TokenKind) -> SyntaxKind {
         TokenKind::And => SyntaxKind::TerminalAnd,
         TokenKind::AndAnd => SyntaxKind::TerminalAndAnd,
         TokenKind::At => SyntaxKind::TerminalAt,
-        TokenKind::Or => SyntaxKind::TerminalOr,
-        TokenKind::OrOr => SyntaxKind::TerminalOrOr,
-        TokenKind::Xor => SyntaxKind::TerminalXor,
+        TokenKind::Or => SyntaxKind::TerminalPipe,
+        TokenKind::OrOr => SyntaxKind::TerminalPipePipe,
+        TokenKind::Xor => SyntaxKind::TerminalCaret,
         TokenKind::EqEq => SyntaxKind::TerminalEqEq,
         TokenKind::Neq => SyntaxKind::TerminalNeq,
         TokenKind::GE => SyntaxKind::TerminalGE,
         TokenKind::GT => SyntaxKind::TerminalGT,
         TokenKind::LE => SyntaxKind::TerminalLE,
         TokenKind::LT => SyntaxKind::TerminalLT,
-        TokenKind::Not => SyntaxKind::TerminalNot,
-        TokenKind::BitNot => SyntaxKind::TerminalBitNot,
+        TokenKind::Not => SyntaxKind::TerminalBang,
+        TokenKind::BitNot => SyntaxKind::TerminalTilde,
         TokenKind::Plus => SyntaxKind::TerminalPlus,
         TokenKind::PlusEq => SyntaxKind::TerminalPlusEq,
         TokenKind::Minus => SyntaxKind::TerminalMinus,
         TokenKind::MinusEq => SyntaxKind::TerminalMinusEq,
-        TokenKind::Mul => SyntaxKind::TerminalMul,
-        TokenKind::MulEq => SyntaxKind::TerminalMulEq,
-        TokenKind::Div => SyntaxKind::TerminalDiv,
-        TokenKind::DivEq => SyntaxKind::TerminalDivEq,
-        TokenKind::Mod => SyntaxKind::TerminalMod,
-        TokenKind::ModEq => SyntaxKind::TerminalModEq,
+        TokenKind::Mul => SyntaxKind::TerminalStar,
+        TokenKind::MulEq => SyntaxKind::TerminalStarEq,
+        TokenKind::Div => SyntaxKind::TerminalSlash,
+        TokenKind::DivEq => SyntaxKind::TerminalSlashEq,
+        TokenKind::Mod => SyntaxKind::TerminalPercent,
+        TokenKind::ModEq => SyntaxKind::TerminalPercentEq,
         TokenKind::Colon => SyntaxKind::TerminalColon,
         TokenKind::ColonColon => SyntaxKind::TerminalColonColon,
         TokenKind::Comma => SyntaxKind::TerminalComma,

crates/cairo-lang-parser/src/lexer_test.rs

@@ -67,10 +67,10 @@ fn terminal_kind_to_text(kind: SyntaxKind) -> Vec<&'static str> {
         SyntaxKind::TerminalColon => vec![":"],
         SyntaxKind::TerminalColonColon => vec!["::"],
         SyntaxKind::TerminalComma => vec![","],
-        SyntaxKind::TerminalDiv => vec!["/"],
-        SyntaxKind::TerminalDivEq => vec!["/="],
-        SyntaxKind::TerminalMod => vec!["%"],
-        SyntaxKind::TerminalModEq => vec!["%="],
+        SyntaxKind::TerminalSlash => vec!["/"],
+        SyntaxKind::TerminalSlashEq => vec!["/="],
+        SyntaxKind::TerminalPercent => vec!["%"],
+        SyntaxKind::TerminalPercentEq => vec!["%="],
         SyntaxKind::TerminalDot => vec!["."],
         SyntaxKind::TerminalDotDot => vec![".."],
         SyntaxKind::TerminalEq => vec!["="],
@@ -81,14 +81,14 @@ fn terminal_kind_to_text(kind: SyntaxKind) -> Vec<&'static str> {
         SyntaxKind::TerminalLT => vec!["<"],
         SyntaxKind::TerminalMinus => vec!["-"],
         SyntaxKind::TerminalMinusEq => vec!["-="],
-        SyntaxKind::TerminalMul => vec!["*"],
-        SyntaxKind::TerminalMulEq => vec!["*="],
+        SyntaxKind::TerminalStar => vec!["*"],
+        SyntaxKind::TerminalStarEq => vec!["*="],
         SyntaxKind::TerminalNeq => vec!["!="],
-        SyntaxKind::TerminalNot => vec!["!"],
-        SyntaxKind::TerminalBitNot => vec!["~"],
-        SyntaxKind::TerminalOr => vec!["|"],
-        SyntaxKind::TerminalOrOr => vec!["||"],
-        SyntaxKind::TerminalXor => vec!["^"],
+        SyntaxKind::TerminalBang => vec!["!"],
+        SyntaxKind::TerminalTilde => vec!["~"],
+        SyntaxKind::TerminalPipe => vec!["|"],
+        SyntaxKind::TerminalPipePipe => vec!["||"],
+        SyntaxKind::TerminalCaret => vec!["^"],
         SyntaxKind::TerminalPlus => vec!["+"],
         SyntaxKind::TerminalPlusEq => vec!["+="],
         SyntaxKind::TerminalSemicolon => vec![";"],
@@ -139,26 +139,26 @@ fn terminal_kinds() -> Vec<SyntaxKind> {
         SyntaxKind::TerminalAnd,
         SyntaxKind::TerminalAndAnd,
         SyntaxKind::TerminalAt,
-        SyntaxKind::TerminalOr,
-        SyntaxKind::TerminalOrOr,
-        SyntaxKind::TerminalXor,
+        SyntaxKind::TerminalPipe,
+        SyntaxKind::TerminalPipePipe,
+        SyntaxKind::TerminalCaret,
         SyntaxKind::TerminalEqEq,
         SyntaxKind::TerminalNeq,
         SyntaxKind::TerminalGE,
         SyntaxKind::TerminalGT,
         SyntaxKind::TerminalLE,
         SyntaxKind::TerminalLT,
-        SyntaxKind::TerminalNot,
+        SyntaxKind::TerminalBang,
         SyntaxKind::TerminalPlus,
         SyntaxKind::TerminalPlusEq,
         SyntaxKind::TerminalMinus,
         SyntaxKind::TerminalMinusEq,
-        SyntaxKind::TerminalMul,
-        SyntaxKind::TerminalMulEq,
-        SyntaxKind::TerminalDiv,
-        SyntaxKind::TerminalDivEq,
-        SyntaxKind::TerminalMod,
-        SyntaxKind::TerminalModEq,
+        SyntaxKind::TerminalStar,
+        SyntaxKind::TerminalStarEq,
+        SyntaxKind::TerminalSlash,
+        SyntaxKind::TerminalSlashEq,
+        SyntaxKind::TerminalPercent,
+        SyntaxKind::TerminalPercentEq,
         SyntaxKind::TerminalColon,
         SyntaxKind::TerminalColonColon,
         SyntaxKind::TerminalComma,

crates/cairo-lang-parser/src/operators.rs

@@ -3,9 +3,9 @@ use cairo_lang_syntax::node::kind::SyntaxKind;
 pub fn get_unary_operator_precedence(kind: SyntaxKind) -> Option<usize> {
     match kind {
         SyntaxKind::TerminalAt
-        | SyntaxKind::TerminalNot
-        | SyntaxKind::TerminalBitNot
-        | SyntaxKind::TerminalMul
+        | SyntaxKind::TerminalBang
+        | SyntaxKind::TerminalTilde
+        | SyntaxKind::TerminalStar
         | SyntaxKind::TerminalMinus => Some(2),
         _ => None,
     }
@@ -16,25 +16,25 @@ pub fn get_post_operator_precedence(kind: SyntaxKind) -> Option<usize> {
         SyntaxKind::TerminalQuestionMark
         // [] Operator.
         | SyntaxKind::TerminalLBrack => Some(1),
-        SyntaxKind::TerminalMul | SyntaxKind::TerminalDiv | SyntaxKind::TerminalMod => Some(2),
+        SyntaxKind::TerminalStar | SyntaxKind::TerminalSlash | SyntaxKind::TerminalPercent => Some(2),
         SyntaxKind::TerminalPlus | SyntaxKind::TerminalMinus => Some(3),
         SyntaxKind::TerminalAnd => Some(4),
-        SyntaxKind::TerminalXor => Some(5),
-        SyntaxKind::TerminalOr => Some(6),
+        SyntaxKind::TerminalCaret => Some(5),
+        SyntaxKind::TerminalPipe => Some(6),
         SyntaxKind::TerminalEqEq
         | SyntaxKind::TerminalNeq
         | SyntaxKind::TerminalLT
         | SyntaxKind::TerminalGT
         | SyntaxKind::TerminalLE
         | SyntaxKind::TerminalGE => Some(7),
         SyntaxKind::TerminalAndAnd => Some(8),
-        SyntaxKind::TerminalOrOr => Some(9),
+        SyntaxKind::TerminalPipePipe => Some(9),
         SyntaxKind::TerminalEq
         | SyntaxKind::TerminalPlusEq
         | SyntaxKind::TerminalMinusEq
-        | SyntaxKind::TerminalMulEq
-        | SyntaxKind::TerminalDivEq
-        | SyntaxKind::TerminalModEq => Some(10),
+        | SyntaxKind::TerminalStarEq
+        | SyntaxKind::TerminalSlashEq
+        | SyntaxKind::TerminalPercentEq => Some(10),
         _ => None,
     }
 }