From 2b715000897ce746f31eb1cfe1477cae6ba0b63c Mon Sep 17 00:00:00 2001
From: Ludovic Apvrille <ludovic.apvrille@telecom-paristech.fr>
Date: Tue, 23 Aug 2016 10:48:56 +0000
Subject: [PATCH] Debug action for tml to uppaal

---
 src/ui/GTURTLEModeling.java | 5 +++--
 src/ui/MainGUI.java         | 3 ++-
 2 files changed, 5 insertions(+), 3 deletions(-)

diff --git a/src/ui/GTURTLEModeling.java b/src/ui/GTURTLEModeling.java
index b949a0c4d6..87ae8f109c 100755
--- a/src/ui/GTURTLEModeling.java
+++ b/src/ui/GTURTLEModeling.java
@@ -7165,13 +7165,14 @@ public class GTURTLEModeling {
         TML2TURTLE tt = new TML2TURTLE(tmlm);
         tm = tt.generateTURTLEModeling();
         if ((checkingErrors != null) && (checkingErrors.size() > 0)){
+	    TraceManager.addDev("Error in TURTLE generation");
             analyzeErrors();
             return false;
         } else {
             // Optimize
-            //TraceManager.addDev("Optimize");
+            TraceManager.addDev("Optimize");
             tm.optimize();
-            //TraceManager.addDev("Optimize done");
+            TraceManager.addDev("Optimize done");
             TURTLEModelChecker tmc = new TURTLEModelChecker(tm);
             checkingErrors = tmc.syntaxAnalysisChecking();
             if ((checkingErrors != null) && (checkingErrors.size() > 0)){
diff --git a/src/ui/MainGUI.java b/src/ui/MainGUI.java
index 08c901e762..baf1c30faa 100755
--- a/src/ui/MainGUI.java
+++ b/src/ui/MainGUI.java
@@ -3982,6 +3982,7 @@ public  class MainGUI implements ActionListener, WindowListener, KeyListener, Pe
     // 1: ok, code already generated
     public int generateTURTLEModelingFromState(int state, boolean automatic, int generator) {
         if (state == 1) {
+	    TraceManager.addDev("Generating from state 1");
             if (generateTIFFromMapping(automatic, generator)) {
                 return 1;
             }
@@ -4215,7 +4216,7 @@ public  class MainGUI implements ActionListener, WindowListener, KeyListener, Pe
             }
 	    else {
                 if (generateTURTLEModelingFromState(gtm.getTURTLEModelingState(), false, UPPAAL) == -1) {
-        		TraceManager.addDev("4202");
+		    TraceManager.addDev("4202 - UPPAAL generation failed");
                     return;
                 }
 		TraceManager.addDev( "About to open the window at line 4198" );
-- 
GitLab