From ea2fc064d97d48eca80683784497dd0efe0d8290 Mon Sep 17 00:00:00 2001
From: Sebastian Krings <sebastian@krin.gs>
Date: Wed, 16 Jan 2013 17:26:14 +0100
Subject: [PATCH] address the identifier attribute by its constant declared in
EventBAttributes instead of by string
---
.../src/de/prob/units/sc/ContextAttributeProcessor.java | 6 ++----
1 file changed, 2 insertions(+), 4 deletions(-)
diff --git a/de.prob.units/src/de/prob/units/sc/ContextAttributeProcessor.java b/de.prob.units/src/de/prob/units/sc/ContextAttributeProcessor.java
index 9b04eb12..07c58f85 100644
--- a/de.prob.units/src/de/prob/units/sc/ContextAttributeProcessor.java
+++ b/de.prob.units/src/de/prob/units/sc/ContextAttributeProcessor.java
@@ -2,6 +2,7 @@ package de.prob.units.sc;
import org.eclipse.core.runtime.CoreException;
import org.eclipse.core.runtime.IProgressMonitor;
+import org.eventb.core.EventBAttributes;
import org.eventb.core.IConstant;
import org.eventb.core.IContextRoot;
import org.eventb.core.ISCConstant;
@@ -43,11 +44,8 @@ public class ContextAttributeProcessor extends SCProcessorModule {
return;
for (IConstant constant : constants) {
- final IAttributeType.String IDENTIFIER_ATTRIBUTE = RodinCore
- .getStringAttrType("org.eventb.core.identifier");
-
String identifier = constant
- .getAttributeValue(IDENTIFIER_ATTRIBUTE);
+ .getAttributeValue(EventBAttributes.IDENTIFIER_ATTRIBUTE);
ISCConstant scConstant = scContextRoot.getSCConstant(identifier);
// might have been filtered out by previous modules
--
GitLab