From 366999537da3550028ae8041e105959c7cb8b514 Mon Sep 17 00:00:00 2001
From: Sebastian Krings <sebastian@krin.gs>
Date: Thu, 3 Jan 2013 15:40:34 +0100
Subject: [PATCH] use atomicString instead of toString to remove ticks around
the units returned by ProB
---
.../src/de/prob/ui/eventb/StartUnitAnalysisHandler.java | 7 ++++---
1 file changed, 4 insertions(+), 3 deletions(-)
diff --git a/de.prob.ui/src/de/prob/ui/eventb/StartUnitAnalysisHandler.java b/de.prob.ui/src/de/prob/ui/eventb/StartUnitAnalysisHandler.java
index 28cfabb1..1d184baf 100644
--- a/de.prob.ui/src/de/prob/ui/eventb/StartUnitAnalysisHandler.java
+++ b/de.prob.ui/src/de/prob/ui/eventb/StartUnitAnalysisHandler.java
@@ -148,7 +148,7 @@ public class StartUnitAnalysisHandler extends AbstractHandler implements
animator.execute(pluginResultCommand);
ListPrologTerm output = pluginResultCommand.getResult();
- System.out.println("Resulting state: " + output);
+ // System.out.println("Resulting state: " + output);
// preprocess the list into a map
Map<String, String> variables = new HashMap<String, String>();
@@ -163,8 +163,9 @@ public class StartUnitAnalysisHandler extends AbstractHandler implements
commandException.notifyUserOnce();
throw commandException;
}
- variables.put(compoundTerm.getArgument(1).toString(),
- compoundTerm.getArgument(2).toString());
+ variables.put(PrologTerm.atomicString(compoundTerm
+ .getArgument(1)), PrologTerm
+ .atomicString(compoundTerm.getArgument(2)));
}
// look up the variables / constants of the selected machine in
--
GitLab