From 49fabba9000a6fa61bd09896fc0f912589534eeb Mon Sep 17 00:00:00 2001
From: Sebastian Krings <sebastian@krin.gs>
Date: Thu, 3 Jan 2013 15:35:06 +0100
Subject: [PATCH] do not export an empty unit attribute to ProB
---
.../src/de/prob/eventb/translator/ContextTranslator.java | 9 ++++++---
.../prob/eventb/translator/internal/ModelTranslator.java | 9 ++++++---
2 files changed, 12 insertions(+), 6 deletions(-)
diff --git a/de.prob.core/src/de/prob/eventb/translator/ContextTranslator.java b/de.prob.core/src/de/prob/eventb/translator/ContextTranslator.java
index bc24a254..8087d36a 100644
--- a/de.prob.core/src/de/prob/eventb/translator/ContextTranslator.java
+++ b/de.prob.core/src/de/prob/eventb/translator/ContextTranslator.java
@@ -139,9 +139,12 @@ public final class ContextTranslator extends AbstractComponentTranslator {
for (final ISCConstant constant : constants) {
if (constant.hasAttribute(UNITATTRIBUTE)) {
- pragmas.add(new UnitPragma(getResource(), constant
- .getIdentifierString(), constant
- .getAttributeValue(UNITATTRIBUTE)));
+ String content = constant.getAttributeValue(UNITATTRIBUTE);
+
+ if (!content.isEmpty()) {
+ pragmas.add(new UnitPragma(getResource(), constant
+ .getIdentifierString(), content));
+ }
}
}
}
diff --git a/de.prob.core/src/de/prob/eventb/translator/internal/ModelTranslator.java b/de.prob.core/src/de/prob/eventb/translator/internal/ModelTranslator.java
index db29b3ae..67c9e62d 100644
--- a/de.prob.core/src/de/prob/eventb/translator/internal/ModelTranslator.java
+++ b/de.prob.core/src/de/prob/eventb/translator/internal/ModelTranslator.java
@@ -190,9 +190,12 @@ public class ModelTranslator extends AbstractComponentTranslator {
for (final IVariable variable : variables) {
if (variable.hasAttribute(UNITATTRIBUTE)) {
- pragmas.add(new UnitPragma(getResource(), variable
- .getIdentifierString(), variable
- .getAttributeValue(UNITATTRIBUTE)));
+ String content = variable.getAttributeValue(UNITATTRIBUTE);
+
+ if (!content.isEmpty()) {
+ pragmas.add(new UnitPragma(getResource(), variable
+ .getIdentifierString(), content));
+ }
}
}
}
--
GitLab