From 72831a46a53f3706a81cd463a4c0423131e9e521 Mon Sep 17 00:00:00 2001
From: Michael Leuschel <leuschel@uni-duesseldorf.de>
Date: Sun, 25 Sep 2022 11:06:24 +0200
Subject: [PATCH] add support for basic ProB types REAL and FLOAT
Signed-off-by: Michael Leuschel <leuschel@uni-duesseldorf.de>
---
.../src/de/prob/core/prolog/TypedIdentifierGenerator.java | 2 ++
de.prob.core/src/de/prob/core/types/BaseProbType.java | 2 ++
2 files changed, 4 insertions(+)
diff --git a/de.prob.core/src/de/prob/core/prolog/TypedIdentifierGenerator.java b/de.prob.core/src/de/prob/core/prolog/TypedIdentifierGenerator.java
index 1beb714f..98d0c618 100644
--- a/de.prob.core/src/de/prob/core/prolog/TypedIdentifierGenerator.java
+++ b/de.prob.core/src/de/prob/core/prolog/TypedIdentifierGenerator.java
@@ -134,6 +134,8 @@ public class TypedIdentifierGenerator {
private static Map<String, Handler> initHandlers() {
Map<String, Handler> handlers = new HashMap<String, Handler>();
handlers.put("integer/0", new BasicHandler(BaseProbType.INTEGER));
+ handlers.put("float/0", new BasicHandler(BaseProbType.FLOAT));
+ handlers.put("real/0", new BasicHandler(BaseProbType.REAL));
handlers.put("string/0", new BasicHandler(BaseProbType.STRING));
handlers.put("boolean/0", new BasicHandler(BaseProbType.BOOL));
handlers.put("pred/0", new BasicHandler(BaseProbType.PREDICATE));
diff --git a/de.prob.core/src/de/prob/core/types/BaseProbType.java b/de.prob.core/src/de/prob/core/types/BaseProbType.java
index ead5001d..22448a16 100644
--- a/de.prob.core/src/de/prob/core/types/BaseProbType.java
+++ b/de.prob.core/src/de/prob/core/types/BaseProbType.java
@@ -20,6 +20,8 @@ public class BaseProbType extends ProbDataType {
public final static BaseProbType PREDICATE = new BaseProbType("predicate");
public final static BaseProbType SUBSTITUTION = new BaseProbType(
"substitution");
+ public final static BaseProbType REAL = new BaseProbType("REAL");
+ public final static BaseProbType FLOAT = new BaseProbType("FLOAT");
private final String type;
--
GitLab