/******************************************************************************* * Copyright (c) 2011, 2015 Willink Transformations and others. * All rights reserved. This program and the accompanying materials * are made available under the terms of the Eclipse Public License v1.0 * which accompanies this distribution, and is available at * http://www.eclipse.org/legal/epl-v10.html * * Contributors: * E.D.Willink - Initial API and implementation *******************************************************************************/ package org.eclipse.ocl.pivot.internal.library.executor; import java.util.Iterator; import org.eclipse.jdt.annotation.NonNull; import org.eclipse.jdt.annotation.Nullable; import org.eclipse.ocl.pivot.evaluation.Evaluator; import org.eclipse.ocl.pivot.evaluation.Executor; import org.eclipse.ocl.pivot.evaluation.IterationManager; import org.eclipse.ocl.pivot.ids.TypeId; import org.eclipse.ocl.pivot.library.AbstractIterationManager; import org.eclipse.ocl.pivot.library.LibraryBinaryOperation; import org.eclipse.ocl.pivot.utilities.ValueUtil; import org.eclipse.ocl.pivot.values.CollectionValue; public class ExecutorSingleIterationManager extends AbstractIterationManager { class Nested extends ExecutorSingleIterationManager { protected final @NonNull ExecutorSingleIterationManager rootIterationManager; protected final int depth; protected Nested(@NonNull ExecutorSingleIterationManager iterationManager, @NonNull CollectionValue value) { super(iterationManager, value); this.rootIterationManager = iterationManager.getRootIterationManager(); this.depth = iterationManager.getDepth() + 1; } @Override public int getDepth() { return depth; } @Override public @NonNull ExecutorSingleIterationManager getRootIterationManager() { return rootIterationManager; } @Override public @NonNull CollectionValue getSourceCollection() { return rootIterationManager.getSourceCollection(); } } protected final @NonNull CollectionValue collectionValue; protected final @NonNull TypeId returnTypeId; protected final @NonNull LibraryBinaryOperation body; private @Nullable Object accumulatorValue; protected final @NonNull Iterator<? extends Object> iteratorValue; private Object currentValue; // 'null' is a valid value so 'iteratorValue' is used as end of iteration /** @deprecated use Executor */ @Deprecated public ExecutorSingleIterationManager(@NonNull Evaluator evaluator, @NonNull TypeId returnTypeId, @NonNull LibraryBinaryOperation body, @Nullable CollectionValue collectionValue, @Nullable Object accumulatorValue) { this(ValueUtil.getExecutor(evaluator), returnTypeId, body, collectionValue, accumulatorValue); } /** * @since 1.1 */ public ExecutorSingleIterationManager(@NonNull Executor executor, @NonNull TypeId returnTypeId, @NonNull LibraryBinaryOperation body, @Nullable CollectionValue collectionValue, @Nullable Object accumulatorValue) { super(executor); this.collectionValue = ValueUtil.asCollectionValue(collectionValue); this.returnTypeId = returnTypeId; this.body = body; updateAccumulator(accumulatorValue); this.iteratorValue = this.collectionValue.iterator(); advanceIterators(); } protected ExecutorSingleIterationManager(@NonNull ExecutorSingleIterationManager iterationManager, @NonNull CollectionValue collectionValue) { super(iterationManager.getExecutor()); this.collectionValue = collectionValue; this.returnTypeId = iterationManager.returnTypeId; this.body = iterationManager.body; this.accumulatorValue = iterationManager.accumulatorValue; this.iteratorValue = collectionValue.iterator(); advanceIterators(); } @Override public boolean advanceIterators() { currentValue = iteratorValue.hasNext() ? iteratorValue.next() : iteratorValue; return currentValue != iteratorValue; } @Override public @NonNull IterationManager createNestedIterationManager(@NonNull CollectionValue value) { return new Nested(this, value); } @Override public @Nullable Object evaluateBody() { return ((LibraryBinaryOperation.LibraryBinaryOperationExtension)body).evaluate(executor, returnTypeId, accumulatorValue, get()); } @Override public @Nullable Object get() { return currentValue; } @Override public @Nullable Object getAccumulatorValue() { return accumulatorValue; } public int getDepth() { return 0; } public @NonNull ExecutorSingleIterationManager getRootIterationManager() { return this; } @Override public @NonNull CollectionValue getSourceCollection() { return collectionValue; } @Override public boolean hasCurrent() { return currentValue != iteratorValue; } @Override public @Nullable Object updateAccumulator(Object newValue) { this.accumulatorValue = newValue; return null; // carry on } }