[551826] Allow any PivotableElementCS for installPivotUsage
diff --git a/plugins/org.eclipse.ocl.xtext.base/src/org/eclipse/ocl/xtext/base/cs2as/CS2AS.java b/plugins/org.eclipse.ocl.xtext.base/src/org/eclipse/ocl/xtext/base/cs2as/CS2AS.java
index 55cbf7c..60bc13f 100644
--- a/plugins/org.eclipse.ocl.xtext.base/src/org/eclipse/ocl/xtext/base/cs2as/CS2AS.java
+++ b/plugins/org.eclipse.ocl.xtext.base/src/org/eclipse/ocl/xtext/base/cs2as/CS2AS.java
@@ -61,6 +61,7 @@
import org.eclipse.ocl.xtext.basecs.MultiplicityCS;
import org.eclipse.ocl.xtext.basecs.PathElementCS;
import org.eclipse.ocl.xtext.basecs.PathNameCS;
+import org.eclipse.ocl.xtext.basecs.PivotableElementCS;
import org.eclipse.ocl.xtext.basecs.RootCS;
import org.eclipse.ocl.xtext.basecs.TypedRefCS;
import org.eclipse.ocl.xtext.basecs.TypedTypeRefCS;
@@ -522,7 +523,7 @@
* are associated with a single pivot element. In this case one of the CS elements is the defining CS element and the
* others are users.
*/
- public void installPivotUsage(@NonNull ModelElementCS csElement, @NonNull Element newPivotElement) {
+ public void installPivotUsage(@NonNull PivotableElementCS csElement, @NonNull Element newPivotElement) {
// logger.trace("Installing " + csElement.getDescription()); //$NON-NLS-1$ //$NON-NLS-2$
EObject oldPivotElement = csElement.getPivot();
if (oldPivotElement != newPivotElement) {
diff --git a/plugins/org.eclipse.ocl.xtext.base/src/org/eclipse/ocl/xtext/base/cs2as/CS2ASConversion.java b/plugins/org.eclipse.ocl.xtext.base/src/org/eclipse/ocl/xtext/base/cs2as/CS2ASConversion.java
index ef187e2..901547c 100644
--- a/plugins/org.eclipse.ocl.xtext.base/src/org/eclipse/ocl/xtext/base/cs2as/CS2ASConversion.java
+++ b/plugins/org.eclipse.ocl.xtext.base/src/org/eclipse/ocl/xtext/base/cs2as/CS2ASConversion.java
@@ -734,7 +734,7 @@
converter.installPivotReference(csElement, newPivotElement, eReference);
}
- public void installPivotUsage(@NonNull ModelElementCS csElement, @NonNull Element newPivotElement) {
+ public void installPivotUsage(@NonNull PivotableElementCS csElement, @NonNull Element newPivotElement) {
converter.installPivotUsage(csElement, newPivotElement);
}