diff --git a/src/tmltranslator/tmlcp/MultipleDiagDeclarationsException.java b/src/tmltranslator/tmlcp/MultipleDiagDeclarationsException.java new file mode 100644 index 0000000000000000000000000000000000000000..cb368d7276b9b2da9aefae6c7c862ef3330aae88 --- /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 0000000000000000000000000000000000000000..051e56b2f386c95a236f71a32396b724511890f3 --- /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 0000000000000000000000000000000000000000..fd6010a386a5ae3612b3235a60b2c4ec447c8bd4 --- /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 0000000000000000000000000000000000000000..38da34b88edef19c13b1ddf4c068a099d74160b5 --- /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 0000000000000000000000000000000000000000..90a9720257be01ed301e6d0f3a4aafe1f274f018 --- /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 0000000000000000000000000000000000000000..679e6a65c22ed700847d48b488be2b6611354af9 --- /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 0000000000000000000000000000000000000000..4badb7c4a6d6689804f36c4fdeca75a4948e3cfe --- /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 0000000000000000000000000000000000000000..8c38dd0a84172863c889a72304e1a03d712ed9f4 --- /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 0000000000000000000000000000000000000000..bf852a9a4f3328177ef93111866297a0b55c5b65 --- /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 0000000000000000000000000000000000000000..acea485cacc41e8482afb587244bdb8fa67d9ef4 --- /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 ); + } +}