From 48c59d20c98f08c291e1053bb6bc43de8a54af70 Mon Sep 17 00:00:00 2001
From: Fabien Tessier <fabien.tessier@telecom-paristech.fr>
Date: Tue, 24 Oct 2017 14:25:15 +0200
Subject: [PATCH] Add UPPAAL path for .ttool project in SpecConfigTTool
---
src/main/java/common/SpecConfigTTool.java | 6 ++++++
1 file changed, 6 insertions(+)
diff --git a/src/main/java/common/SpecConfigTTool.java b/src/main/java/common/SpecConfigTTool.java
index d9b6352d90..610ba25da7 100644
--- a/src/main/java/common/SpecConfigTTool.java
+++ b/src/main/java/common/SpecConfigTTool.java
@@ -52,6 +52,8 @@ public class SpecConfigTTool {
public static String GGraphPath="";
public static String TGraphPath="";
+ public static String UPPAALCodeDirectory="";
+
private static String ProjectSystemCCodeDirectory = "/c++_code/";
private static String ProjectCCodeDirectory = "/c_code/";
private static String ProjectProVerifCodeDirectory = "/proverif/";
@@ -62,6 +64,7 @@ public class SpecConfigTTool {
private static String ProjectDocGenDirectory = "/doc";
private static String ProjectGGraphPath="/graphs";
private static String ProjectTGraphPath="/graphs";
+ private static String ProjectUPPAALCodeDirectory="/uppaal/";
public static int lastPanel = -1;
public static int lastTab = -1;
@@ -94,6 +97,8 @@ public class SpecConfigTTool {
GGraphPath = ConfigurationTTool.GGraphPath;
TGraphPath = ConfigurationTTool.TGraphPath;
+
+ UPPAALCodeDirectory = ConfigurationTTool.UPPAALCodeDirectory;
}
public static void setDirConfig(File dir) {
@@ -107,6 +112,7 @@ public class SpecConfigTTool {
DocGenPath = dir.getAbsolutePath() + ProjectDocGenDirectory;
GGraphPath = dir.getAbsolutePath() + ProjectGGraphPath;
TGraphPath = dir.getAbsolutePath() + ProjectTGraphPath;
+ UPPAALCodeDirectory = dir.getAbsolutePath() + ProjectUPPAALCodeDirectory;
SystemCCodeCompileCommand = ConfigurationTTool.SystemCCodeCompileCommand.replace(ConfigurationTTool.SystemCCodeDirectory, SystemCCodeDirectory);
SystemCCodeExecuteCommand = ConfigurationTTool.SystemCCodeExecuteCommand.replace(ConfigurationTTool.SystemCCodeDirectory, SystemCCodeDirectory);
--
GitLab