Fix error reading from the wrong object

StevenLooman · Aug 31, 2023 · 62edad4 · 62edad4
1 parent 8c66ac8
commit 62edad4
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/...squid/src/main/java/nl/ramsolutions/sw/magik/analysis/typing/io/JsonTypeKeeperReader.java b/...squid/src/main/java/nl/ramsolutions/sw/magik/analysis/typing/io/JsonTypeKeeperReader.java
@@ -174,9 +174,11 @@ private void handleType(final JSONObject instruction) {
         instruction.getJSONArray(InstType.GENERICS.getValue()).forEach(genericObj -> {
             final JSONObject generic = (JSONObject) genericObj;
             final String genericName = generic.getString(InstType.GENERIC_NAME.getValue());
-            final String genericDoc = generic.getString(InstType.GENERIC_DOC.getValue());
             final GenericDeclaration genericDeclaration = type.addGeneric(null, genericName);
-            genericDeclaration.setDoc(genericDoc);
+            if (generic.get(InstType.GENERIC_DOC.getValue()) != JSONObject.NULL) {
+                final String genericDoc = generic.getString(InstType.GENERIC_DOC.getValue());
+                genericDeclaration.setDoc(genericDoc);
+            }
         });
 
         final JSONArray parents = instruction.getJSONArray(InstType.PARENTS.getValue());