From 32601b555090110f22dc035cd706f62fb042e047 Mon Sep 17 00:00:00 2001
From: Sebastian Krings <sebastian@krin.gs>
Date: Wed, 16 Jan 2013 15:16:27 +0100
Subject: [PATCH] renaming some variables
---
.../de/prob/units/sc/ContextAttributeProcessor.java | 11 ++++++-----
1 file changed, 6 insertions(+), 5 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 3b181725..9ce02dab 100644
--- a/de.prob.units/src/de/prob/units/sc/ContextAttributeProcessor.java
+++ b/de.prob.units/src/de/prob/units/sc/ContextAttributeProcessor.java
@@ -29,19 +29,20 @@ public class ContextAttributeProcessor extends SCProcessorModule {
assert (target instanceof ISCContextRoot);
// get all variables and copy over the attributes
- IRodinFile machineFile = (IRodinFile) element;
- IContextRoot constantRoot = (IContextRoot) machineFile.getRoot();
+ IRodinFile contextFile = (IRodinFile) element;
+ IContextRoot contextRoot = (IContextRoot) contextFile.getRoot();
ISCContextRoot scContextRoot = (ISCContextRoot) target;
- IConstant[] constants = constantRoot.getConstants();
+ IConstant[] constants = contextRoot.getConstants();
+ ISCConstant[] scconstants = scContextRoot.getSCConstants();
if (constants.length == 0)
return;
for (IConstant constant : constants) {
- ISCConstant scConstant = scContextRoot.getSCConstant(constant
- .getIdentifierString());
+ String identifier = constant.getElementName();
+ ISCConstant scConstant = scContextRoot.getSCConstant(identifier);
// might have been filtered out by previous modules
if (scConstant.exists()) {
--
GitLab