SCXML

plugins/core/hu.bme.mit.gamma.statechart.language/src/hu/bme/mit/gamma/statechart/language/parser/StatechartExpressionLanguageParserAndLinker.java

@@ -26,6 +26,7 @@ protected Injector getInjector() {
 		return new StatechartLanguageStandaloneSetup().createInjectorAndDoEMFRegistration();
 	}
 
+	@Override
 	protected Class<? extends AbstractAntlrParser> getParserClass() {
 		return CustomStatechartExpressionLanguageParser.class;
 	}

plugins/scxml/hu.bme.mit.gamma.scxml.transformation.commandhandler/.classpath

@@ -0,0 +1,7 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<classpath>
+	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-17"/>
+	<classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/>
+	<classpathentry kind="src" path="src"/>
+	<classpathentry kind="output" path="bin"/>
+</classpath>

plugins/scxml/hu.bme.mit.gamma.scxml.transformation.commandhandler/.gitignore

@@ -0,0 +1 @@
+/bin/

plugins/scxml/hu.bme.mit.gamma.scxml.transformation.commandhandler/.project

@@ -0,0 +1,28 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<projectDescription>
+	<name>hu.bme.mit.gamma.scxml.transformation.commandhandler</name>
+	<comment></comment>
+	<projects>
+	</projects>
+	<buildSpec>
+		<buildCommand>
+			<name>org.eclipse.jdt.core.javabuilder</name>
+			<arguments>
+			</arguments>
+		</buildCommand>
+		<buildCommand>
+			<name>org.eclipse.pde.ManifestBuilder</name>
+			<arguments>
+			</arguments>
+		</buildCommand>
+		<buildCommand>
+			<name>org.eclipse.pde.SchemaBuilder</name>
+			<arguments>
+			</arguments>
+		</buildCommand>
+	</buildSpec>
+	<natures>
+		<nature>org.eclipse.pde.PluginNature</nature>
+		<nature>org.eclipse.jdt.core.javanature</nature>
+	</natures>
+</projectDescription>

plugins/scxml/hu.bme.mit.gamma.scxml.transformation.commandhandler/.settings/org.eclipse.jdt.core.prefs

@@ -0,0 +1,10 @@
+eclipse.preferences.version=1
+org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled
+org.eclipse.jdt.core.compiler.codegen.targetPlatform=17
+org.eclipse.jdt.core.compiler.compliance=17
+org.eclipse.jdt.core.compiler.problem.assertIdentifier=error
+org.eclipse.jdt.core.compiler.problem.enablePreviewFeatures=disabled
+org.eclipse.jdt.core.compiler.problem.enumIdentifier=error
+org.eclipse.jdt.core.compiler.problem.reportPreviewFeatures=warning
+org.eclipse.jdt.core.compiler.release=enabled
+org.eclipse.jdt.core.compiler.source=17

plugins/scxml/hu.bme.mit.gamma.scxml.transformation.commandhandler/META-INF/MANIFEST.MF

@@ -0,0 +1,20 @@
+Manifest-Version: 1.0
+Bundle-ManifestVersion: 2
+Bundle-Name: SCXML To Gamma Transformer Commandhandler
+Bundle-SymbolicName: hu.bme.mit.gamma.scxml.transformation.commandhandler;singleton:=true
+Bundle-Version: 1.0.0.qualifier
+Automatic-Module-Name: hu.bme.mit.gamma.scxml.transformation.commandhandler
+Bundle-RequiredExecutionEnvironment: JavaSE-17
+Require-Bundle: org.eclipse.core.commands,
+ ac.soton.scxml,
+ hu.bme.mit.gamma.scxml.transformation,
+ org.eclipse.core.resources,
+ org.eclipse.emf.common,
+ org.eclipse.emf.ecore,
+ org.eclipse.jface,
+ org.eclipse.ui.workbench,
+ org.eclipse.m2e.maven.runtime,
+ hu.bme.mit.gamma.statechart.model,
+ hu.bme.mit.gamma.statechart.language.ui,
+ org.eclipse.equinox.registry
+Export-Package: hu.bme.mit.gamma.scxml.transformation.commandhandler;uses:="org.eclipse.core.commands,hu.bme.mit.gamma.util,hu.bme.mit.gamma.statechart.util"

plugins/scxml/hu.bme.mit.gamma.scxml.transformation.commandhandler/build.properties

@@ -0,0 +1,5 @@
+source.. = src/
+output.. = bin/
+bin.includes = META-INF/,\
+               .,\
+               plugin.xml

plugins/scxml/hu.bme.mit.gamma.scxml.transformation.commandhandler/plugin.xml

@@ -0,0 +1,42 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<?eclipse version="3.4"?>
+<plugin>
+    <extension point="org.eclipse.ui.commands">
+        <command id="hu.bme.mit.gamma.scxml.transformation" name="Generate Gamma Component"/>
+    </extension>
+    <extension point="org.eclipse.ui.menus">
+        <menuContribution allPopups="false"
+            locationURI="popup:org.eclipse.ui.navigator.ProjectExplorer#PopupMenu">
+            <menu id="gammaProjectMenu" label="Gamma Commands" icon="icons/gamma-icon-16.png">
+                <!-- Generate Gamma Model -->
+                <command commandId="hu.bme.mit.gamma.scxml.transformation"
+                    label="Generate Gamma Statechart" style="push">
+                    <visibleWhen checkEnabled="false">
+                        <iterate ifEmpty="false" operator="or">
+                            <test property="org.eclipse.core.resources.name" value="*.scxml">
+                            </test>
+                        </iterate>
+                    </visibleWhen>
+                </command>
+            </menu>
+        </menuContribution>
+        <menuContribution allPopups="false" locationURI="popup:org.eclipse.jdt.ui.PackageExplorer">
+            <menu id="gammaPackageMenu" label="Gamma Commands" icon="icons/gamma-icon-16.png">
+                <!-- Generate Gamma Model -->
+                <command commandId="hu.bme.mit.gamma.scxml.transformation"
+                    label="Generate Gamma Component" style="push">
+                    <visibleWhen checkEnabled="false">
+                        <iterate ifEmpty="false" operator="or">
+                            <test property="org.eclipse.core.resources.name" value="*.scxml">
+                            </test>
+                        </iterate>
+                    </visibleWhen>
+                </command>
+            </menu>
+        </menuContribution>
+    </extension>
+    <extension point="org.eclipse.ui.handlers">
+        <handler class="hu.bme.mit.gamma.scxml.transformation.commandhandler.CommandHandler"
+            commandId="hu.bme.mit.gamma.scxml.transformation"/>
+    </extension>
+</plugin>

plugins/scxml/hu.bme.mit.gamma.scxml.transformation.commandhandler/src/hu/bme/mit/gamma/scxml/transformation/commandhandler/CommandHandler.java

@@ -0,0 +1,117 @@
+/********************************************************************************
+ * Copyright (c) 2023-2025 Contributors to the Gamma project
+ *
+ * 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
+ *
+ * SPDX-License-Identifier: EPL-1.0
+ ********************************************************************************/
+package hu.bme.mit.gamma.scxml.transformation.commandhandler;
+
+import java.io.IOException;
+import java.util.ArrayList;
+import java.util.Collection;
+import java.util.List;
+import java.util.logging.Level;
+import java.util.logging.Logger;
+
+import org.eclipse.core.commands.AbstractHandler;
+import org.eclipse.core.commands.ExecutionEvent;
+import org.eclipse.core.commands.ExecutionException;
+import org.eclipse.core.resources.IContainer;
+import org.eclipse.core.resources.IFile;
+import org.eclipse.jface.viewers.ISelection;
+import org.eclipse.jface.viewers.IStructuredSelection;
+import org.eclipse.ui.handlers.HandlerUtil;
+
+import ac.soton.scxml.ScxmlScxmlType;
+import hu.bme.mit.gamma.expression.model.ConstantDeclaration;
+import hu.bme.mit.gamma.scxml.transformation.CompositeTraceability;
+import hu.bme.mit.gamma.scxml.transformation.Namings;
+import hu.bme.mit.gamma.scxml.transformation.ScxmlToGammaCompositeTransformer;
+import hu.bme.mit.gamma.statechart.derivedfeatures.StatechartModelDerivedFeatures;
+import hu.bme.mit.gamma.statechart.interface_.Component;
+import hu.bme.mit.gamma.statechart.interface_.Interface;
+import hu.bme.mit.gamma.statechart.interface_.Package;
+import hu.bme.mit.gamma.statechart.language.ui.serializer.StatechartLanguageSerializer;
+import hu.bme.mit.gamma.statechart.util.StatechartUtil;
+import hu.bme.mit.gamma.util.FileUtil;
+import hu.bme.mit.gamma.util.GammaEcoreUtil;
+
+public class CommandHandler extends AbstractHandler {
+
+	protected final FileUtil fileUtil = FileUtil.INSTANCE;
+	protected final GammaEcoreUtil ecoreUtil = GammaEcoreUtil.INSTANCE;
+	protected final StatechartUtil statechartUtil = StatechartUtil.INSTANCE;
+	protected final Logger logger = Logger.getLogger("GammaLogger");
+
+	@Override
+	public Object execute(ExecutionEvent event) throws ExecutionException {
+		try {
+			ISelection sel = HandlerUtil.getActiveMenuSelection(event);
+			if (sel instanceof IStructuredSelection) {
+				IStructuredSelection selection = (IStructuredSelection) sel;
+				Object firstElement = selection.getFirstElement();
+				if (selection.size() == 1) {
+					if (firstElement != null && firstElement instanceof IFile) {
+						IFile file = (IFile) firstElement;
+						IContainer parentFolder = file.getParent();
+						String fileName = file.getName();
+						String extensionlessFileName = fileUtil.getExtensionlessName(fileName);
+						String parentPath = parentFolder.getFullPath().toString();
+						String path = file.getFullPath().toString();
+
+						// Model processing
+						ScxmlToGammaCompositeTransformer compositeTransformer = new ScxmlToGammaCompositeTransformer(path);
+						CompositeTraceability compositeTraceability = compositeTransformer.execute();
+
+						// Interfaces and type declarations have to be explicitly serialized in another package
+						List<Interface> gammaInterfaces = new ArrayList<Interface>(
+								compositeTraceability.getInterfaces());
+						gammaInterfaces.removeIf(i -> i == null);
+						ScxmlScxmlType scxmlRoot = compositeTraceability.getScxmlRoot();
+						Package gammaInterfacePackage = statechartUtil.createPackage(
+								Namings.getInterfacePackageName(scxmlRoot));
+						gammaInterfacePackage.getInterfaces().addAll(gammaInterfaces);
+
+						List<ConstantDeclaration> gammaConstants = new ArrayList<ConstantDeclaration>(
+								compositeTraceability.getConstantDeclarations());
+						gammaInterfacePackage.getConstantDeclarations().addAll(gammaConstants);
+
+						// Pack and serialize asynchronous component
+						Component rootComponent = compositeTraceability.getRootComponent();
+						Package gammaCompositePackage = statechartUtil.wrapIntoPackage(rootComponent);
+						Collection<Component> components = compositeTraceability.getComponents();
+						gammaCompositePackage.getComponents().addAll(components);
+						gammaCompositePackage.getImports()
+								.addAll(StatechartModelDerivedFeatures.getImportablePackages(gammaCompositePackage));
+						gammaCompositePackage.getImports().remove(gammaCompositePackage);
+
+						StatechartLanguageSerializer packageSerializer = new StatechartLanguageSerializer();
+						logger.log(Level.INFO, "Start serializing Gamma packages...");
+
+						// String declarationsPackageFileName = extensionlessFileName + "Declarations.gsm";
+						// ecoreUtil.normalSave(gammaInterfacePackage, parentPath,
+						// declarationsPackageFileName);
+						String declarationsPackageFileName = extensionlessFileName + "Declarations.gcd";
+						packageSerializer.serialize(gammaInterfacePackage, parentPath, declarationsPackageFileName);
+
+						// String compositePackageFileName = extensionlessFileName + ".gsm";
+						// ecoreUtil.normalSave(gammaCompositePackage, parentPath,
+						// compositePackageFileName);
+						String compositePackageFileName = extensionlessFileName + ".gcd";
+						packageSerializer.serialize(gammaCompositePackage, parentPath, compositePackageFileName);
+
+						logger.log(Level.INFO, "The SCXML - Gamma statechart transformation has finished.");
+					}
+				}
+			}
+		} catch (IOException e) {
+			e.printStackTrace();
+		}
+		return null;
+	}
+
+}

plugins/scxml/hu.bme.mit.gamma.scxml.transformation/.classpath

@@ -0,0 +1,12 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<classpath>
+	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-17">
+		<attributes>
+			<attribute name="module" value="true"/>
+		</attributes>
+	</classpathentry>
+	<classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/>
+	<classpathentry kind="src" path="src"/>
+	<classpathentry kind="src" path="xtend-gen"/>
+	<classpathentry kind="output" path="bin"/>
+</classpath>

plugins/scxml/hu.bme.mit.gamma.scxml.transformation/.gitignore

@@ -0,0 +1 @@
+/bin/

plugins/scxml/hu.bme.mit.gamma.scxml.transformation/.project

@@ -0,0 +1,34 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<projectDescription>
+	<name>hu.bme.mit.gamma.scxml.transformation</name>
+	<comment></comment>
+	<projects>
+	</projects>
+	<buildSpec>
+		<buildCommand>
+			<name>org.eclipse.xtext.ui.shared.xtextBuilder</name>
+			<arguments>
+			</arguments>
+		</buildCommand>
+		<buildCommand>
+			<name>org.eclipse.jdt.core.javabuilder</name>
+			<arguments>
+			</arguments>
+		</buildCommand>
+		<buildCommand>
+			<name>org.eclipse.pde.ManifestBuilder</name>
+			<arguments>
+			</arguments>
+		</buildCommand>
+		<buildCommand>
+			<name>org.eclipse.pde.SchemaBuilder</name>
+			<arguments>
+			</arguments>
+		</buildCommand>
+	</buildSpec>
+	<natures>
+		<nature>org.eclipse.pde.PluginNature</nature>
+		<nature>org.eclipse.jdt.core.javanature</nature>
+		<nature>org.eclipse.xtext.ui.shared.xtextNature</nature>
+	</natures>
+</projectDescription>

plugins/scxml/hu.bme.mit.gamma.scxml.transformation/.settings/org.eclipse.jdt.core.prefs

@@ -0,0 +1,10 @@
+eclipse.preferences.version=1
+org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled
+org.eclipse.jdt.core.compiler.codegen.targetPlatform=17
+org.eclipse.jdt.core.compiler.compliance=17
+org.eclipse.jdt.core.compiler.problem.assertIdentifier=error
+org.eclipse.jdt.core.compiler.problem.enablePreviewFeatures=disabled
+org.eclipse.jdt.core.compiler.problem.enumIdentifier=error
+org.eclipse.jdt.core.compiler.problem.reportPreviewFeatures=warning
+org.eclipse.jdt.core.compiler.release=enabled
+org.eclipse.jdt.core.compiler.source=17

plugins/scxml/hu.bme.mit.gamma.scxml.transformation/META-INF/MANIFEST.MF

@@ -0,0 +1,26 @@
+Manifest-Version: 1.0
+Bundle-ManifestVersion: 2
+Bundle-Name: SCXML To Gamma Transformation
+Bundle-SymbolicName: hu.bme.mit.gamma.scxml.transformation;singleton:=true
+Bundle-Version: 1.0.0.qualifier
+Automatic-Module-Name: hu.bme.mit.gamma.scxml.transformation
+Bundle-RequiredExecutionEnvironment: JavaSE-17
+Require-Bundle: ac.soton.scxml,
+ hu.bme.mit.gamma.statechart.model,
+ com.google.guava,
+ org.eclipse.xtext.xbase.lib,
+ org.eclipse.xtend.lib,
+ org.eclipse.xtend.lib.macro,
+ hu.bme.mit.gamma.expression.language,
+ com.google.inject;bundle-version="3.0.0",
+ hu.bme.mit.gamma.expression.model,
+ org.eclipse.xtext
+Export-Package: hu.bme.mit.gamma.scxml.transformation
+Import-Package: hu.bme.mit.gamma.statechart.language.parser,
+ org.antlr.runtime,
+ org.eclipse.xtext,
+ org.eclipse.xtext.nodemodel,
+ org.eclipse.xtext.parser,
+ org.eclipse.xtext.scoping,
+ org.eclipse.xtext.scoping.impl,
+ org.eclipse.xtext.util

plugins/scxml/hu.bme.mit.gamma.scxml.transformation/build.properties

@@ -0,0 +1,5 @@
+source.. = src/,\
+           xtend-gen/
+output.. = bin/
+bin.includes = META-INF/,\
+               .

plugins/scxml/hu.bme.mit.gamma.scxml.transformation/src/hu/bme/mit/gamma/scxml/transformation/AbstractTransformer.xtend

@@ -0,0 +1,46 @@
+/********************************************************************************
+ * Copyright (c) 2023-2025 Contributors to the Gamma project
+ *
+ * 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
+ *
+ * SPDX-License-Identifier: EPL-1.0
+ ********************************************************************************/
+package hu.bme.mit.gamma.scxml.transformation
+
+import hu.bme.mit.gamma.action.model.ActionModelFactory
+import hu.bme.mit.gamma.expression.model.ExpressionModelFactory
+import hu.bme.mit.gamma.expression.util.ExpressionTypeDeterminator2
+import hu.bme.mit.gamma.scxml.transformation.parse.ScxmlGammaExpressionLanguageLinker
+import hu.bme.mit.gamma.scxml.transformation.parse.ScxmlGammaExpressionLanguageParser
+import hu.bme.mit.gamma.statechart.composite.CompositeModelFactory
+import hu.bme.mit.gamma.statechart.interface_.InterfaceModelFactory
+import hu.bme.mit.gamma.statechart.phase.PhaseModelFactory
+import hu.bme.mit.gamma.statechart.statechart.StatechartModelFactory
+import hu.bme.mit.gamma.statechart.util.StatechartUtil
+import hu.bme.mit.gamma.util.GammaEcoreUtil
+import java.util.logging.Logger
+
+abstract class AbstractTransformer {
+
+	protected final extension GammaEcoreUtil ecoreUtil = GammaEcoreUtil.INSTANCE
+	protected final extension StatechartUtil statechartUtil = StatechartUtil.INSTANCE
+//	protected final extension ActionUtil actionUtil = ActionUtil.INSTANCE
+//	protected final extension ExpressionUtil expressionUtil = ExpressionUtil.INSTANCE
+
+	protected final extension InterfaceModelFactory interfaceModelFactory = InterfaceModelFactory.eINSTANCE
+	protected final extension CompositeModelFactory compositeModelFactory = CompositeModelFactory.eINSTANCE
+	protected final extension StatechartModelFactory statechartModelFactory = StatechartModelFactory.eINSTANCE
+	protected final extension PhaseModelFactory phaseModelFactory = PhaseModelFactory.eINSTANCE
+	protected final extension ActionModelFactory actionModelFactory = ActionModelFactory.eINSTANCE
+	protected final extension ExpressionModelFactory expressionModelFactory = ExpressionModelFactory.eINSTANCE
+
+	protected final ScxmlGammaExpressionLanguageParser expressionLanguageParser = new ScxmlGammaExpressionLanguageParser()
+	protected final ScxmlGammaExpressionLanguageLinker expressionLanguageLinker = new ScxmlGammaExpressionLanguageLinker()
+	protected final ExpressionTypeDeterminator2 expressionTypeDeterminator = ExpressionTypeDeterminator2.INSTANCE
+
+	protected final Logger logger = Logger.getLogger("GammaLogger")
+
+}