From ce6773d9c0793565dad3234203f8741e97a3a3e8 Mon Sep 17 00:00:00 2001
From: Jan Gruteser <jan.gruteser@hhu.de>
Date: Fri, 27 Dec 2024 17:42:22 +0100
Subject: [PATCH] throw exception for getBNode of StructOrFunctionType
---
src/main/java/de/tla2b/types/StructOrFunctionType.java | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/main/java/de/tla2b/types/StructOrFunctionType.java b/src/main/java/de/tla2b/types/StructOrFunctionType.java
index d32b8f8..7ac9f52 100644
--- a/src/main/java/de/tla2b/types/StructOrFunctionType.java
+++ b/src/main/java/de/tla2b/types/StructOrFunctionType.java
@@ -186,7 +186,7 @@ public class StructOrFunctionType extends AbstractHasFollowers {
@Override
public PExpression getBNode() {
- return null;
+ throw new UnsupportedOperationException("StructOrFunctionType has no corresponding B node.");
}
public void apply(TypeVisitorInterface visitor) {
--
GitLab