From dbd04c4dc1af7a566a6c10132563508b78777948 Mon Sep 17 00:00:00 2001
From: Jan Gruteser <jan.gruteser@hhu.de>
Date: Mon, 23 Dec 2024 15:54:07 +0100
Subject: [PATCH] add error message
---
src/main/java/de/tla2b/analysis/InstanceTransformation.java | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/main/java/de/tla2b/analysis/InstanceTransformation.java b/src/main/java/de/tla2b/analysis/InstanceTransformation.java
index 50e5c18..018576f 100644
--- a/src/main/java/de/tla2b/analysis/InstanceTransformation.java
+++ b/src/main/java/de/tla2b/analysis/InstanceTransformation.java
@@ -162,7 +162,7 @@ public class InstanceTransformation extends BuiltInOPs implements ASTConstants {
String opName = prefix + n.getOperator().getName().toString();
OpDefNode op = defs.get(opName);
if (op == null) {
- throw new RuntimeException();
+ throw new RuntimeException("user-defined operator " + opName + " not found");
}
return createOpApplNode(op, copyArgs(n.getArgs(), prefix), n.getTreeNode());
}
--
GitLab