From 020f2547b7bd776589c8af6a1c0f59ba93c2ce2a Mon Sep 17 00:00:00 2001
From: Sebastian Krings <sebastian@krin.gs>
Date: Fri, 18 Jan 2013 17:02:11 +0100
Subject: [PATCH] reset inferred unit once a new analysis run starts
---
.../src/de/prob/units/ui/StartUnitAnalysisHandler.java | 8 ++++++++
1 file changed, 8 insertions(+)
diff --git a/de.prob.units/src/de/prob/units/ui/StartUnitAnalysisHandler.java b/de.prob.units/src/de/prob/units/ui/StartUnitAnalysisHandler.java
index 20dffe8c..441f24e6 100644
--- a/de.prob.units/src/de/prob/units/ui/StartUnitAnalysisHandler.java
+++ b/de.prob.units/src/de/prob/units/ui/StartUnitAnalysisHandler.java
@@ -242,6 +242,10 @@ public class StartUnitAnalysisHandler extends AbstractHandler implements
IVariable[] allVariables = rootElement.getMachineRoot()
.getVariables();
for (IVariable var : allVariables) {
+ // reset inferred unit
+ var.setAttributeValue(InferredUnitPragmaAttribute.ATTRIBUTE,
+ "", new NullProgressMonitor());
+
String variableName = var.getIdentifierString();
if (variables.containsKey(variableName)) {
var.setAttributeValue(
@@ -288,6 +292,10 @@ public class StartUnitAnalysisHandler extends AbstractHandler implements
.getConstants();
for (IConstant cst : allConstants) {
+ // reset inferred unit
+ cst.setAttributeValue(InferredUnitPragmaAttribute.ATTRIBUTE,
+ "", new NullProgressMonitor());
+
String constantName = cst.getIdentifierString();
if (variables.containsKey(constantName)) {
cst.setAttributeValue(
--
GitLab