From 1f75c2800ececed5cbf451a1ea71e09b553304e3 Mon Sep 17 00:00:00 2001
From: apvrille <ludovic.apvrille@eurecom.fr>
Date: Fri, 26 Oct 2018 09:29:34 +0200
Subject: [PATCH] Adding Print command
---
src/main/java/cli/Print.java | 123 +++++++++++++++++++++++++++++++++++
src/main/java/cli/Set.java | 106 ++++++++++++++++++++++++++++++
src/main/java/cli/Wait.java | 102 +++++++++++++++++++++++++++++
3 files changed, 331 insertions(+)
create mode 100644 src/main/java/cli/Print.java
create mode 100644 src/main/java/cli/Set.java
create mode 100644 src/main/java/cli/Wait.java
diff --git a/src/main/java/cli/Print.java b/src/main/java/cli/Print.java
new file mode 100644
index 0000000000..75fc40a2d2
--- /dev/null
+++ b/src/main/java/cli/Print.java
@@ -0,0 +1,123 @@
+/* Copyright or (C) or Copr. GET / ENST, Telecom-Paris, Ludovic Apvrille
+ *
+ * ludovic.apvrille AT enst.fr
+ *
+ * This software is a computer program whose purpose is to allow the
+ * edition of TURTLE analysis, design and deployment diagrams, to
+ * allow the generation of RT-LOTOS or Java code from this diagram,
+ * and at last to allow the analysis of formal validation traces
+ * obtained from external tools, e.g. RTL from LAAS-CNRS and CADP
+ * from INRIA Rhone-Alpes.
+ *
+ * This software is governed by the CeCILL license under French law and
+ * abiding by the rules of distribution of free software. You can use,
+ * modify and/ or redistribute the software under the terms of the CeCILL
+ * license as circulated by CEA, CNRS and INRIA at the following URL
+ * "http://www.cecill.info".
+ *
+ * As a counterpart to the access to the source code and rights to copy,
+ * modify and redistribute granted by the license, users are provided only
+ * with a limited warranty and the software's author, the holder of the
+ * economic rights, and the successive licensors have only limited
+ * liability.
+ *
+ * In this respect, the user's attention is drawn to the risks associated
+ * with loading, using, modifying and/or developing or reproducing the
+ * software by the user in light of its specific status of free software,
+ * that may mean that it is complicated to manipulate, and that also
+ * therefore means that it is reserved for developers and experienced
+ * professionals having in-depth computer knowledge. Users are therefore
+ * encouraged to load and test the software's suitability as regards their
+ * requirements in conditions enabling the security of their systems and/or
+ * data to be ensured and, more generally, to use and operate it in the
+ * same conditions as regards security.
+ *
+ * The fact that you are presently reading this means that you have had
+ * knowledge of the CeCILL license and that you accept its terms.
+ */
+
+
+package cli;
+
+import common.ConfigurationTTool;
+import launcher.RTLLauncher;
+import myutil.PluginManager;
+import myutil.TraceManager;
+import ui.MainGUI;
+import ui.TURTLEPanel;
+import ui.util.IconManager;
+
+import java.io.File;
+import java.util.BitSet;
+import java.util.*;
+
+/**
+ * Class Print
+ * Creation: 25/10/2018
+ * Version 2.0 25/10/2018
+ *
+ * @author Ludovic APVRILLE
+ */
+public class Print extends Command {
+ private final static String TABS = "tabs";
+
+ public Print() {
+
+ }
+
+ public List<Command> getListOfSubCommands() {
+ return subcommands;
+ }
+
+ public String getCommand() {
+ return "print";
+ }
+
+ public String getShortCommand() {
+ return "p";
+ }
+
+
+ public String executeCommand(String command, Interpreter interpreter) {
+ int index = command.indexOf(" ");
+ String nextCommand;
+ String args;
+
+ if (index == -1) {
+ nextCommand = command;
+ args = "";
+ } else {
+ nextCommand = command.substring(0, index);
+ args = command.substring(index+1, command.length());
+ }
+
+ // Analyzing next command
+ if (nextCommand.compareTo(TABS) == 0) {
+ return printTabs(interpreter);
+ }
+
+ return Interpreter.UNKNOWN_NEXT_COMMAND + nextCommand;
+
+ }
+
+ public void fillSubCommands() {
+
+ }
+
+ public String printTabs(Interpreter interpreter) {
+ if (!interpreter.isTToolStarted()) {
+ return Interpreter.TTOOL_NOT_STARTED;
+ }
+
+ String tabs = "";
+ Vector<TURTLEPanel> panels = interpreter.mgui.getTabs();
+ for(TURTLEPanel pane: panels) {
+ tabs += interpreter.mgui.getTitleAt(pane) + " ";
+ }
+
+ System.out.println("Tabs: " + tabs);
+
+ return null;
+
+ }
+}
diff --git a/src/main/java/cli/Set.java b/src/main/java/cli/Set.java
new file mode 100644
index 0000000000..346c82b863
--- /dev/null
+++ b/src/main/java/cli/Set.java
@@ -0,0 +1,106 @@
+/* Copyright or (C) or Copr. GET / ENST, Telecom-Paris, Ludovic Apvrille
+ *
+ * ludovic.apvrille AT enst.fr
+ *
+ * This software is a computer program whose purpose is to allow the
+ * edition of TURTLE analysis, design and deployment diagrams, to
+ * allow the generation of RT-LOTOS or Java code from this diagram,
+ * and at last to allow the analysis of formal validation traces
+ * obtained from external tools, e.g. RTL from LAAS-CNRS and CADP
+ * from INRIA Rhone-Alpes.
+ *
+ * This software is governed by the CeCILL license under French law and
+ * abiding by the rules of distribution of free software. You can use,
+ * modify and/ or redistribute the software under the terms of the CeCILL
+ * license as circulated by CEA, CNRS and INRIA at the following URL
+ * "http://www.cecill.info".
+ *
+ * As a counterpart to the access to the source code and rights to copy,
+ * modify and redistribute granted by the license, users are provided only
+ * with a limited warranty and the software's author, the holder of the
+ * economic rights, and the successive licensors have only limited
+ * liability.
+ *
+ * In this respect, the user's attention is drawn to the risks associated
+ * with loading, using, modifying and/or developing or reproducing the
+ * software by the user in light of its specific status of free software,
+ * that may mean that it is complicated to manipulate, and that also
+ * therefore means that it is reserved for developers and experienced
+ * professionals having in-depth computer knowledge. Users are therefore
+ * encouraged to load and test the software's suitability as regards their
+ * requirements in conditions enabling the security of their systems and/or
+ * data to be ensured and, more generally, to use and operate it in the
+ * same conditions as regards security.
+ *
+ * The fact that you are presently reading this means that you have had
+ * knowledge of the CeCILL license and that you accept its terms.
+ */
+
+
+package cli;
+
+import common.ConfigurationTTool;
+import launcher.RTLLauncher;
+import myutil.PluginManager;
+import myutil.TraceManager;
+import ui.MainGUI;
+import ui.util.IconManager;
+
+import java.io.File;
+import java.util.BitSet;
+import java.util.*;
+
+/**
+ * Class Set
+ * Creation: 25/10/2018
+ * Version 2.0 25/10/2018
+ *
+ * @author Ludovic APVRILLE
+ */
+public class Set extends Command {
+
+
+ public Set() {
+
+ }
+
+ public List<Command> getListOfSubCommands() {
+ return subcommands;
+ }
+
+ public String getCommand() {
+ return "set";
+ }
+
+ public String getShortCommand() {
+ return "s";
+ }
+
+
+ public String executeCommand(String command, Interpreter interpreter) {
+ int index = command.indexOf(" ");
+ if (index == -1) {
+ return Interpreter.BAD;
+ }
+
+ String varName = command.substring(0, index);
+
+ if (varName.length() < 1) {
+ return Interpreter.BAD_VAR_NAME;
+ }
+
+ String attr = command.substring(index+1, command.length()).trim();
+ if (attr.length() < 1) {
+ return Interpreter.BAD_VAR_VALUE;
+ }
+
+ TraceManager.addDev("Adding variable " + varName + " with value: " + attr);
+ interpreter.addVariable(varName, attr);
+
+ return null;
+ }
+
+ public void fillSubCommands() {
+
+ }
+}
diff --git a/src/main/java/cli/Wait.java b/src/main/java/cli/Wait.java
new file mode 100644
index 0000000000..443c0657d8
--- /dev/null
+++ b/src/main/java/cli/Wait.java
@@ -0,0 +1,102 @@
+/* Copyright or (C) or Copr. GET / ENST, Telecom-Paris, Ludovic Apvrille
+ *
+ * ludovic.apvrille AT enst.fr
+ *
+ * This software is a computer program whose purpose is to allow the
+ * edition of TURTLE analysis, design and deployment diagrams, to
+ * allow the generation of RT-LOTOS or Java code from this diagram,
+ * and at last to allow the analysis of formal validation traces
+ * obtained from external tools, e.g. RTL from LAAS-CNRS and CADP
+ * from INRIA Rhone-Alpes.
+ *
+ * This software is governed by the CeCILL license under French law and
+ * abiding by the rules of distribution of free software. You can use,
+ * modify and/ or redistribute the software under the terms of the CeCILL
+ * license as circulated by CEA, CNRS and INRIA at the following URL
+ * "http://www.cecill.info".
+ *
+ * As a counterpart to the access to the source code and rights to copy,
+ * modify and redistribute granted by the license, users are provided only
+ * with a limited warranty and the software's author, the holder of the
+ * economic rights, and the successive licensors have only limited
+ * liability.
+ *
+ * In this respect, the user's attention is drawn to the risks associated
+ * with loading, using, modifying and/or developing or reproducing the
+ * software by the user in light of its specific status of free software,
+ * that may mean that it is complicated to manipulate, and that also
+ * therefore means that it is reserved for developers and experienced
+ * professionals having in-depth computer knowledge. Users are therefore
+ * encouraged to load and test the software's suitability as regards their
+ * requirements in conditions enabling the security of their systems and/or
+ * data to be ensured and, more generally, to use and operate it in the
+ * same conditions as regards security.
+ *
+ * The fact that you are presently reading this means that you have had
+ * knowledge of the CeCILL license and that you accept its terms.
+ */
+
+
+package cli;
+
+import common.ConfigurationTTool;
+import launcher.RTLLauncher;
+import myutil.PluginManager;
+import myutil.TraceManager;
+import ui.MainGUI;
+import ui.util.IconManager;
+
+import java.io.File;
+import java.util.BitSet;
+import java.util.*;
+
+/**
+ * Class Set
+ * Creation: 25/10/2018
+ * Version 2.0 25/10/2018
+ *
+ * @author Ludovic APVRILLE
+ */
+public class Wait extends Command {
+
+
+ public Wait() {
+
+ }
+
+ public List<Command> getListOfSubCommands() {
+ return subcommands;
+ }
+
+ public String getCommand() {
+ return "wait";
+ }
+
+ public String getShortCommand() {
+ return "w";
+ }
+
+
+ public String executeCommand(String command, Interpreter interpreter) {
+ try {
+ int val = Integer.decode(command).intValue();
+ if (val <= 0) {
+ return Interpreter.BAD_WAIT_VALUE;
+ }
+ TraceManager.addDev("Waiting for " + val + " s.");
+ Thread.currentThread().sleep(val * 1000);
+ TraceManager.addDev("Waiting done");
+
+ return null;
+ } catch (Exception e) {
+ TraceManager.addDev("Exception: " + e.getMessage());
+ return Interpreter.BAD_WAIT_VALUE;
+
+ }
+
+ }
+
+ public void fillSubCommands() {
+
+ }
+}
--
GitLab