examples/org.eclipse.ocl.examples.codegen/src/org/eclipse/ocl/examples/codegen/cse/LetPlaces.java

/*******************************************************************************
 * Copyright (c) 2013, 2018 CEA LIST and others.
 * All rights reserved.   This program and the accompanying materials
 * are made available under the terms of the Eclipse Public License v2.0
 * which accompanies this distribution, and is available at
 * http://www.eclipse.org/legal/epl-v20.html
 *
 * Contributors:
 *   E.D.Willink(CEA LIST) - Initial API and implementation
 *******************************************************************************/
package org.eclipse.ocl.examples.codegen.cse;

import java.util.Map;

import org.eclipse.jdt.annotation.NonNull;
import org.eclipse.jdt.annotation.Nullable;
import org.eclipse.ocl.examples.codegen.cgmodel.CGElement;
import org.eclipse.ocl.examples.codegen.cgmodel.CGLetExp;
import org.eclipse.ocl.examples.codegen.cgmodel.CGValuedElement;

/**
 * LetPlaces manages an InPlace and an InitPlace for the in and init forests of CG trees
 * for a Let expression.
 * <p>
 * They do not yet support hoisting.
 */
public class LetPlaces
{
	public static @NonNull LocalPlace createLetPlaces(@NonNull Map<@Nullable CGElement, @NonNull AbstractPlace> element2place, @NonNull CGLetExp cgLetExp) {
		ControlPlace letPlace = ControlPlace.getControlPlace(element2place, cgLetExp);
		CGValuedElement cgInExp = cgLetExp.getIn();
		CGValuedElement cgInitExp = cgLetExp.getInit();
		if ((cgInExp != null) && (cgInitExp != null)) {
			InPlace inPlace = new InPlace(letPlace, cgInExp, cgInitExp);
			//			InitPlace initPlace = new InitPlace(letPlace, cgInitExp);
			element2place.put(cgInExp, inPlace);
		}
		return letPlace;
	}

	/**
	 * A InPlace describes the in forest of CG trees for a Let expression.
	 */
	public static class InPlace extends ControlPlace
	{
		//		protected final @NonNull InitPlace initPlace;

		private InPlace(@NonNull LocalPlace letPlace, @NonNull CGValuedElement cgThenExp, @NonNull CGValuedElement cgInitExp) {
			super(letPlace, cgThenExp);
			//			initPlace = new InitPlace(letPlace, this, cgInitExp);
		}
	}

	/**
	 * An InitPlace describes the init forest of CG trees for a Let expression.
	 *
	public static class InitPlace extends ControlPlace
	{
//		protected final @NonNull InPlace inPlace;

		private InitPlace(@NonNull LocalPlace letPlace, @NonNull InPlace inPlace, @NonNull CGValuedElement cgInitExp) {
			super(letPlace, cgInitExp);
//			this.inPlace = inPlace;
		}
	} */
}