From 58c2d39ba32845cf721ebb7af09403ca03cd543a Mon Sep 17 00:00:00 2001
From: Sebastian Krings <sebastian@krin.gs>
Date: Wed, 16 Jan 2013 14:09:05 +0100
Subject: [PATCH] use interface instead of class
---
.../src/de/prob/units/sc/MachineAttributeProcessor.java | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/de.prob.units/src/de/prob/units/sc/MachineAttributeProcessor.java b/de.prob.units/src/de/prob/units/sc/MachineAttributeProcessor.java
index c6d81b40..4c7ddd38 100644
--- a/de.prob.units/src/de/prob/units/sc/MachineAttributeProcessor.java
+++ b/de.prob.units/src/de/prob/units/sc/MachineAttributeProcessor.java
@@ -3,9 +3,9 @@ package de.prob.units.sc;
import org.eclipse.core.runtime.CoreException;
import org.eclipse.core.runtime.IProgressMonitor;
import org.eventb.core.IMachineRoot;
+import org.eventb.core.ISCMachineRoot;
import org.eventb.core.ISCVariable;
import org.eventb.core.IVariable;
-import org.eventb.core.basis.SCMachineRoot;
import org.eventb.core.sc.SCCore;
import org.eventb.core.sc.SCProcessorModule;
import org.eventb.core.sc.state.ISCStateRepository;
@@ -26,13 +26,13 @@ public class MachineAttributeProcessor extends SCProcessorModule {
ISCStateRepository repository, IProgressMonitor monitor)
throws CoreException {
assert (element instanceof IRodinFile);
- assert (target instanceof SCMachineRoot);
+ assert (target instanceof ISCMachineRoot);
// get all variables and copy over the attributes
IRodinFile machineFile = (IRodinFile) element;
IMachineRoot machineRoot = (IMachineRoot) machineFile.getRoot();
- SCMachineRoot scMachineRoot = (SCMachineRoot) target;
+ ISCMachineRoot scMachineRoot = (ISCMachineRoot) target;
IVariable[] variables = machineRoot.getVariables();
--
GitLab