diff options
Diffstat (limited to 'plugins/org.eclipse.ocl.pivot/src/org/eclipse/ocl/pivot/utilities/PivotUtil.java')
| -rw-r--r-- | plugins/org.eclipse.ocl.pivot/src/org/eclipse/ocl/pivot/utilities/PivotUtil.java | 7 |
1 files changed, 7 insertions, 0 deletions
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()); |