OperatorIFExecution.java example

Explorer
openflexo-master
/*
 * (c) Copyright 2010-2011 AgileBirds
 *
 * This file is part of OpenFlexo.
 *
 * OpenFlexo is free software: you can redistribute it and/or modify
 * it under the terms of the GNU General Public License as published by
 * the Free Software Foundation, either version 3 of the License, or
 * (at your option) any later version.
 *
 * OpenFlexo is distributed in the hope that it will be useful,
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
 * GNU General Public License for more details.
 *
 * You should have received a copy of the GNU General Public License
 * along with OpenFlexo. If not, see <http://www.gnu.org/licenses/>.
 *
 */
package org.openflexo.foundation.exec;

import java.util.Vector;
import java.util.logging.Logger;

import org.openflexo.antar.Conditional;
import org.openflexo.antar.ControlGraph;
import org.openflexo.antar.Nop;
import org.openflexo.antar.expr.Expression;
import org.openflexo.foundation.wkf.edge.ExternalMessageInEdge;
import org.openflexo.foundation.wkf.edge.FlexoPostCondition;
import org.openflexo.foundation.wkf.node.IFOperator;
import org.openflexo.logging.FlexoLogger;

public class OperatorIFExecution extends OperatorNodeExecution {

	@SuppressWarnings("unused")
	private static final Logger logger = FlexoLogger.getLogger(OperatorIFExecution.class.getPackage().getName());

	protected OperatorIFExecution(IFOperator operatorNode) {
		super(operatorNode);
	}

	@Override
	protected final ControlGraph makeControlGraph(boolean interprocedural) throws InvalidModelException, NotSupportedException {
		if (getOperatorNode().getConditionPrimitive() == null) {
			throw new InvalidModelException("Operator IF " + getOperatorNode().getName() + " doesn't define any condition primitive");
		}

		Expression condition = makeCondition(getOperatorNode().getConditionPrimitive());

		Vector<ControlGraph> trueEdgeStatements = new Vector<ControlGraph>();
		Vector<ControlGraph> falseEdgeStatements = new Vector<ControlGraph>();

		for (FlexoPostCondition<?, ?> edge : getOperatorNode().getOutgoingPostConditions()) {
			if (edge instanceof ExternalMessageInEdge) {
				if (edge.isPositiveEvaluation()) {
					trueEdgeStatements.add(SendMessage.sendMessage((ExternalMessageInEdge) edge, interprocedural));
				} else {
					falseEdgeStatements.add(SendMessage.sendMessage((ExternalMessageInEdge) edge, interprocedural));
				}
			}
		}

		for (FlexoPostCondition<?, ?> edge : getOperatorNode().getOutgoingPostConditions()) {
			if (edge.isPositiveEvaluation()) {
				trueEdgeStatements.add(SendToken.sendToken(edge, interprocedural));
			} else {
				falseEdgeStatements.add(SendToken.sendToken(edge, interprocedural));
			}
		}

		ControlGraph trueStatement = makeSequentialControlGraph(trueEdgeStatements);
		if (trueStatement instanceof Nop && !trueStatement.hasComment()) {
			trueStatement.setInlineComment("nothing to do when condition is true");
		}

		ControlGraph falseStatement = makeSequentialControlGraph(falseEdgeStatements);
		if (falseStatement instanceof Nop && !trueStatement.hasComment()) {
			falseStatement.setInlineComment("nothing to do when condition is false");
		}

		return new Conditional(condition, trueStatement, falseStatement, "Evaluate operator IF named " + getOperatorNode().getName());

	}

	@Override
	public IFOperator getOperatorNode() {
		return (IFOperator) super.getOperatorNode();
	}

}