From e09f1c77e36884b01aaaca2f76d045a9f54bffea Mon Sep 17 00:00:00 2001
From: Michael Williamson <mike@zwobble.org>
Date: Sat, 30 May 2026 17:29:02 +0100
Subject: Use parseNamespaceName() in parseNamespaceConfigs()

---
 .../compiler/output/generators/javatypes/JavaTypesGenerator.java   | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

(limited to 'src/main/java/org')

diff --git a/src/main/java/org/zwobble/hobgoblin/compiler/output/generators/javatypes/JavaTypesGenerator.java b/src/main/java/org/zwobble/hobgoblin/compiler/output/generators/javatypes/JavaTypesGenerator.java
index fb7ca5d..1ee7f78 100644
--- a/src/main/java/org/zwobble/hobgoblin/compiler/output/generators/javatypes/JavaTypesGenerator.java
+++ b/src/main/java/org/zwobble/hobgoblin/compiler/output/generators/javatypes/JavaTypesGenerator.java
@@ -7,9 +7,11 @@ import org.zwobble.hobgoblin.compiler.config.OutputConfig;
 import org.zwobble.hobgoblin.compiler.output.generators.Generator;
 import org.zwobble.hobgoblin.compiler.output.lang.java.JavaWriter;
 import org.zwobble.hobgoblin.compiler.output.lang.java.ast.*;
+import org.zwobble.hobgoblin.compiler.parser.Parser;
 import org.zwobble.hobgoblin.compiler.typechecker.TypesInfo;
 import org.zwobble.hobgoblin.compiler.types.*;
 import org.zwobble.json5.reader.Json5ObjectReader;
+import org.zwobble.sourcetext.SourceText;
 
 import java.io.File;
 import java.io.IOException;
@@ -42,8 +44,9 @@ public class JavaTypesGenerator implements Generator {
         output.getArrayOfObjects("namespaces").ifPresent(namespacesJson -> {
             for (var namespaceJson : namespacesJson) {
                 var hobgoblinNamespaceString = namespaceJson.getString("hobgoblin").value();
-                var hobgoblinNamespaceParts = Arrays.asList(hobgoblinNamespaceString.split("/"));
-                var hobgoblinNamespace = new NamespaceName(hobgoblinNamespaceParts);
+                var hobgoblinNamespace = Parser.parseNamespaceName(
+                    SourceText.fromString("<string>", hobgoblinNamespaceString)
+                );
 
                 var javaPackageString = namespaceJson.getString("java").value();
                 var javaPackage = Arrays.asList(javaPackageString.split("\\."));
-- 
cgit v1.2.3