fix initialization of source folder

easier-aemilia/src/main/java/it/univaq/disim/sealab/metaheuristic/evolutionary/AemiliaController.java

@@ -14,6 +14,8 @@
 import java.util.Map.Entry;
 import java.util.Set;
 import java.util.logging.FileHandler;
+import java.util.stream.Collectors;
+import java.util.stream.Stream;
 
 import org.apache.commons.io.FilenameUtils;
 import org.uma.jmetal.algorithm.Algorithm;
@@ -57,6 +59,7 @@
 import it.univaq.disim.sealab.metaheuristic.managers.aemilia.AemiliaMetamodelManager;
 import it.univaq.disim.sealab.metaheuristic.utils.Configurator;
 import it.univaq.disim.sealab.metaheuristic.utils.EasierLogger;
+import it.univaq.disim.sealab.metaheuristic.utils.FileUtils;
 import it.univaq.disim.sealab.twoeagles_bridge.TwoEaglesBridge;
 import it.univaq.disim.sealab.metaheuristic.utils.AemiliaFileUtils;
 import it.univaq.disim.sealab.metaheuristic.utils.ThresholdUtils;
@@ -106,7 +109,7 @@ public AemiliaController(final Configurator config) {
 		configurator = config;
 
 		configurator.getTmpFolder().toFile().mkdirs();
-		
+
 		METAMODEL_PATH = configurator.getMetamodelPath();
 
 		// Instantiates evolutionary operators
@@ -163,6 +166,7 @@ private void generateSourceFiles(final Path source) {
 		final Path sourceValPath = source.resolve("model.val");
 		final Path sourceModelPath = source.resolve("model.mmaemilia");
 		final Path sourceOCLPath = source.resolve("ocl/detectionSingleValuePA.ocl");
+		final Path sourceEVLPath = source.resolve("aemilia-pas-checker.evl");
 
 		if (!Files.exists(sourceModelPath) && Files.exists(sourceAemPath)) {
 			new TwoEaglesBridge().aemiliaModelGeneration(sourceAemPath, sourceModelPath);
@@ -201,6 +205,28 @@ private void generateSourceFiles(final Path source) {
 			}
 		}
 
+		if (!Files.exists(sourceEVLPath)) {
+			try {
+				// copy the EVL template into the solution folder
+				org.apache.commons.io.FileUtils.copyFile(configurator.getEVLTemplate().toFile(),
+						sourceEVLPath.toFile());
+				// fix paths in the copied EVL file
+				FileUtils.fillTemplateKeywords(configurator.getEVLTemplate(), sourceEVLPath,
+						Stream.of(
+								new Object[][] { { "basepath", configurator.getEVLTemplate().getParent().toString() } })
+								.collect(Collectors.toMap(data -> (String) data[0], data -> (String) data[1])));
+
+				//copy the threshold file into the source folder
+				ThresholdUtils.uptodateSingleValueThresholds(source, sourceModelPath, sourceValPath, (AemiliaMetamodelManager) metamodelManager,
+						this);
+
+				EasierLogger.logger_.info("The EVL Template File has been filled and copied");
+			} catch (IOException e) {
+				System.err.println("Error in copying the evl template file to the source folder.");
+				e.printStackTrace();
+			}
+		}
+
 		// Renaming of generated files by M2T transformation
 		File folder = source.toFile();
 		File[] listOfFiles = folder.listFiles();

easier-aemilia/src/main/resources/models/FTA/new_rate3/aemilia-pas-checker.evl

@@ -0,0 +1,51 @@
+import "/home/peo/git/sealab/easier/easier-epsilon/src/main/resources/evl/library/action_process.eol";
+import "/home/peo/git/sealab/easier/easier-epsilon/src/main/resources/evl/library/action.eol";
+import "/home/peo/git/sealab/easier/easier-epsilon/src/main/resources/evl/library/archi_elem_instance.eol";
+import "/home/peo/git/sealab/easier/easier-epsilon/src/main/resources/evl/library/architectural_interaction.eol";
+import "/home/peo/git/sealab/easier/easier-epsilon/src/main/resources/evl/library/attachment.eol";
+import "/home/peo/git/sealab/easier/easier-epsilon/src/main/resources/evl/library/const_init.eol";
+import "/home/peo/git/sealab/easier/easier-epsilon/src/main/resources/evl/library/elem_type.eol";
+import "/home/peo/git/sealab/easier/easier-epsilon/src/main/resources/evl/library/HELPER.eol";
+import "/home/peo/git/sealab/easier/easier-epsilon/src/main/resources/evl/library/metric_functions.eol";
+import "thresholds.eol";
+
+
+/*********************************************************************************************
+ *																							 *
+ *	 								Pipe and Filter 										 *
+ *							Antipattern Detection and Validation					 		 *
+ *										reviewed											 *
+ *********************************************************************************************/
+
+
+context ArchitecturalInteraction {
+	critique PaF {
+		check: not (self.isServiceExpOrInf() and
+				self.checkOpResDemand(th_maxOpResDemand()) and
+				self.F_T(th_SthReq()))
+		message : "PaF on: " + self.name
+		fix {
+			title : "Clone"
+			do {
+				self.cloneArchiElemInstance(); 
+			}
+		}
+		fix {
+			title : "Delete clone"
+			do {
+				self.deleteDuplicatedArchiElemInstance();
+			}
+		}
+		fix {
+			title : " Change a const"
+			do {
+				self.changeConstant();
+			}
+		}
+	}
+	critique EP {
+		check: not (self.isServiceExpOrInf() and
+				self.unbalancedOpResDemand(th_maxOpResDemand().first(), th_minOpResDemand().first()) and
+				self.F_RT(th_SrtReq()))
+	}
+}