From 8367b55ad4137030a7d8bf0e3bd391f48fa8e445 Mon Sep 17 00:00:00 2001
From: Jan Gruteser <jan.gruteser@hhu.de>
Date: Fri, 20 Dec 2024 10:36:22 +0100
Subject: [PATCH] support realvalue in createTLCValue
---
src/main/java/de/tla2bAst/BAstCreator.java | 2 ++
1 file changed, 2 insertions(+)
diff --git a/src/main/java/de/tla2bAst/BAstCreator.java b/src/main/java/de/tla2bAst/BAstCreator.java
index b28153a..e400364 100644
--- a/src/main/java/de/tla2bAst/BAstCreator.java
+++ b/src/main/java/de/tla2bAst/BAstCreator.java
@@ -454,6 +454,8 @@ public class BAstCreator extends BuiltInOPs implements TranslationGlobals, BBuil
switch (tlcValue.getKind()) {
case INTVALUE:
return new AIntegerExpression(new TIntegerLiteral(tlcValue.toString()));
+ case REALVALUE:
+ return new ARealExpression(new TRealLiteral(tlcValue.toString()));
case SETENUMVALUE: {
SetEnumValue s = (SetEnumValue) tlcValue;
ArrayList<PExpression> list = new ArrayList<>();
--
GitLab