Validation plug-in for the Kermeta3 meta-programming approach in GEMOC Studio (#5)

Kairides · web-flow · commit 55cb35b61a77 · 2020-05-05T14:33:49.000+02:00
* Validation plug-in for Kermeta3 meta-programming approach
* Reorganization of plug-in
* Validation plug-in added to pom and feature.xml
* New .gitignore at the root
* Check on aspect modified to allow whitespace in the dsl "k3" entry.

Signed-off-by: Ronan Guéguen &lt;gueguen.ronan1@gmail.com&gt;
diff --git a/.gitignore b/.gitignore
@@ -0,0 +1,2 @@
+bin/
+**/xtend-gen/
diff --git a/java_engine/tests/org.eclipse.gemoc.execution.sequential.javaengine.tests/.gitignore b/java_engine/tests/org.eclipse.gemoc.execution.sequential.javaengine.tests/.gitignore
@@ -0,0 +1,2 @@
+/bin/
+/xtend-gen/
diff --git a/java_xdsml/plugins/org.eclipse.gemoc.execution.sequential.javaxdsml.ide.ui/.gitignore b/java_xdsml/plugins/org.eclipse.gemoc.execution.sequential.javaxdsml.ide.ui/.gitignore
@@ -1,2 +1,3 @@
 /target
 /xtend-gen/
+/bin/
diff --git a/java_xdsml/plugins/org.eclipse.gemoc.execution.sequential.javaxdsml.metaprog/.classpath b/java_xdsml/plugins/org.eclipse.gemoc.execution.sequential.javaxdsml.metaprog/.classpath
@@ -0,0 +1,7 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<classpath>
+	<classpathentry kind="src" path="src"/>
+	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER"/>
+	<classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/>
+	<classpathentry kind="output" path="bin"/>
+</classpath>
diff --git a/java_xdsml/plugins/org.eclipse.gemoc.execution.sequential.javaxdsml.metaprog/.gitignore b/java_xdsml/plugins/org.eclipse.gemoc.execution.sequential.javaxdsml.metaprog/.gitignore
@@ -0,0 +1 @@
+/bin/
diff --git a/java_xdsml/plugins/org.eclipse.gemoc.execution.sequential.javaxdsml.metaprog/.project b/java_xdsml/plugins/org.eclipse.gemoc.execution.sequential.javaxdsml.metaprog/.project
@@ -0,0 +1,28 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<projectDescription>
+	<name>org.eclipse.gemoc.execution.sequential.javaxdsml.metaprog</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>
diff --git a/java_xdsml/plugins/org.eclipse.gemoc.execution.sequential.javaxdsml.metaprog/META-INF/MANIFEST.MF b/java_xdsml/plugins/org.eclipse.gemoc.execution.sequential.javaxdsml.metaprog/META-INF/MANIFEST.MF
@@ -0,0 +1,13 @@
+Manifest-Version: 1.0
+Bundle-ManifestVersion: 2
+Bundle-Name: Kermeta3-approach
+Bundle-SymbolicName: org.eclipse.gemoc.execution.sequential.javaxdsml.metaprog;singleton:=true
+Bundle-Version: 4.0.0.qualifier
+Automatic-Module-Name: metaprogramming.kermeta3-approach
+Bundle-RequiredExecutionEnvironment: JavaSE-1.8
+Require-Bundle: org.eclipse.core.runtime;bundle-version="3.14.0",
+ org.eclipse.gemoc.dsl.model,
+ org.eclipse.emf.ecore,
+ org.eclipse.core.resources,
+ org.eclipse.jdt.core,
+ org.eclipse.gemoc.xdsmlframework.api;bundle-version="4.0.0"
diff --git a/java_xdsml/plugins/org.eclipse.gemoc.execution.sequential.javaxdsml.metaprog/build.properties b/java_xdsml/plugins/org.eclipse.gemoc.execution.sequential.javaxdsml.metaprog/build.properties
@@ -0,0 +1,5 @@
+source.. = src/
+output.. = bin/
+bin.includes = META-INF/,\
+               .,\
+               plugin.xml
diff --git a/java_xdsml/plugins/org.eclipse.gemoc.execution.sequential.javaxdsml.metaprog/plugin.xml b/java_xdsml/plugins/org.eclipse.gemoc.execution.sequential.javaxdsml.metaprog/plugin.xml
@@ -0,0 +1,12 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<?eclipse version="3.4"?>
+<plugin>
+   <extension
+         point="org.eclipse.gemoc.gemoc_language_workbench.metaprog">
+      <approach
+            name="kermeta3"
+            validator="org.eclipse.gemoc.execution.sequential.javaxdsml.ruleprovider.Kermeta3RuleProvider">
+      </approach>
+   </extension>
+
+</plugin>
diff --git a/java_xdsml/plugins/org.eclipse.gemoc.execution.sequential.javaxdsml.metaprog/pom.xml b/java_xdsml/plugins/org.eclipse.gemoc.execution.sequential.javaxdsml.metaprog/pom.xml
@@ -0,0 +1,25 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!--
+    Copyright (c) 2017 Inria 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:
+        Inria - initial API and implementation
+ -->
+
+<project>
+  <modelVersion>4.0.0</modelVersion>
+
+  <parent>
+    <relativePath>../../..</relativePath>
+    <groupId>org.eclipse.gemoc.execution.sequential.java</groupId>
+    <artifactId>org.eclipse.gemoc.execution.sequential.java.root</artifactId>
+    <version>4.0.0-SNAPSHOT</version>
+  </parent>
+
+  <artifactId>org.eclipse.gemoc.execution.sequential.javaxdsml.metaprog</artifactId>
+  <packaging>eclipse-plugin</packaging>
+</project>
diff --git a/java_xdsml/plugins/org.eclipse.gemoc.execution.sequential.javaxdsml.metaprog/src/org/eclipse/gemoc/execution/sequential/javaxdsml/ruleprovider/Kermeta3Rule.java b/java_xdsml/plugins/org.eclipse.gemoc.execution.sequential.javaxdsml.metaprog/src/org/eclipse/gemoc/execution/sequential/javaxdsml/ruleprovider/Kermeta3Rule.java
@@ -0,0 +1,84 @@
+package org.eclipse.gemoc.execution.sequential.javaxdsml.ruleprovider;
+
+import java.util.ArrayList;
+import org.eclipse.core.resources.*;
+import org.eclipse.core.runtime.Path;
+import org.eclipse.jdt.core.*;
+import org.eclipse.gemoc.dsl.Dsl;
+import org.eclipse.gemoc.dsl.Entry;
+import org.eclipse.gemoc.xdsmlframework.api.extensions.metaprog.IRule;
+import org.eclipse.gemoc.xdsmlframework.api.extensions.metaprog.Severity;
+import org.eclipse.gemoc.xdsmlframework.api.extensions.metaprog.Message;
+
+/**
+ * Validation rule used by the Kermeta3 meta-programming approach
+ * 
+ * @author GUEGUEN Ronan
+ *
+ */
+public class Kermeta3Rule implements IRule {
+
+	@Override
+	public Message execute(Dsl dsl) {
+		ArrayList<String> entriesNames = new ArrayList<String>();
+		
+		for (Entry e : dsl.getEntries()) {
+			entriesNames.add(e.getKey());
+		}
+		
+		if(!entriesNames.contains("k3")) {
+			return (new Message("Missing entry \"k3\"", Severity.ERROR));
+		}
+			
+		return (new Message("",Severity.DEFAULT));
+	}
+
+	@Override
+	public Message execute(Entry entry) {
+		if("k3".matches(entry.getKey())) {
+			String aspectsFields = entry.getValue();
+			
+			IWorkspaceRoot root = ResourcesPlugin.getWorkspace().getRoot();
+			IFile file = root.getFile(new Path(entry.eResource().getURI().toPlatformString(true)));
+			
+			IProject proj = file.getProject();
+			IJavaProject jProj = JavaCore.create(proj);
+			
+			if(jProj == null) {
+				return (new Message("No project dsa in the workspace", Severity.ERROR));
+			}
+			
+			ArrayList<String> aspectsName = new ArrayList<>();
+			ArrayList<String> aspectsAnnotation = new ArrayList<>();
+			
+			for(String s : aspectsFields.split(",")) {
+				aspectsName.add(s.trim());
+			}
+			
+			
+			for(String asp : aspectsName) {
+				try {
+					IType type = jProj.findType(asp);
+					for(IMethod meth : type.getMethods()) {
+						for(IAnnotation annot : meth.getAnnotations()) {
+							aspectsAnnotation.add(annot.getElementName());
+						}
+					}
+				} catch (Exception e) {
+					return (new Message("No aspect matching \""+asp+ "\" in the project", Severity.ERROR));
+				}
+			}
+			
+			if(!aspectsAnnotation.contains("Main")) {
+				return (new Message("No method annotated with \"Main\" in the project", Severity.ERROR));
+			}
+			
+			if(!aspectsAnnotation.contains("InitializeModel")) {
+				return (new Message("No method annotated with \"InitializeModel\" in the project", Severity.WARNING));
+			}
+			
+		}
+		return (new Message("", Severity.DEFAULT));
+	}
+
+}
diff --git a/java_xdsml/plugins/org.eclipse.gemoc.execution.sequential.javaxdsml.metaprog/src/org/eclipse/gemoc/execution/sequential/javaxdsml/ruleprovider/Kermeta3RuleProvider.java b/java_xdsml/plugins/org.eclipse.gemoc.execution.sequential.javaxdsml.metaprog/src/org/eclipse/gemoc/execution/sequential/javaxdsml/ruleprovider/Kermeta3RuleProvider.java
@@ -0,0 +1,35 @@
+package org.eclipse.gemoc.execution.sequential.javaxdsml.ruleprovider;
+
+import java.util.Collection;
+import java.util.HashSet;
+import java.util.Set;
+
+import org.eclipse.gemoc.xdsmlframework.api.extensions.metaprog.IRule;
+import org.eclipse.gemoc.xdsmlframework.api.extensions.metaprog.IRuleProvider;
+import org.eclipse.gemoc.xdsmlframework.api.extensions.metaprog.EcoreRule;
+
+
+/**
+ * RuleProvider used for the Kermeta3 meta-programming approach
+ * @author GUEGUEN Ronan
+ *
+ */
+public class Kermeta3RuleProvider implements IRuleProvider {
+	
+	private Set<IRule> ruleSet = new HashSet<IRule>();
+
+	/**
+	 * Creates a RuleProvider for the Kermeta3 meta-programming approach, contains rules from the Ecore RuleProvider
+	 */
+	public Kermeta3RuleProvider() {
+		ruleSet.add(new EcoreRule());
+		ruleSet.add(new Kermeta3Rule());
+	}
+	
+	@Override
+	public Collection<IRule> getValidationRules(){
+		return ruleSet;
+		
+	}
+
+}
diff --git a/pom.xml b/pom.xml
@@ -31,6 +31,7 @@
         <!-- plugins -->
         <module>java_engine/plugins/org.eclipse.gemoc.execution.sequential.javaengine</module>       
         <module>java_xdsml/plugins/org.eclipse.gemoc.execution.sequential.javaxdsml.ide.ui</module>
+        <module>java_xdsml/plugins/org.eclipse.gemoc.execution.sequential.javaxdsml.metaprog</module>
         <module>java_engine/plugins/org.eclipse.gemoc.execution.sequential.javaengine.ui</module>
                
         <!-- features -->
diff --git a/releng/org.eclipse.gemoc.execution.sequential.javaxdsml.feature/feature.xml b/releng/org.eclipse.gemoc.execution.sequential.javaxdsml.feature/feature.xml
@@ -54,5 +54,12 @@ http://www.eclipse.org/legal/epl-v10.html
          install-size="0"
          version="0.0.0"
          unpack="false"/>
+         
+   <plugin
+   		id="org.eclipse.gemoc.execution.sequential.javaxdsml.metaprog"
+   		download-size="0"
+   		install-size="0"
+   		version="0.0.0"
+   		unpack="false"/>
 
 </feature>

Original file line number	Diff line number	Diff line change
`@@ -1,2 +1,3 @@`
`1`	`1`	`/target`
`2`	`2`	`/xtend-gen/`
	`3`	`+/bin/`