Commit b3bc95f5 authored by Florian Lugou's avatar Florian Lugou

optimize import

parent 9e65d835

Too many changes to show.

To preserve performance only 1000 of 1000+ files are displayed.

......@@ -46,9 +46,11 @@
* @see
*/
import myutil.FileUtils;
import myutil.TraceManager;
import ui.graph.AUTGraph;
import java.io.File;
import myutil.*;
import ui.graph.*;
public class GraphMinimize {
......
......@@ -46,11 +46,11 @@
* @see
*/
import java.io.File;
import myutil.FileUtils;
import myutil.TraceManager;
import ui.graph.AUTGraph;
import ui.graph.AUTGraph;
import java.io.File;
public class GraphShow {
......
......@@ -44,17 +44,19 @@
* @see
*/
import myutil.BoolExpressionEvaluator;
import myutil.TraceManager;
import ui.*;
import ui.window.JStartingWindow;
import javax.swing.*;
import java.awt.*;
import java.awt.event.*;
import java.util.Locale;
import java.awt.event.ActionEvent;
import java.awt.event.ActionListener;
import java.net.URL;
//import java.io.*;
import javax.swing.ImageIcon;
import javax.swing.*;
import java.util.Locale;
import myutil.*;
import ui.*;
import ui.window.*;
//import java.io.*;
public class Main implements ActionListener {
public boolean finish = false;
......
......@@ -45,10 +45,8 @@
*/
import launcher.*;
import myutil.*;
import launcher.RshServer;
import myutil.TraceManager;
public class RTLLauncher implements Runnable {
......
......@@ -44,14 +44,14 @@ knowledge of the CeCILL license and that you accept its terms.
* @see
*/
import java.io.BufferedReader;
import java.io.IOException;
import java.io.InputStreamReader;
import remotesimulation.CommandParser;
import remotesimulation.RemoteConnection;
import remotesimulation.RemoteConnectionException;
import java.io.BufferedReader;
import java.io.IOException;
import java.io.InputStreamReader;
public class RemoteSimulationControl extends Thread {
public static int port = 3490;
......
......@@ -44,12 +44,15 @@ knowledge of the CeCILL license and that you accept its terms.
* @see
*/
import java.io.*;
import translator.*;
import translator.touppaal.*;
import myutil.*;
import uppaaldesc.*;
import myutil.FileUtils;
import translator.TIFExchange;
import translator.TURTLEModeling;
import translator.TURTLETranslator;
import translator.touppaal.TURTLE2UPPAAL;
import uppaaldesc.UPPAALSpec;
import java.io.File;
import java.io.FileOutputStream;
public class TIFTranslator {
// 0 -> RT-LOTOS
......
......@@ -45,25 +45,20 @@
* @see
*/
import java.io.File;
import java.io.FileOutputStream;
import java.util.List;
import myutil.FileUtils;
import tmltranslator.TMLError;
import tmltranslator.TMLMapping;
import tmltranslator.TMLMappingTextSpecification;
import tmltranslator.TMLModeling;
import tmltranslator.TMLSyntaxChecking;
import tmltranslator.TMLTextSpecification;
import tmltranslator.tomappingsystemc2.IDiploSimulatorCodeGenerator;
import tmltranslator.*;
import tmltranslator.tomappingsystemc2.DiploSimulatorFactory;
import tmltranslator.tomappingsystemc2.IDiploSimulatorCodeGenerator;
import tmltranslator.toturtle.Mapping2TIF;
import tmltranslator.toturtle.TML2TURTLE;
import tmltranslator.touppaal.TML2UPPAAL;
import translator.TURTLEModeling;
import translator.TURTLETranslator;
import java.io.File;
import java.io.FileOutputStream;
import java.util.List;
public class TMLTranslator {
// 0 -> LOTOS
// 1 -> UPPAAL
......
......@@ -45,9 +45,10 @@ knowledge of the CeCILL license and that you accept its terms.
*/
import myutil.*;
import ui.graph.*;
import myutil.BoolExpressionEvaluator;
import myutil.TraceManager;
import ui.graph.AUTGraph;
import ui.graph.AUTTransition;
public class Test {
......
......@@ -49,8 +49,6 @@ package copyfromJAVAsource;
//import translator.*;
//import translator.tojava.*;
import java.util.*;
//import myutil.*;
public class AvatarSignal extends AvatarMethod {
......
......@@ -45,7 +45,8 @@
package copyfromJAVAsource;
import java.util.*;
import java.util.LinkedList;
import java.util.ListIterator;
public class Conversion {
......
......@@ -47,11 +47,10 @@ knowledge of the CeCILL license and that you accept its terms.
package copyfromJAVAsource;
import java.util.*;
import android.util.Log;
import java.util.Vector;
//import myutil.*;
//import translator.*;
......
......@@ -45,9 +45,6 @@
package copyfromJAVAsource;
import java.io.*;
public class TraceManager {
public final static int TO_CONSOLE = 0;
public final static int TO_FILE = 1;
......
package project.alwaystry;
import java.util.ArrayList;
import android.app.Activity;
import android.app.ProgressDialog;
import android.app.TabActivity;
import android.content.Intent;
import android.gesture.Gesture;
import android.gesture.GestureLibraries;
import android.gesture.GestureLibrary;
import android.gesture.GestureOverlayView;
import android.gesture.*;
import android.gesture.GestureOverlayView.OnGesturePerformedListener;
import android.gesture.Prediction;
import android.os.Bundle;
import android.util.Log;
import android.view.GestureDetector;
import android.view.GestureDetector.OnGestureListener;
import android.view.MotionEvent;
import android.view.View;
import android.view.View.OnTouchListener;
import android.widget.RelativeLayout;
import android.widget.RelativeLayout.LayoutParams;
import android.widget.TabHost;
import android.widget.Toast;
import java.util.ArrayList;
public class AlwaystryActivity extends TabActivity implements OnGesturePerformedListener{//implements OnTouchListener{//implements OnLongClickListener,OnTouchListener{
int clickaction = 0;
......
package project.alwaystry;
import android.app.Activity;
import android.app.AlertDialog;
import android.content.DialogInterface;
import android.os.Bundle;
import android.os.SystemClock;
import android.util.Log;
import android.view.MotionEvent;