From 7fb26596ca1af8b63800028225272b22e51d09ba Mon Sep 17 00:00:00 2001
From: Danila Danko <br4ch1st0chr0n3@gmail.com>
Date: Wed, 28 Feb 2024 13:42:28 +0300
Subject: [PATCH] fix: rename VTX -> VERTEX

---
 eo-parser/src/main/antlr4/org/eolang/parser/Phi.g4          | 5 +++--
 .../src/main/java/org/eolang/parser/XePhiListener.java      | 6 +++---
 2 files changed, 6 insertions(+), 5 deletions(-)

diff --git a/eo-parser/src/main/antlr4/org/eolang/parser/Phi.g4 b/eo-parser/src/main/antlr4/org/eolang/parser/Phi.g4
index 6cb1b0e342..e5f18ec387 100644
--- a/eo-parser/src/main/antlr4/org/eolang/parser/Phi.g4
+++ b/eo-parser/src/main/antlr4/org/eolang/parser/Phi.g4
@@ -39,7 +39,7 @@ attribute
     : PHI
     | RHO
     | SIGMA
-    | VTX
+    | VERTEX
     | LABEL
     | alphaAttr
     ;
@@ -131,7 +131,8 @@ RHO : 'ρ'
 SIGMA
     : 'σ'
     ;
-VTX : 'ν'
+VERTEX
+    : 'ν'
     ;
 DELTA
     : 'Δ'
diff --git a/eo-parser/src/main/java/org/eolang/parser/XePhiListener.java b/eo-parser/src/main/java/org/eolang/parser/XePhiListener.java
index 75c871fd83..bf2dfc821c 100644
--- a/eo-parser/src/main/java/org/eolang/parser/XePhiListener.java
+++ b/eo-parser/src/main/java/org/eolang/parser/XePhiListener.java
@@ -209,13 +209,13 @@ public void enterBinding(final PhiParser.BindingContext ctx) {
     public void exitBinding(final PhiParser.BindingContext ctx) {
         if (this.objs.size() > this.packages.size()) {
             if (ctx.alphaBinding() != null) {
-                if (ctx.alphaBinding().attribute().VTX() != null) {
+                if (ctx.alphaBinding().attribute().VERTEX() != null) {
                     this.objects().remove();
                 } else {
                     this.objects().leave();
                 }
             } else if (ctx.emptyBinding() != null) {
-                if (ctx.emptyBinding().attribute().VTX() != null) {
+                if (ctx.emptyBinding().attribute().VERTEX() != null) {
                     this.objects().remove();
                 } else {
                     this.objects().leave();
@@ -244,7 +244,7 @@ public void enterAttribute(final PhiParser.AttributeContext ctx) {
             attr = "^";
         } else if (ctx.SIGMA() != null) {
             attr = "&";
-        } else if (ctx.VTX() != null) {
+        } else if (ctx.VERTEX() != null) {
             attr = "<";
         } else if (ctx.LABEL() != null) {
             attr = ctx.LABEL().getText();