[unrelated] Add getReferredIteration utility method

2 files changed, 8 insertions, 1 deletions

diff --git a/plugins/org.eclipse.ocl.pivot/src/org/eclipse/ocl/pivot/internal/utilities/PivotUtilInternal.java b/plugins/org.eclipse.ocl.pivot/src/org/eclipse/ocl/pivot/internal/utilities/PivotUtilInternal.java
index 69bdc4a48b..6af17839ec 100644
--- a/plugins/org.eclipse.ocl.pivot/src/org/eclipse/ocl/pivot/internal/utilities/PivotUtilInternal.java
+++ b/plugins/org.eclipse.ocl.pivot/src/org/eclipse/ocl/pivot/internal/utilities/PivotUtilInternal.java
@@ -737,7 +737,7 @@ public class PivotUtilInternal //extends PivotUtil
 	 * @since 1.3
 	 */
 	public static boolean isOrphanProperty(@NonNull Property property) {
-		if (property.getOwningClass()instanceof TupleType) {
+		if (property.getOwningClass() instanceof TupleType) {
 			return true;
 		}
 		return false;
diff --git a/plugins/org.eclipse.ocl.pivot/src/org/eclipse/ocl/pivot/utilities/PivotUtil.java b/plugins/org.eclipse.ocl.pivot/src/org/eclipse/ocl/pivot/utilities/PivotUtil.java
index 19ca362bf3..b92fdfed0d 100644
--- a/plugins/org.eclipse.ocl.pivot/src/org/eclipse/ocl/pivot/utilities/PivotUtil.java
+++ b/plugins/org.eclipse.ocl.pivot/src/org/eclipse/ocl/pivot/utilities/PivotUtil.java
@@ -1436,6 +1436,13 @@ public class PivotUtil
 		return feature;
 	}
 
+	/**
+	 * @since 1.4
+	 */
+	public static @NonNull Iteration getReferredIteration(@NonNull LoopExp loopExp) {
+		return ClassUtil.nonNullState(loopExp.getReferredIteration());
+	}
+
 	public static @NonNull Operation getReferredOperation(@NonNull CallExp callExp) {
 		if (callExp instanceof LoopExp) {
 			return ClassUtil.nonNullState(((LoopExp)callExp).getReferredIteration());