Skip to content
Snippets Groups Projects
Commit 2d110e9f authored by Sebastian Krings's avatar Sebastian Krings
Browse files

grep constants identifier from attributes, update SCConstant with unit attribute

parent e1c8ea30
Branches
Tags
No related merge requests found
...@@ -10,9 +10,11 @@ import org.eventb.core.sc.SCCore; ...@@ -10,9 +10,11 @@ import org.eventb.core.sc.SCCore;
import org.eventb.core.sc.SCProcessorModule; import org.eventb.core.sc.SCProcessorModule;
import org.eventb.core.sc.state.ISCStateRepository; import org.eventb.core.sc.state.ISCStateRepository;
import org.eventb.core.tool.IModuleType; import org.eventb.core.tool.IModuleType;
import org.rodinp.core.IAttributeType;
import org.rodinp.core.IInternalElement; import org.rodinp.core.IInternalElement;
import org.rodinp.core.IRodinElement; import org.rodinp.core.IRodinElement;
import org.rodinp.core.IRodinFile; import org.rodinp.core.IRodinFile;
import org.rodinp.core.RodinCore;
import de.prob.units.Activator; import de.prob.units.Activator;
import de.prob.units.pragmas.UnitPragmaAttribute; import de.prob.units.pragmas.UnitPragmaAttribute;
...@@ -37,11 +39,15 @@ public class ContextAttributeProcessor extends SCProcessorModule { ...@@ -37,11 +39,15 @@ public class ContextAttributeProcessor extends SCProcessorModule {
IConstant[] constants = contextRoot.getConstants(); IConstant[] constants = contextRoot.getConstants();
ISCConstant[] scconstants = scContextRoot.getSCConstants(); ISCConstant[] scconstants = scContextRoot.getSCConstants();
if (constants.length == 0) if (constants.length == 0 || scconstants.length == 0)
return; return;
for (IConstant constant : constants) { for (IConstant constant : constants) {
String identifier = constant.getElementName(); final IAttributeType.String IDENTIFIER_ATTRIBUTE = RodinCore
.getStringAttrType("org.eventb.core.identifier");
String identifier = constant
.getAttributeValue(IDENTIFIER_ATTRIBUTE);
ISCConstant scConstant = scContextRoot.getSCConstant(identifier); ISCConstant scConstant = scContextRoot.getSCConstant(identifier);
// might have been filtered out by previous modules // might have been filtered out by previous modules
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment