From beb460a150b87737a4a96beeff1b9ce6b87b56b4 Mon Sep 17 00:00:00 2001 From: Andrea Enrici <andrea.enrici@nokia.com> Date: Tue, 10 Jun 2014 07:08:26 +0000 Subject: [PATCH] added missing exception files for tmlcp compiler --- .../MultipleDiagDeclarationsException.java | 58 +++++++++++++++++++ .../MultipleInstanceDeclarationException.java | 58 +++++++++++++++++++ .../MultipleVariableDeclarationException.java | 58 +++++++++++++++++++ .../tmlcp/RecursionException.java | 58 +++++++++++++++++++ .../tmlcp/UndeclaredDiagramException.java | 58 +++++++++++++++++++ .../tmlcp/UndeclaredInstanceException.java | 58 +++++++++++++++++++ .../tmlcp/UndeclaredVariableException.java | 58 +++++++++++++++++++ .../tmlcp/UndefinedDiagramException.java | 58 +++++++++++++++++++ .../tmlcp/UndefinedVariableException.java | 58 +++++++++++++++++++ .../tmlcp/UninitializedVariableException.java | 58 +++++++++++++++++++ 10 files changed, 580 insertions(+) create mode 100644 src/tmltranslator/tmlcp/MultipleDiagDeclarationsException.java create mode 100644 src/tmltranslator/tmlcp/MultipleInstanceDeclarationException.java create mode 100644 src/tmltranslator/tmlcp/MultipleVariableDeclarationException.java create mode 100644 src/tmltranslator/tmlcp/RecursionException.java create mode 100644 src/tmltranslator/tmlcp/UndeclaredDiagramException.java create mode 100644 src/tmltranslator/tmlcp/UndeclaredInstanceException.java create mode 100644 src/tmltranslator/tmlcp/UndeclaredVariableException.java create mode 100644 src/tmltranslator/tmlcp/UndefinedDiagramException.java create mode 100644 src/tmltranslator/tmlcp/UndefinedVariableException.java create mode 100644 src/tmltranslator/tmlcp/UninitializedVariableException.java diff --git a/src/tmltranslator/tmlcp/MultipleDiagDeclarationsException.java b/src/tmltranslator/tmlcp/MultipleDiagDeclarationsException.java new file mode 100644 index 0000000000..cb368d7276 --- /dev/null +++ b/src/tmltranslator/tmlcp/MultipleDiagDeclarationsException.java @@ -0,0 +1,58 @@ +/**Copyright or (C) or Copr. GET / ENST, Telecom-Paris, Andrea Enrici + +andrea.enrici 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 MultipleDiagDeclarationsException + * Creation: 21/05/2014 + * @version 1.0 21/05/2014 + * @author Andrea ENRICI + * @see + */ + +package tmltranslator.tmlcp;; + +public class MultipleDiagDeclarationsException extends Exception +{ + + public MultipleDiagDeclarationsException() { + super( "TMLCP COMPILER ERROR: multiple declarations of diagrams" ); + } + + public MultipleDiagDeclarationsException( String message ) { + super( message ); + } +} diff --git a/src/tmltranslator/tmlcp/MultipleInstanceDeclarationException.java b/src/tmltranslator/tmlcp/MultipleInstanceDeclarationException.java new file mode 100644 index 0000000000..051e56b2f3 --- /dev/null +++ b/src/tmltranslator/tmlcp/MultipleInstanceDeclarationException.java @@ -0,0 +1,58 @@ +/**Copyright or (C) or Copr. GET / ENST, Telecom-Paris, Andrea Enrici + +andrea.enrici 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 MultipleInstanceDeclarationException + * Creation: 21/05/2014 + * @version 1.0 21/05/2014 + * @author Andrea ENRICI + * @see + */ + +package tmltranslator.tmlcp;; + +public class MultipleInstanceDeclarationException extends Exception +{ + + public MultipleInstanceDeclarationException() { + super( "TMLCP COMPILER ERROR: multiple declarations of instances" ); + } + + public MultipleInstanceDeclarationException( String message ) { + super( message ); + } +} diff --git a/src/tmltranslator/tmlcp/MultipleVariableDeclarationException.java b/src/tmltranslator/tmlcp/MultipleVariableDeclarationException.java new file mode 100644 index 0000000000..fd6010a386 --- /dev/null +++ b/src/tmltranslator/tmlcp/MultipleVariableDeclarationException.java @@ -0,0 +1,58 @@ +/**Copyright or (C) or Copr. GET / ENST, Telecom-Paris, Andrea Enrici + +andrea.enrici 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 MultipleVariableDeclarationException + * Creation: 21/05/2014 + * @version 1.0 21/05/2014 + * @author Andrea ENRICI + * @see + */ + +package tmltranslator.tmlcp;; + +public class MultipleVariableDeclarationException extends Exception +{ + + public MultipleVariableDeclarationException() { + super( "TMLCP COMPILER ERROR: multiple declarations of variables" ); + } + + public MultipleVariableDeclarationException( String message ) { + super( message ); + } +} diff --git a/src/tmltranslator/tmlcp/RecursionException.java b/src/tmltranslator/tmlcp/RecursionException.java new file mode 100644 index 0000000000..38da34b88e --- /dev/null +++ b/src/tmltranslator/tmlcp/RecursionException.java @@ -0,0 +1,58 @@ +/**Copyright or (C) or Copr. GET / ENST, Telecom-Paris, Andrea Enrici + +andrea.enrici 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 RecursionException + * Creation: 21/05/2014 + * @version 1.0 21/05/2014 + * @author Andrea ENRICI + * @see + */ + +package tmltranslator.tmlcp;; + +public class RecursionException extends Exception +{ + + public RecursionException() { + super( "TMLCP COMPILER ERROR: detected recursion of diagram" ); + } + + public RecursionException( String message ) { + super( message ); + } +} diff --git a/src/tmltranslator/tmlcp/UndeclaredDiagramException.java b/src/tmltranslator/tmlcp/UndeclaredDiagramException.java new file mode 100644 index 0000000000..90a9720257 --- /dev/null +++ b/src/tmltranslator/tmlcp/UndeclaredDiagramException.java @@ -0,0 +1,58 @@ +/**Copyright or (C) or Copr. GET / ENST, Telecom-Paris, Andrea Enrici + +andrea.enrici 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 UndeclaredDiagramException + * Creation: 22/05/2014 + * @version 1.0 22/05/2014 + * @author Andrea ENRICI + * @see + */ + +package tmltranslator.tmlcp;; + +public class UndeclaredDiagramException extends Exception +{ + + public UndeclaredDiagramException() { + super( "TMLCP COMPILER ERROR: undeclared diagram" ); + } + + public UndeclaredDiagramException( String message ) { + super( message ); + } +} diff --git a/src/tmltranslator/tmlcp/UndeclaredInstanceException.java b/src/tmltranslator/tmlcp/UndeclaredInstanceException.java new file mode 100644 index 0000000000..679e6a65c2 --- /dev/null +++ b/src/tmltranslator/tmlcp/UndeclaredInstanceException.java @@ -0,0 +1,58 @@ +/**Copyright or (C) or Copr. GET / ENST, Telecom-Paris, Andrea Enrici + +andrea.enrici 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 UndeclaredInstanceException + * Creation: 22/05/2014 + * @version 1.0 22/05/2014 + * @author Andrea ENRICI + * @see + */ + +package tmltranslator.tmlcp;; + +public class UndeclaredInstanceException extends Exception +{ + + public UndeclaredInstanceException() { + super( "TMLCP COMPILER ERROR: undeclared instance" ); + } + + public UndeclaredInstanceException( String message ) { + super( message ); + } +} diff --git a/src/tmltranslator/tmlcp/UndeclaredVariableException.java b/src/tmltranslator/tmlcp/UndeclaredVariableException.java new file mode 100644 index 0000000000..4badb7c4a6 --- /dev/null +++ b/src/tmltranslator/tmlcp/UndeclaredVariableException.java @@ -0,0 +1,58 @@ +/**Copyright or (C) or Copr. GET / ENST, Telecom-Paris, Andrea Enrici + +andrea.enrici 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 UndeclaredVariableException + * Creation: 22/05/2014 + * @version 1.0 22/05/2014 + * @author Andrea ENRICI + * @see + */ + +package tmltranslator.tmlcp;; + +public class UndeclaredVariableException extends Exception +{ + + public UndeclaredVariableException() { + super( "TMLCP COMPILER ERROR: undeclared variable" ); + } + + public UndeclaredVariableException( String message ) { + super( message ); + } +} diff --git a/src/tmltranslator/tmlcp/UndefinedDiagramException.java b/src/tmltranslator/tmlcp/UndefinedDiagramException.java new file mode 100644 index 0000000000..8c38dd0a84 --- /dev/null +++ b/src/tmltranslator/tmlcp/UndefinedDiagramException.java @@ -0,0 +1,58 @@ +/**Copyright or (C) or Copr. GET / ENST, Telecom-Paris, Andrea Enrici + +andrea.enrici 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 UndefinedDiagramException + * Creation: 22/05/2014 + * @version 1.0 22/05/2014 + * @author Andrea ENRICI + * @see + */ + +package tmltranslator.tmlcp;; + +public class UndefinedDiagramException extends Exception +{ + + public UndefinedDiagramException() { + super( "TMLCP COMPILER ERROR: undeclared diagram" ); + } + + public UndefinedDiagramException( String message ) { + super( message ); + } +} diff --git a/src/tmltranslator/tmlcp/UndefinedVariableException.java b/src/tmltranslator/tmlcp/UndefinedVariableException.java new file mode 100644 index 0000000000..bf852a9a4f --- /dev/null +++ b/src/tmltranslator/tmlcp/UndefinedVariableException.java @@ -0,0 +1,58 @@ +/**Copyright or (C) or Copr. GET / ENST, Telecom-Paris, Andrea Enrici + +andrea.enrici 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 UndefinedVariableException + * Creation: 22/05/2014 + * @version 1.0 22/05/2014 + * @author Andrea ENRICI + * @see + */ + +package tmltranslator.tmlcp;; + +public class UndefinedVariableException extends Exception +{ + + public UndefinedVariableException() { + super( "TMLCP COMPILER ERROR: undefined variable" ); + } + + public UndefinedVariableException( String message ) { + super( message ); + } +} diff --git a/src/tmltranslator/tmlcp/UninitializedVariableException.java b/src/tmltranslator/tmlcp/UninitializedVariableException.java new file mode 100644 index 0000000000..acea485cac --- /dev/null +++ b/src/tmltranslator/tmlcp/UninitializedVariableException.java @@ -0,0 +1,58 @@ +/**Copyright or (C) or Copr. GET / ENST, Telecom-Paris, Andrea Enrici + +andrea.enrici 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 UninitializedException + * Creation: 21/05/2014 + * @version 1.0 21/05/2014 + * @author Andrea ENRICI + * @see + */ + +package tmltranslator.tmlcp;; + +public class UninitializedVariableException extends Exception +{ + + public UninitializedVariableException() { + super( "TMLCP COMPILER ERROR: uninitialized variable" ); + } + + public UninitializedVariableException( String message ) { + super( message ); + } +} -- GitLab