diff --git a/src/tmltranslator/DIPLOElement.java b/src/tmltranslator/DIPLOElement.java index 42f7eff1649832a52c39f0007911444027a7fd91..06fe55e0bd6865809541778337ccfe150c6802d0 100755 --- a/src/tmltranslator/DIPLOElement.java +++ b/src/tmltranslator/DIPLOElement.java @@ -36,7 +36,7 @@ The fact that you are presently reading this means that you have had knowledge of the CeCILL license and that you accept its terms. /** - * Class TMLElement + * Class DIPLOElement * Creation: 24/03/2008 * @version 1.0 24/03/2008 * @author Ludovic APVRILLE diff --git a/src/tmltranslator/TMLCP.java b/src/tmltranslator/TMLCP.java new file mode 100755 index 0000000000000000000000000000000000000000..04ac8946f3ed2352933985ae6d9b5cf4eb7db92d --- /dev/null +++ b/src/tmltranslator/TMLCP.java @@ -0,0 +1,104 @@ +/**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. + +/** +* Class TMLCP +* Creation: 18/02/2014 +* @version 1.0 18/02/2014 +* @author Ludovic APVRILLE +* @see +*/ + +package tmltranslator; + +import java.util.*; + +import tmltranslator.tmlcp.*; + +import myutil.*; + +public class TMLCP { + private TMLCPSection mainCP; + private ArrayList<TMLCPSection> otherCPs; //Ref to other CPs + private ArrayList<TMLSDSection> sds; //Ref to sd + + + private int hashCode; + private boolean hashCodeComputed = false; + + + public TMLCP() { + init(); + } + + private void init() { + otherCPs = new ArrayList<TMLCPSection>(); + sds = new ArrayList<TMLSDSection>(); + } + + private void computeHashCode() { + /*TMLArchiTextSpecification architxt = new TMLArchiTextSpecification("spec.tarchi"); + String s = architxt.toTextFormat(this); + hashCode = s.hashCode();*/ + //System.out.println("TARCHI hashcode = " + hashCode); + } + + public int getHashCode() { + return 0; + /*if (!hashCodeComputed) { + computeHashCode(); + hashCodeComputed = true; + } + return hashCode;*/ + } + + + public void setMainCP(TMLCPSection _tmlcpSection) { + mainCP = _tmlcpSection; + } + + public void addTMLCPSection(TMLCPSection _tmlcpSection) { + otherCPs.add(_tmlcpSection); + } + + public void addTMLSDSection(TMLSDSection _tmlsdSection) { + sds.add(_tmlsdSection); + } + + + +} \ No newline at end of file diff --git a/src/tmltranslator/TMLMapping.java b/src/tmltranslator/TMLMapping.java index 2265a6a20db7350145ceab1e72ca60c5abddf631..66c79026ac9d7dfdad80f4c6bd6b9571d65c5b89 100755 --- a/src/tmltranslator/TMLMapping.java +++ b/src/tmltranslator/TMLMapping.java @@ -57,6 +57,10 @@ public class TMLMapping { private ArrayList<HwCommunicationNode> oncommnodes; private ArrayList<TMLElement> mappedcommelts; + private ArrayList<TMLCP> instancesOfCPs; + private ArrayList<TMLElement> commEltsMappedOnCPs; + + private boolean optimized = false; private int hashCode; diff --git a/src/tmltranslator/tmlcp/TMLCPChoice.java b/src/tmltranslator/tmlcp/TMLCPChoice.java new file mode 100755 index 0000000000000000000000000000000000000000..cc7bf7dfae22acc5399af78d37437490b7b31507 --- /dev/null +++ b/src/tmltranslator/tmlcp/TMLCPChoice.java @@ -0,0 +1,69 @@ +/**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. + +/** +* Class TMLCPChoice +* Creation: 18/02/2014 +* @version 1.0 18/02/2014 +* @author Ludovic APVRILLE +* @see +*/ + +package tmltranslator.tmlcp;; + +import java.util.*; + + +import myutil.*; + +public class TMLCPChoice extends TMLCPElement { + private ArrayList<String> guards; + + public TMLCPChoice(String _name, Object _referenceObject) { + super(_name, _referenceObject); + guards = new ArrayList<String>(); + } + + public void addGuard(String _guard) { + nexts.add(_guard); + } + + public String<TMLCPElement> getGuards() { + return guards; + } + +} \ No newline at end of file diff --git a/src/tmltranslator/tmlcp/TMLCPElement.java b/src/tmltranslator/tmlcp/TMLCPElement.java new file mode 100755 index 0000000000000000000000000000000000000000..a0ecb8a6fac8fa41d6d6dba9e6dee9372e502723 --- /dev/null +++ b/src/tmltranslator/tmlcp/TMLCPElement.java @@ -0,0 +1,74 @@ +/**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. + +/** +* Class TMLCPElement +* Creation: 18/02/2014 +* @version 1.0 18/02/2014 +* @author Ludovic APVRILLE +* @see +*/ + +package tmltranslator.tmlcp;; + +import tmltranslator.*; +import java.util.*; + + +import myutil.*; + +public abstract class TMLCPElement extends TMLElement { + private ArrayList<TMLCPElement> nexts; + + + public TMLCPElement(String _name, Object _referenceObject) { + super(_name, _referenceObject); + nexts = new ArrayList<TMLCPElement>(); + } + + public void addNextElement(TMLCPElement _elt) { + nexts.add(_elt); + } + + public ArrayList<TMLCPElement> getNextElements() { + return nexts; + } + + + + +} \ No newline at end of file diff --git a/src/tmltranslator/tmlcp/TMLCPFork.java b/src/tmltranslator/tmlcp/TMLCPFork.java new file mode 100755 index 0000000000000000000000000000000000000000..affde5dc5c12d17fa66cfa53276e0b98ed7f5b84 --- /dev/null +++ b/src/tmltranslator/tmlcp/TMLCPFork.java @@ -0,0 +1,60 @@ +/**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. + +/** +* Class TMLCPFork +* Creation: 18/02/2014 +* @version 1.0 18/02/2014 +* @author Ludovic APVRILLE +* @see +*/ + +package tmltranslator.tmlcp;; + +import java.util.*; + + +import myutil.*; + +public class TMLCPFork extends TMLCPElement { + + + public TMLCPFork(String _name, Object _referenceObject) { + super(_name, _referenceObject); + } + +} \ No newline at end of file diff --git a/src/tmltranslator/tmlcp/TMLCPJoin.java b/src/tmltranslator/tmlcp/TMLCPJoin.java new file mode 100755 index 0000000000000000000000000000000000000000..b05e2bc498361f73cc5c619a6c064903fea4e7ec --- /dev/null +++ b/src/tmltranslator/tmlcp/TMLCPJoin.java @@ -0,0 +1,60 @@ +/**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. + +/** +* Class TMLCPJoin +* Creation: 18/02/2014 +* @version 1.0 18/02/2014 +* @author Ludovic APVRILLE +* @see +*/ + +package tmltranslator.tmlcp;; + +import java.util.*; + + +import myutil.*; + +public class TMLCPJoin extends TMLCPElement { + + + public TMLCPJoin(String _name, Object _referenceObject) { + super(_name, _referenceObject); + } + +} \ No newline at end of file diff --git a/src/tmltranslator/tmlcp/TMLCPJunction.java b/src/tmltranslator/tmlcp/TMLCPJunction.java new file mode 100755 index 0000000000000000000000000000000000000000..61d6282b06e208d2931c32150c2c99e254cf9cdb --- /dev/null +++ b/src/tmltranslator/tmlcp/TMLCPJunction.java @@ -0,0 +1,60 @@ +/**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. + +/** +* Class TMLCPStop +* Creation: 18/02/2014 +* @version 1.0 18/02/2014 +* @author Ludovic APVRILLE +* @see +*/ + +package tmltranslator.tmlcp;; + +import java.util.*; + + +import myutil.*; + +public abstract class TMLCPJunction extends TMLCPElement { + + + public TMLCPStop(String _name, Object _referenceObject) { + super(_name, _referenceObject); + } + +} \ No newline at end of file diff --git a/src/tmltranslator/tmlcp/TMLCPRefCP.java b/src/tmltranslator/tmlcp/TMLCPRefCP.java new file mode 100755 index 0000000000000000000000000000000000000000..473ececb2c25ac146d71c75e202c00ebd6cf61e7 --- /dev/null +++ b/src/tmltranslator/tmlcp/TMLCPRefCP.java @@ -0,0 +1,61 @@ +/**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. + +/** +* Class TMLCPRefCP +* Creation: 18/02/2014 +* @version 1.0 18/02/2014 +* @author Ludovic APVRILLE +* @see +*/ + +package tmltranslator.tmlcp;; + +import java.util.*; + + +import myutil.*; + +public class TMLCPRefCP extends TMLCPElement { + private TMLCPSection reference; + + public TMLCPRefCP(TMLCPSection _ref, String _name, Object _referenceObject) { + super(_name, _referenceObject); + reference = _ref; + } + +} \ No newline at end of file diff --git a/src/tmltranslator/tmlcp/TMLCPRefSD.java b/src/tmltranslator/tmlcp/TMLCPRefSD.java new file mode 100755 index 0000000000000000000000000000000000000000..f9fab36198735b4077eda6683b5d2d8b9165f91c --- /dev/null +++ b/src/tmltranslator/tmlcp/TMLCPRefSD.java @@ -0,0 +1,61 @@ +/**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. + +/** +* Class TMLCPRefSD +* Creation: 18/02/2014 +* @version 1.0 18/02/2014 +* @author Ludovic APVRILLE +* @see +*/ + +package tmltranslator.tmlcp;; + +import java.util.*; + + +import myutil.*; + +public class TMLCPRefSD extends TMLCPElement { + private TMLCPRefSD reference; + + public TMLCPRefSD(TMLCPSection _ref, String _name, Object _referenceObject) { + super(_name, _referenceObject); + reference = _ref; + } + +} \ No newline at end of file diff --git a/src/tmltranslator/tmlcp/TMLCPSection.java b/src/tmltranslator/tmlcp/TMLCPSection.java new file mode 100755 index 0000000000000000000000000000000000000000..7890fed4d1b7babee79665cb61469ae11e378fa6 --- /dev/null +++ b/src/tmltranslator/tmlcp/TMLCPSection.java @@ -0,0 +1,89 @@ +/**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. + +/** +* Class TMLCPSection +* Creation: 18/02/2014 +* @version 1.0 18/02/2014 +* @author Ludovic APVRILLE +* @see +*/ + +package tmltranslator.tmlcp;; + +import java.util.*; + +import tmltranslator.*; +import myutil.*; + +public class TMLCPSection { + private TMLCPStart start; + private ArrayList<TMLCPElement> elements; // Including the start element + private ArrayList<TMLAttribute> globalVariables; + + private int hashCode; + private boolean hashCodeComputed = false; + + + public TMLCPSection() { + init(); + } + + private void init() { + globalVariables = new ArrayList<TMLAttribute>(); + elements = new ArrayList<TMLCPElement>(); + } + + public void addVariable(TMLAttribute _attr) { + globalVariables.add(_attr); + } + + public ArrayList<TMLAttribute> getAttributes() { + return globalVariables; + } + + public void setStartElement(TMLCPStart _elt) { + start = _elt; + } + + + public void addTMLCPElement(TMLCPElement _elt) { + elements.add(_elt); + } + + +} \ No newline at end of file diff --git a/src/tmltranslator/tmlcp/TMLCPStart.java b/src/tmltranslator/tmlcp/TMLCPStart.java new file mode 100755 index 0000000000000000000000000000000000000000..c510c38d5831f7868edc04c7f578aaed55469f4b --- /dev/null +++ b/src/tmltranslator/tmlcp/TMLCPStart.java @@ -0,0 +1,60 @@ +/**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. + +/** +* Class TMLCPStart +* Creation: 18/02/2014 +* @version 1.0 18/02/2014 +* @author Ludovic APVRILLE +* @see +*/ + +package tmltranslator.tmlcp;; + +import java.util.*; + + +import myutil.*; + +public class TMLCPStart extends TMLCPElement { + + + public TMLCPStart(String _name, Object _referenceObject) { + super(_name, _referenceObject); + } + +} \ No newline at end of file diff --git a/src/tmltranslator/tmlcp/TMLCPStop.java b/src/tmltranslator/tmlcp/TMLCPStop.java new file mode 100755 index 0000000000000000000000000000000000000000..b6d7c3b389275f3b08f0a38ddd6d6b046017cfff --- /dev/null +++ b/src/tmltranslator/tmlcp/TMLCPStop.java @@ -0,0 +1,60 @@ +/**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. + +/** +* Class TMLCPStop +* Creation: 18/02/2014 +* @version 1.0 18/02/2014 +* @author Ludovic APVRILLE +* @see +*/ + +package tmltranslator.tmlcp;; + +import java.util.*; + + +import myutil.*; + +public class TMLCPStop extends TMLCPElement { + + + public TMLCPStop(String _name, Object _referenceObject) { + super(_name, _referenceObject); + } + +} \ No newline at end of file diff --git a/src/tmltranslator/tmlcp/TMLSDAction.java b/src/tmltranslator/tmlcp/TMLSDAction.java new file mode 100755 index 0000000000000000000000000000000000000000..89d8c566fcad0c54c0fb07ea8ff801adbb49f5cc --- /dev/null +++ b/src/tmltranslator/tmlcp/TMLSDAction.java @@ -0,0 +1,59 @@ +/**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. + +/** +* Class TMLSDAction +* Creation: 18/02/2014 +* @version 1.0 18/02/2014 +* @author Ludovic APVRILLE +* @see +*/ + +package tmltranslator.tmlcp;; + +import java.util.*; + + +import myutil.*; + +public class TMLSDAction extends TMLSDElement { + + public TMLSDSendMessage(TMLSDMessage _msg, String _name, Object _referenceObject) { + super(_msg, _name, _referenceObject); + } + +} \ No newline at end of file diff --git a/src/tmltranslator/tmlcp/TMLSDElement.java b/src/tmltranslator/tmlcp/TMLSDElement.java new file mode 100755 index 0000000000000000000000000000000000000000..b4c82478b4daa44048ccd7ef51d9f623973fe565 --- /dev/null +++ b/src/tmltranslator/tmlcp/TMLSDElement.java @@ -0,0 +1,59 @@ +/**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. + +/** +* Class TMLSDElement +* Creation: 18/02/2014 +* @version 1.0 18/02/2014 +* @author Ludovic APVRILLE +* @see +*/ + +package tmltranslator.tmlcp;; + +import java.util.*; + +import tmltranslator.*; +import myutil.*; + +public abstract class TMLSDElement extends TMLElement { + + public TMLSDElement(String _name, Object _referenceObject) { + super(_name, _referenceObject); + } + +} \ No newline at end of file diff --git a/src/tmltranslator/tmlcp/TMLSDInstance.java b/src/tmltranslator/tmlcp/TMLSDInstance.java new file mode 100755 index 0000000000000000000000000000000000000000..275a347d9b694517c961102bda5f60cd0b2d0081 --- /dev/null +++ b/src/tmltranslator/tmlcp/TMLSDInstance.java @@ -0,0 +1,70 @@ +/**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. + +/** +* Class TMLSDInstance +* Creation: 18/02/2014 +* @version 1.0 18/02/2014 +* @author Ludovic APVRILLE +* @see +*/ + +package tmltranslator.tmlcp;; + +import tmltranslator.*; +import java.util.*; + + +import myutil.*; + +public class TMLSDInstance extends TMLElement { + private ArrayList<TMLSDElement> elements; + + public TMLSDInstance(String _name, Object _referenceObject) { + super(_name, _referenceObject); + elements = new ArrayList<TMLSDElement>(); + } + + public void addElement(TMLSDElement _elt) { + elements.add(_elt); + } + + public ArrayList<TMLSDElement> getElements() { + return elements; + } + +} \ No newline at end of file diff --git a/src/tmltranslator/tmlcp/TMLSDMessage.java b/src/tmltranslator/tmlcp/TMLSDMessage.java new file mode 100755 index 0000000000000000000000000000000000000000..2b032ef5258674f8095fdc270bd36566ddae972d --- /dev/null +++ b/src/tmltranslator/tmlcp/TMLSDMessage.java @@ -0,0 +1,66 @@ +/**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. + +/** +* Class TMLSDMessage +* Creation: 18/02/2014 +* @version 1.0 18/02/2014 +* @author Ludovic APVRILLE +* @see +*/ + +package tmltranslator.tmlcp;; + +import java.util.*; + +import tmltranslator.*; +import myutil.*; + +public class TMLSDMessage extends TMLElement { + private String nameOfMessage; + + + public TMLSDMessage(String _nameOfMsg, String _name, Object _referenceObject) { + super(_name, _referenceObject); + nameOfMessage = _nameOfMsg; + } + + public String getMessageName() { + return nameOfMessage; + } + +} \ No newline at end of file diff --git a/src/tmltranslator/tmlcp/TMLSDMessageManipulation.java b/src/tmltranslator/tmlcp/TMLSDMessageManipulation.java new file mode 100755 index 0000000000000000000000000000000000000000..a7ecabfa8d6383cb9ecdff6b7590fde3788c2d72 --- /dev/null +++ b/src/tmltranslator/tmlcp/TMLSDMessageManipulation.java @@ -0,0 +1,65 @@ +/**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. + +/** +* Class TMLSDMessageManipulation +* Creation: 18/02/2014 +* @version 1.0 18/02/2014 +* @author Ludovic APVRILLE +* @see +*/ + +package tmltranslator.tmlcp;; + +import java.util.*; + + +import myutil.*; + +public class TMLSDMessageManipulation extends TMLSDElement { + private TMLSDMessage msg; + + public TMLSDMessageManipulation(TMLSDMessage _msg, String _name, Object _referenceObject) { + super(_name, _referenceObject); + msg = _msg; + } + + public TMLSDMessage getMessage() { + return msg; + } + +} \ No newline at end of file diff --git a/src/tmltranslator/tmlcp/TMLSDReceiveMessage.java b/src/tmltranslator/tmlcp/TMLSDReceiveMessage.java new file mode 100755 index 0000000000000000000000000000000000000000..c7aba175a30609e70b4c124f1fbd5fcc7f9eea3c --- /dev/null +++ b/src/tmltranslator/tmlcp/TMLSDReceiveMessage.java @@ -0,0 +1,60 @@ +/**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. + +/** +* Class TMLSDReceiveMessage +* Creation: 18/02/2014 +* @version 1.0 18/02/2014 +* @author Ludovic APVRILLE +* @see +*/ + +package tmltranslator.tmlcp;; + +import java.util.*; + + +import myutil.*; + +public class TMLSDReceiveMessage extends TMLSDMessageManipulation { + + public TMLSDMessageManipulation(TMLSDMessage _msg, String _name, Object _referenceObject) { + super(_name, _referenceObject); + + } + +} \ No newline at end of file diff --git a/src/tmltranslator/tmlcp/TMLSDSection.java b/src/tmltranslator/tmlcp/TMLSDSection.java new file mode 100755 index 0000000000000000000000000000000000000000..cce99d357daf8807eb1b9d10985f9958703cc3f3 --- /dev/null +++ b/src/tmltranslator/tmlcp/TMLSDSection.java @@ -0,0 +1,90 @@ +/**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. + +/** +* Class TMLSDSection +* Creation: 18/02/2014 +* @version 1.0 18/02/2014 +* @author Ludovic APVRILLE +* @see +*/ + +package tmltranslator.tmlcp;; + +import java.util.*; + +import tmltranslator.*; +import myutil.*; + +public class TMLSDSection { + private ArrayList<TMLSDInstance> instances; + private ArrayList<TMLAttribute> globalVariables; + private ArrayList<TMLSDMessage> messages; + + private int hashCode; + private boolean hashCodeComputed = false; + + + public TMLSDSection() { + init(); + } + + private void init() { + globalVariables = new ArrayList<TMLAttribute>(); + instances = new ArrayList<TMLSDInstance>(); + messages = new ArrayList<TMLSDMessage>(); + } + + public void addVariable(TMLAttribute _attr) { + globalVariables.add(_attr); + } + + public ArrayList<TMLAttribute> getAttributes() { + return globalVariables; + } + + + public void addInstance(TMLSDInstance _elt) { + instances.add(_elt); + } + + public void addMessage(TMLSDMessage _elt) { + messages.add(_elt); + } + + +} \ No newline at end of file diff --git a/src/tmltranslator/tmlcp/TMLSDSendMessage.java b/src/tmltranslator/tmlcp/TMLSDSendMessage.java new file mode 100755 index 0000000000000000000000000000000000000000..13dda0c453b6ef321908ca82a02b8d3771822dfb --- /dev/null +++ b/src/tmltranslator/tmlcp/TMLSDSendMessage.java @@ -0,0 +1,59 @@ +/**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. + +/** +* Class TMLSDSendMessage +* Creation: 18/02/2014 +* @version 1.0 18/02/2014 +* @author Ludovic APVRILLE +* @see +*/ + +package tmltranslator.tmlcp;; + +import java.util.*; + + +import myutil.*; + +public class TMLSDSendMessage extends TMLSDMessageManipulation { + + public TMLSDSendMessage(TMLSDMessage _msg, String _name, Object _referenceObject) { + super(_msg, _name, _referenceObject); + } + +} \ No newline at end of file