From 1fb397f01b75a5d2f770c63e0e6c3d27be183734 Mon Sep 17 00:00:00 2001
From: Ludovic Apvrille <ludovic.apvrille@telecom-paristech.fr>
Date: Fri, 25 Apr 2014 13:37:54 +0000
Subject: [PATCH] Update on models and code
---
src/ui/window/JDialogSystemCGeneration.java | 59 +--------------------
1 file changed, 1 insertion(+), 58 deletions(-)
diff --git a/src/ui/window/JDialogSystemCGeneration.java b/src/ui/window/JDialogSystemCGeneration.java
index b9e78fef40..dddf01c9bc 100755
--- a/src/ui/window/JDialogSystemCGeneration.java
+++ b/src/ui/window/JDialogSystemCGeneration.java
@@ -847,43 +847,10 @@ public class JDialogSystemCGeneration extends javax.swing.JDialog implements Act
}
String cmd;
- int mode = 0;
- if (automatic > 0) {
- mode = automatic;
- } else {
- if (exe.isSelected()) {
- mode = ONE_TRACE;
- }
- if (exeint.isSelected()) {
- mode = ANIMATION;
- }
- if (exeformal.isSelected()) {
- mode = FORMAL_VERIFICATION;
- }
- }
-
- TraceManager.addDev("Mode=" + mode);
-
- switch(mode) {
- case ONE_TRACE:
- executeSimulationCommand(exe2.getText());
- break;
- case ANIMATION:
- dispose();
- mgui.interactiveSimulationSystemC(getPathInteractiveExecute());
- break;
- case FORMAL_VERIFICATION:
- executeSimulationCommand(exe2formal.getText());
- break;
- default:
-
- }
-
- /*
if (automatic > 0) {
switch(automatic) {
-
+ case MANUAL:
}
@@ -917,30 +884,6 @@ public class JDialogSystemCGeneration extends javax.swing.JDialog implements Act
setButtons();
return;
}
- }*/
- }
-
- protected void executeSimulationCommand(String cmd) {
- try {
-
- jta.append("Executing simulation code with command: \n" + cmd + "\n");
-
- rshc = new RshClient(hostSystemC);
- // It assumes that data are on the remote host
- // Command
-
- processCmd(cmd, jta);
- //jta.append(data);
- jta.append("Execution done\n");
- } catch (LauncherException le) {
- jta.append("Error: " + le.getMessage() + "\n");
- mode = STOPPED;
- setButtons();
- return;
- } catch (Exception e) {
- mode = STOPPED;
- setButtons();
- return;
}
}
--
GitLab