From 868dbb5503c6a5b96798beeac952c6ba8cbd6b3d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Alex=20L=C3=BCpges?= <luepges@se-rwth.de>
Date: Thu, 21 Dec 2023 12:56:58 +0100
Subject: [PATCH] Fix typo "intenal"
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Signed-off-by: Alex Lüpges <luepges@se-rwth.de>
---
 .../symboltable/serialization/JsonPrinter.java | 18 +++++++++---------
 1 file changed, 9 insertions(+), 9 deletions(-)

diff --git a/monticore-runtime/src/main/java/de/monticore/symboltable/serialization/JsonPrinter.java b/monticore-runtime/src/main/java/de/monticore/symboltable/serialization/JsonPrinter.java
index 98b3f36db4..f878fdcc24 100644
--- a/monticore-runtime/src/main/java/de/monticore/symboltable/serialization/JsonPrinter.java
+++ b/monticore-runtime/src/main/java/de/monticore/symboltable/serialization/JsonPrinter.java
@@ -396,7 +396,7 @@ public void member(String kind, JsonPrinter value) {
    * @param value The double value of the Json attribute
    */
   public void value(double value) {
-    intenalNumberValue(String.valueOf(value));
+    internalNumberValue(String.valueOf(value));
   }
 
   /**
@@ -405,7 +405,7 @@ public void value(double value) {
    * @param value The long value of the Json attribute
    */
   public void value(long value) {
-    intenalNumberValue(String.valueOf(value));
+    internalNumberValue(String.valueOf(value));
   }
 
   /**
@@ -414,7 +414,7 @@ public void value(long value) {
    * @param value The float value of the Json attribute
    */
   public void value(float value) {
-    intenalNumberValue(String.valueOf(value));
+    internalNumberValue(String.valueOf(value));
   }
 
   /**
@@ -424,7 +424,7 @@ public void value(float value) {
    * @param value The int value of the Json attribute
    */
   public void value(int value) {
-    intenalNumberValue(String.valueOf(value));
+    internalNumberValue(String.valueOf(value));
   }
 
   /**
@@ -454,7 +454,7 @@ else if (!currElements.isEmpty() && currElements.peek().isJsonObject()) {
    * @param value The String value of the Json attribute
    */
   public void value(String value) {
-    intenalStringValue("\"" +escapeSpecialChars(value) +"\"");
+    internalStringValue("\"" +escapeSpecialChars(value) +"\"");
   }
 
   /**
@@ -464,7 +464,7 @@ public void value(String value) {
    * @param value The String encoded in JSON
    */
   public void valueJson(String value) {
-    intenalStringValue(value);
+    internalStringValue(value);
   }
 
   /**
@@ -473,7 +473,7 @@ public void valueJson(String value) {
    * @param value The JsonPrinter of the value object
    */
   public void value(JsonPrinter value) {
-    intenalStringValue(value.getContent());
+    internalStringValue(value.getContent());
   }
 
   ////////////////////////////////////////////////////////////////////////////////////////
@@ -485,7 +485,7 @@ protected String escapeSpecialChars(String input) {
     return StringEscapeUtils.escapeJson(input);
   }
 
-  protected void intenalNumberValue(String value) {
+  protected void internalNumberValue(String value) {
     if (!currElements.isEmpty() && currElements.peek().isJsonArray()) {
       JsonArray parent = currElements.peek().getAsJsonArray();
       parent.add(createJsonNumber(String.valueOf(value)));
@@ -500,7 +500,7 @@ else if (!currElements.isEmpty() && currElements.peek().isJsonObject()) {
     }
   }
 
-  protected void intenalStringValue(String value) {
+  protected void internalStringValue(String value) {
     if (!currElements.isEmpty() && currElements.peek().isJsonArray()) {
       JsonArray parent = currElements.peek().getAsJsonArray();
       parent.add(createJsonString(value));