Skip to content
Snippets Groups Projects
Commit 72831a46 authored by Michael Leuschel's avatar Michael Leuschel
Browse files

add support for basic ProB types REAL and FLOAT

parent c74ec30d
No related branches found
No related tags found
No related merge requests found
Pipeline #98854 passed
......@@ -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));
......
......@@ -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;
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment