From 0b12e4ce1f2d29a07813d31f8819e33826498ea9 Mon Sep 17 00:00:00 2001
From: apvrille <ludovic.apvrille@eurecom.fr>
Date: Wed, 30 May 2018 17:48:26 +0200
Subject: [PATCH] Removing debug trace
---
.idea/misc.xml | 2 +-
src/main/java/graph/AUTGraph.java | 2 +-
src/main/java/ui/MainGUI.java | 2 +-
3 files changed, 3 insertions(+), 3 deletions(-)
diff --git a/.idea/misc.xml b/.idea/misc.xml
index 51e5191ed4..b755d8ca46 100644
--- a/.idea/misc.xml
+++ b/.idea/misc.xml
@@ -38,7 +38,7 @@
<property name="caretWidth" class="java.lang.Integer" />
</properties>
</component>
- <component name="ProjectRootManager" version="2" languageLevel="JDK_1_7" default="false" project-jdk-name="1.8" project-jdk-type="JavaSDK">
+ <component name="ProjectRootManager" version="2" languageLevel="JDK_1_7" default="false" project-jdk-name="1.7" project-jdk-type="JavaSDK">
<output url="file://$PROJECT_DIR$/build" />
</component>
</project>
\ No newline at end of file
diff --git a/src/main/java/graph/AUTGraph.java b/src/main/java/graph/AUTGraph.java
index c48a9d1451..82e2150a58 100755
--- a/src/main/java/graph/AUTGraph.java
+++ b/src/main/java/graph/AUTGraph.java
@@ -1358,7 +1358,7 @@ public class AUTGraph implements myutil.Graph {
} else {
// For each possible transition, we create a new transition to a new destination state
for (AUTTransition tr : current.outTransitions) {
- // Create new transition. Is a new staqte necessary?
+ // Create new transition. Is a new state necessary?
AUTState destState = states.get(tr.destination);
AUTState stRefusal;
stRefusal = new AUTState(newStates.size());
diff --git a/src/main/java/ui/MainGUI.java b/src/main/java/ui/MainGUI.java
index 5ac1cabfeb..3c6236939b 100644
--- a/src/main/java/ui/MainGUI.java
+++ b/src/main/java/ui/MainGUI.java
@@ -2599,7 +2599,7 @@ public class MainGUI implements ActionListener, WindowListener, KeyListener, Per
fis.read(ba);
fis.close();
s = new String(ba, "UTF-8");
- TraceManager.addDev("Mode:" + s);
+ //TraceManager.addDev("Mode:" + s);
} catch (Exception e) {
JOptionPane.showMessageDialog(frame, "File could not be opened because " + e.getMessage(), "File Error", JOptionPane.INFORMATION_MESSAGE);
return;
--
GitLab