/* 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"; private final static String DIR = "dir"; private final static String VAR = "var"; public Print() { } public List<Command> getListOfSubCommands() { return subcommands; } public String getCommand() { return "print"; } public String getShortCommand() { return "p"; } public String getUsage() { return "print <subcommand>"; } public String getDescription() { return "Can be used to print elements of the diagram"; } /*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() { Command tabs = new Command() { public String getCommand() { return TABS; } public String getShortCommand() { return "t"; } public String getDescription() { return "Printing the name of the tabs in the order of the (graphical) model"; } public String executeCommand(String command, Interpreter interpreter) { if (!interpreter.isTToolStarted()) { return Interpreter.TTOOL_ALREADY_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; } }; Command dir = new Command() { public String getCommand() { return DIR; } public String getShortCommand() { return "d"; } public String getDescription() { return "Printing the default directory"; } public String executeCommand(String command, Interpreter interpreter) { System.out.println("Default directory: " + System.getProperty("user.dir")); return null; } }; Command var = new Command() { public String getCommand() { return VAR; } public String getShortCommand() { return "v"; } public String getDescription() { return "Printing the value of the variable provided as input"; } public String executeCommand(String command, Interpreter interpreter) { String[] commands = command.split(" "); if (commands.length < 1) { return Interpreter.BAD; } System.out.println("Variable " + commands[0] + " = " + interpreter.getVariableValue(commands[0])); return null; } }; addAndSortSubcommand(tabs); addAndSortSubcommand(dir); addAndSortSubcommand(var); } /*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; }*/ }