From b89dc69eb742f285c2ab1a9988f83f1e6736a15b Mon Sep 17 00:00:00 2001
From: Dominique Blouin <dominique.blouin@telecom-paristech.fr>
Date: Thu, 8 Sep 2016 16:37:23 +0000
Subject: [PATCH] Cleaned imports
---
src/RemoteSimulationControl.java | 12 ++++++------
src/RunDSE.java | 16 +---------------
src/TMLTranslator.java | 26 +++++++++++++++-----------
3 files changed, 22 insertions(+), 32 deletions(-)
diff --git a/src/RemoteSimulationControl.java b/src/RemoteSimulationControl.java
index 710d13fc63..aa3b289e4f 100755
--- a/src/RemoteSimulationControl.java
+++ b/src/RemoteSimulationControl.java
@@ -44,13 +44,13 @@ knowledge of the CeCILL license and that you accept its terms.
* @see
*/
-import java.io.*;
-import java.util.*;
+import java.io.BufferedReader;
+import java.io.IOException;
+import java.io.InputStreamReader;
-import remotesimulation.*;
-
-import myutil.*;
-//import uppaaldesc.*;
+import remotesimulation.CommandParser;
+import remotesimulation.RemoteConnection;
+import remotesimulation.RemoteConnectionException;
public class RemoteSimulationControl extends Thread {
diff --git a/src/RunDSE.java b/src/RunDSE.java
index b9925d466f..cd80096562 100755
--- a/src/RunDSE.java
+++ b/src/RunDSE.java
@@ -44,21 +44,7 @@ knowledge of the CeCILL license and that you accept its terms.
* @see
*/
-import java.io.*;
-import java.util.*;
-
-//import tmltranslator.*;
-//import tmltranslator.touppaal.*;
-//import tmltranslator.tomappingsystemc.*;
-import tmltranslator.tomappingsystemc2.*;
-//import tmltranslator.toturtle.*;
-
-import translator.*;
-
-import dseengine.*;
-
-import myutil.*;
-//import uppaaldesc.*;
+import dseengine.DSEScriptReader;
public class RunDSE {
diff --git a/src/TMLTranslator.java b/src/TMLTranslator.java
index 3bec0d1037..5c593d04c4 100755
--- a/src/TMLTranslator.java
+++ b/src/TMLTranslator.java
@@ -45,19 +45,23 @@
* @see
*/
-import java.io.*;
-import java.util.*;
+import java.io.File;
+import java.io.FileOutputStream;
+import java.util.ArrayList;
-import tmltranslator.*;
-import tmltranslator.touppaal.*;
-import tmltranslator.tomappingsystemc.*;
-import tmltranslator.tomappingsystemc2.*;
-import tmltranslator.toturtle.*;
-
-import translator.*;
-
-import myutil.*;
//import uppaaldesc.*;
+import myutil.FileUtils;
+import tmltranslator.TMLError;
+import tmltranslator.TMLMapping;
+import tmltranslator.TMLMappingTextSpecification;
+import tmltranslator.TMLModeling;
+import tmltranslator.TMLSyntaxChecking;
+import tmltranslator.TMLTextSpecification;
+import tmltranslator.toturtle.Mapping2TIF;
+import tmltranslator.toturtle.TML2TURTLE;
+import tmltranslator.touppaal.TML2UPPAAL;
+import translator.TURTLEModeling;
+import translator.TURTLETranslator;
public class TMLTranslator {
// 0 -> LOTOS
--
GitLab