codegen/org.eclipse.efm.modeling.codegen.xlia.sdf.polygraph/src/org/eclipse/efm/modeling/codegen/xlia/sdf/polygraph/mocc/xlia/Generator.java

/*******************************************************************************
 * Copyright (c) 2018 CEA LIST.
 *
 * 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:
 *  Arnault Lapitre (CEA LIST) arnault.lapitre@cea.fr
 *  - Initial API and Implementation
 *******************************************************************************/
package org.eclipse.efm.modeling.codegen.xlia.sdf.polygraph.mocc.xlia;

import java.io.FileWriter;
import java.io.IOException;
import java.io.PrintWriter;
import java.util.Arrays;

import org.eclipse.core.resources.IResource;
import org.eclipse.core.resources.ResourcesPlugin;
import org.eclipse.core.runtime.CoreException;
import org.eclipse.core.runtime.IPath;
import org.eclipse.core.runtime.NullProgressMonitor;
import org.eclipse.efm.ecore.formalml.XliaModel;
import org.eclipse.efm.formalml.ecore.factory.XLIAGenerator;
import org.eclipse.efm.modeling.codegen.xlia.sdf.polygraph.mocc.ast.MoccActor;
import org.eclipse.efm.modeling.codegen.xlia.sdf.polygraph.mocc.ast.MoccSystem;

public class Generator {

	public static final String EFM_FOLDER     = "efm";

	public static final String XLIA_EXTENSION = "xlia";


	public static XliaModel moccAst2xlia(final MoccSystem moccSystem,
			final boolean conformance, final boolean traceGeneration)
	{
		if ( moccSystem != null ) {
			// Transform MoCC AST to xLIA Model
			final MoCC2XLIA mocc2xlia =
					new MoCC2XLIA(moccSystem, conformance, traceGeneration);
			mocc2xlia.transform();

			return mocc2xlia.xliaModel;
		}

		return null;
	}


	public static void transformModel(
			final IPath path, final MoccSystem moccSystem)
	{
		final MoCC2XLIA moccGenerator = new MoCC2XLIA(moccSystem, false, false);

		moccGenerator.transform();

		final XliaModel xliaModel = moccGenerator.xliaModel;

		final IPath filePath =
				path.append(moccSystem.getName()).addFileExtension("xlia");

		if( xliaModel != null ) {
			write(filePath, moccSystem, xliaModel);
		}
		else {
			write(filePath, moccSystem);
		}
	}

	public static void write(final IPath path,
			final MoccSystem moccSystem, final XliaModel xliaModel)
	{
		try {
			final FileWriter buffer = new FileWriter( path.toOSString() );
			final PrintWriter writer = new PrintWriter(buffer);

			final CharSequence strXLIA =
					XLIAGenerator.generateModel(xliaModel);

			writer.write("\n/*\n");

			writer.write(moccSystem.toAbstract());

			writer.write("\n*/\n\n");

			writer.write(strXLIA.toString());

			writer.write("\n/*\n");

			writer.write(moccSystem.toString());
			writer.write("\n*/\n");

			writer.close();

		} catch (final IOException e) {
			e.printStackTrace();
		}
	}

	public static void write(final IPath path, final MoccSystem moccSystem)
	{
		try {
			final FileWriter buffer = new FileWriter( path.toOSString() );
			final PrintWriter writer = new PrintWriter(buffer);

			final StringBuilder sout = new StringBuilder();
			sout.append("\n/*\n")
				.append("==> INCONSISTENT MoccSystem <==\n");

			sout.append("system ").append(moccSystem.getName())
				.append(" {").append('\n');
			
			if( moccSystem.FEATURE != null ) {
				sout.append('\t').append("frequencies = " )
					.append(Arrays.toString(
							moccSystem.FEATURE.exeFrequencies)).append('\n')
					.append('\t').append("time = +")
						.append(moccSystem.FEATURE.time_interval)
						.append('\n')
					.append('\t').append("period = ")
						.append(moccSystem.FEATURE.time_period)
						.append('\n')
					.append('\t').append("repetition = ")
						.append(Arrays.toString(moccSystem.FEATURE.repetitions))
						.append('\n')
					.append('}').append('\n');
			}
			for( final MoccActor actor : moccSystem.getActor() ) {
				if( (actor.FEATURE != null) && (! actor.FEATURE.consistency) ) {
					sout.append("Inconsistent actor ")
						.append(actor.getName()).append(" {").append('\n')
						.append('\t').append("frequency = ")
							.append(actor.getFrequency()).append('\n')
						.append('\t').append("phase = ")
							.append(actor.getPhase()).append('\n')
						.append('\t').append("repetition = ")
							.append(actor.FEATURE.repetition).append('\n')
						.append('}').append('\n');
				}
			}
			sout.append('\n');

			writer.write(sout.toString());

			writer.write(moccSystem.toString());
			writer.write("\n*/\n");

			writer.close();

		} catch (final IOException e) {
			e.printStackTrace();
		}
	}

	/*
	 * Refresh the Resource Navigator view
	 */
	public static void doRefreshWorkspace(final IResource resource, final boolean forced) {
		try {
			if( resource != null ) {
				resource.getProject().refreshLocal(
    					IResource.DEPTH_INFINITE, new NullProgressMonitor());
			}
			else if( forced ) {
				ResourcesPlugin.getWorkspace().getRoot().refreshLocal(
						IResource.DEPTH_INFINITE, new NullProgressMonitor());
			}
		}
		catch(final CoreException e) {
			e.printStackTrace();
		}
	}

}