diff --git a/src/Ctranslator/CwaMEC.java b/src/Ctranslator/CwaMEC.java new file mode 100644 index 0000000000000000000000000000000000000000..465d254d2e7925c14450ed74cd5c87eef7bc79db --- /dev/null +++ b/src/Ctranslator/CwaMEC.java @@ -0,0 +1,115 @@ +/**Copyright or (C) or Copr. GET / ENST, Telecom-Paris, Ludovic Apvrille, Andrea Enrici + + ludovic.apvrille AT enst.fr + andrea.enrici AT enstr.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 CwaMEC, Model Extension Construct (MEC) class for Embb operation Component Wise Addition + * Creation: 05/02/2014 + * @version 1.0 05/02/2014 + * @author Andrea ENRICI + * @see + */ + +//package Ctranslator; + +import java.util.*; +//import Ctranslator.*; + +public class CwaMEC extends TaskMEC { + + private String CR = "\n"; + + public CwaMEC() { + + node_type = "FEP"; + inst_type = "CWA"; + inst_decl = "FEP_CONTEXT"; + buff_type = "FEP_BUFF_TYPE"; + buff_init = "= {/*l,b,q,t*/};"; + exec_code = "/*firm instruction*/" + CR + + " fep_set_l(&$XOP$, ((FEP_BUFF_TYPE*)sig[$ID0$].pBuff)->l);" + CR + + " fep_set_qx(&$XOP$,((FEP_BUFF_TYPE*)sig[$ID0$].pBuff)->q);" + CR + + " fep_set_bx(&$XOP$,sig[$ID0$].roff + ((FEP_BUFF_TYPE*)sig[$ID0$].pBuff)->b);" + CR + + " fep_set_tx(&$XOP$,((FEP_BUFF_TYPE*)sig[$ID0$].pBuff)->t);" + CR + + " fep_set_qy(&$XOP$,((FEP_BUFF_TYPE*)sig[$ID1$].pBuff)->q);" + CR + + " fep_set_by(&$XOP$,sig[$ID1$].roff + ((FEP_BUFF_TYPE*)sig[$ID1$].pBuff)->b);" + CR + + " fep_set_ty(&$XOP$,((FEP_BUFF_TYPE*)sig[$ID1$].pBuff)->t);" + CR + + " fep_set_qz(&$XOP$,((FEP_BUFF_TYPE*)sig[$OD0$].pBuff)->q);" + CR + + " fep_set_bz(&$XOP$,sig[$OD0$].woff + ((FEP_BUFF_TYPE*)sig[$OD0$].pBuff)->b);" + CR + + " fep_set_tz(&$XOP$,((FEP_BUFF_TYPE*)sig[$OD0$].pBuff)->t);" + CR + + "/*start execution*/" + CR + + "fep_start(&$XOP$);" + CR; + + init_code ="/***** INIT $XOP$ *******/" + CR + + "void init_$XOP$(void){" + CR + + " fep_ctx_init(&$XOP$,0);" + CR + + " // initialize context" + CR + + " fep_set_op(&$XOP$,FEP_OP_CWA );" + CR + + " fep_set_l(&$XOP$,((FEP_BUFF_TYPE*)sig[$OD0$].pBuff)->l);" + CR + + " fep_set_wx(&$XOP$,/*USER TODO*/);" + CR + + " fep_set_sx(&$XOP$,/*USER TODO*/);" + CR + + " fep_set_nx(&$XOP$,/*USER TODO*/);" + CR + + " fep_set_mx(&$XOP$,/*USER TODO*/);" + CR + + " fep_set_px(&$XOP$,/*USER TODO*/);" + CR + + " fep_set_dx(&$XOP$,/*USER TODO*/);" + CR + + " fep_set_vrx(&$XOP$,/*USER TODO*/);" + CR + + " fep_set_vix(&$XOP$,/*USER TODO*/);" + CR + + " fep_set_wy(&$XOP$,/*USER TODO*/);" + CR + + " fep_set_sy(&$XOP$,/*USER TODO*/);" + CR + + " fep_set_ny(&$XOP$,/*USER TODO*/);" + CR + + " fep_set_my(&$XOP$,/*USER TODO*/);" + CR + + " fep_set_py(&$XOP$,/*USER TODO*/);" + CR + + " fep_set_dy(&$XOP$,/*USER TODO*/);" + CR + + " fep_set_vry(&$XOP$,/*USER TODO*/);" + CR + + " fep_set_viy(&$XOP$,/*USER TODO*/);" + CR + + " fep_set_qz(&$XOP$,((FEP_BUFF_TYPE*)sig[$OD0$].pBuff)->q);" + CR + + " fep_set_bz(&$XOP$,((FEP_BUFF_TYPE*)sig[$OD0$].pBuff)->b);" + CR + + " fep_set_tz(&$XOP$,((FEP_BUFF_TYPE*)sig[$OD0$].pBuff)->t);" + CR + + " fep_set_wz(&$XOP$,/*USER TODO*/);" + CR + + " fep_set_ri(&$XOP$,/*USER TODO*/);" + CR + + " fep_set_sz(&$XOP$,/*USER TODO*/);" + CR + + " fep_set_nz(&$XOP$,/*USER TODO*/);" + CR + + " fep_set_mz(&$XOP$,/*USER TODO*/);" + CR + + " fep_set_sma(&$XOP$,1);" + CR + + "}" + CR; + cleanup_code = "fep_ctx_cleanup(&$XOP$);"; + } + + public String toString() { + return node_type + CR + inst_decl + CR + inst_type + CR + buff_type + CR + buff_init + CR + exec_code + init_code + cleanup_code; + } +} //End of class diff --git a/src/Ctranslator/CwmMEC.java b/src/Ctranslator/CwmMEC.java new file mode 100755 index 0000000000000000000000000000000000000000..7ca62c41bb5a4cd547748e54bf5136f6d0ace97a --- /dev/null +++ b/src/Ctranslator/CwmMEC.java @@ -0,0 +1,105 @@ +/**Copyright or (C) or Copr. GET / ENST, Telecom-Paris, Ludovic Apvrille, Andrea Enrici + + ludovic.apvrille AT enst.fr + andrea.enrici AT enstr.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 CwmMEC, Model Extension Construct (MEC) class for Embb Component Wise Multiplication operation + * Creation: 05/02/2014 + * @version 1.0 05/02/2014 + * @author Andrea ENRICI + * @see + */ + +//package Ctranslator; + +import java.util.*; +//import Ctranslator.*; + +public class CwmMEC extends TaskMEC { + + private String CR = "\n"; + + public CwmMEC() { + + node_type = "FEP"; + inst_type = "CWM"; + inst_decl = "FEP_CONTEXT"; + buff_type = "FEP_BUFF_TYPE"; + buff_init = "= {/*l,b,q,t*/};"; + exec_code = "/*firm instruction*/" + CR + + " fep_set_l(&$XOP$, ((FEP_BUFF_TYPE*)sig[$ID0$].pBuff)->l);" + CR + + " fep_set_qx(&$XOP$,((FEP_BUFF_TYPE*)sig[$ID0$].pBuff)->q);" + CR + + " fep_set_bx(&$XOP$,sig[$ID0$].roff + ((FEP_BUFF_TYPE*)sig[$ID0$].pBuff)->b);" + CR + + " fep_set_tx(&$XOP$,((FEP_BUFF_TYPE*)sig[$ID0$].pBuff)->t);" + CR + + " fep_set_qz(&$XOP$,((FEP_BUFF_TYPE*)sig[$OD0$].pBuff)->q);" + CR + + " fep_set_bz(&$XOP$,sig[$OD0$].woff + ((FEP_BUFF_TYPE*)sig[$OD0$].pBuff)->b);" + CR + + " fep_set_tz(&$XOP$,((FEP_BUFF_TYPE*)sig[$OD0$].pBuff)->t);" + CR + + "/*start execution*/" + CR + + "fep_start(&$XOP$);" + CR; + + init_code ="/***** INIT $XOP$ *******/" + CR + + "void init_$XOP$(void){" + CR + + " fep_ctx_init(&$XOP$,0);" + CR + + " // initialize context" + CR + + " fep_set_op(&$XOP$,FEP_OP_CWM );" + CR + + " fep_set_r(&$XOP$,/*USER TODO*/);" + CR + + " fep_set_l(&$XOP$,((FEP_BUFF_TYPE*)sig[$OD0$].pBuff)->l);" + CR + + " fep_set_wx(&$XOP$,/*USER TODO*/);" + CR + + " fep_set_sx(&$XOP$,/*USER TODO*/);" + CR + + " fep_set_nx(&$XOP$,/*USER TODO*/);" + CR + + " fep_set_mx(&$XOP$,/*USER TODO*/);" + CR + + " fep_set_px(&$XOP$,/*USER TODO*/);" + CR + + " fep_set_dx(&$XOP$,/*USER TODO*/);" + CR + + " fep_set_vrx(&$XOP$,/*USER TODO*/);" + CR + + " fep_set_vix(&$XOP$,/*USER TODO*/);" + CR + + " fep_set_qz(&$XOP$,((FEP_BUFF_TYPE*)sig[$OD0$].pBuff)->q);" + CR + + " fep_set_bz(&$XOP$,((FEP_BUFF_TYPE*)sig[$OD0$].pBuff)->b);" + CR + + " fep_set_tz(&$XOP$,((FEP_BUFF_TYPE*)sig[$OD0$].pBuff)->t);" + CR + + " fep_set_wz(&$XOP$,/*USER TODO*/);" + CR + + " fep_set_ri(&$XOP$,/*USER TODO*/);" + CR + + " fep_set_sz(&$XOP$,/*USER TODO*/);" + CR + + " fep_set_nz(&$XOP$,/*USER TODO*/);" + CR + + " fep_set_mz(&$XOP$,/*USER TODO*/);" + CR + + " fep_set_sma(&$XOP$,1);" + CR + + "}" + CR; + cleanup_code = "fep_ctx_cleanup(&$XOP$);"; + } + + public String toString() { + return node_type + CR + inst_decl + CR + inst_type + CR + buff_type + CR + buff_init + CR + exec_code + init_code + cleanup_code; + } +} //End of class diff --git a/src/Ctranslator/DmaMEC.java b/src/Ctranslator/DmaMEC.java new file mode 100755 index 0000000000000000000000000000000000000000..932707f44f9afa85633be735091378f7937da38b --- /dev/null +++ b/src/Ctranslator/DmaMEC.java @@ -0,0 +1,68 @@ +/**Copyright or (C) or Copr. GET / ENST, Telecom-Paris, Ludovic Apvrille, Andrea Enrici + + ludovic.apvrille AT enst.fr + andrea.enrici AT enstr.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 EmbbDmaMEC, Model Extension Construct (MEC) class for Embb's dma + * Creation: 05/02/2014 + * @version 1.0 05/02/2014 + * @author Andrea ENRICI + * @see + */ + +package tmltranslator.tmlcp;; + +import java.util.*; +import tmltranslator.*; +import myutil.*; +//import compiler.tmlCPparser.myexceptions.*; + +public class EmbbDmaMEC { + + private String context = "struct embb_dma_context_s ctx_"; + private String dmaStart = "embb_dma_start("; + private String dmaWait = "embb_dma_wait("; + private String dmaCtxInit = "embb_dma_ctx_init("; + private TMLCP tmlcp; + + /* The tmlcp CP of a DMA transfer */ + public DmaMEC( TMLCP _tmlcp ) { + tmlcp = _tmlcp; + } + + +} //End of class diff --git a/src/Ctranslator/FftMEC.java b/src/Ctranslator/FftMEC.java new file mode 100644 index 0000000000000000000000000000000000000000..0a52034174cc73dc69abc8ef5f4939bb3eb69da5 --- /dev/null +++ b/src/Ctranslator/FftMEC.java @@ -0,0 +1,91 @@ +/**Copyright or (C) or Copr. GET / ENST, Telecom-Paris, Ludovic Apvrille, Andrea Enrici + + ludovic.apvrille AT enst.fr + andrea.enrici AT enstr.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 FftMEC, Model Extension Construct (MEC) class for Embb operation Fast Fourier Transform + * Creation: 05/02/2014 + * @version 1.0 05/02/2014 + * @author Andrea ENRICI + * @see + */ + +//package Ctranslator; + +import java.util.*; +//import Ctranslator.*; + +public class FftMEC extends TaskMEC { + + private String CR = "\n"; + + public FftMEC() { + node_type = "FEP"; + inst_type = "FFT"; + inst_decl = "FEP_CONTEXT"; + buff_type = "FEP_BUFF_TYPE"; + buff_init = "= {/*l,b,q,t*/};"; + exec_code = "/*firm instruction*/" + CR + + " fep_set_l(&$XOP$, ((FEP_BUFF_TYPE*)sig[$ID0$].pBuff)->l);" + CR + + " fep_set_qx(&$XOP$,((FEP_BUFF_TYPE*)sig[$ID0$].pBuff)->q);" + CR + + " fep_set_bx(&$XOP$, sig[$ID0$].roff + ((FEP_BUFF_TYPE*)sig[$ID0$].pBuff)->b);" + CR + + " fep_set_qz(&$XOP$,((FEP_BUFF_TYPE*)sig[$OD0$].pBuff)->q);" + CR + + " fep_set_bz(&$XOP$, sig[$OD0$].woff + ((FEP_BUFF_TYPE*)sig[$OD0$].pBuff)->b);" + CR + + "/*start execution*/" + CR + + "fep_start(&$XOP$);" + CR; + + init_code ="/***** INIT $XOP$ *******/" + CR + + "void init_$XOP$(void){" + CR + + " fep_ctx_init(&$XOP$,0);" + CR + + " // initialize context" + CR + + " fep_set_op(&$XOP$,FEP_OP_FT );" + CR + + " fep_set_l(&$XOP$,((FEP_BUFF_TYPE*)sig[$OD0$].pBuff)->l);" + CR + + " fep_set_i(&$XOP$,0);" + CR + + " fep_set_r(&$XOP$,/*USER TODO*/);" + CR + + " fep_set_wx(&$XOP$,/*USER TODO*/);" + CR + + " fep_set_qz(&$XOP$,((FEP_BUFF_TYPE*)sig[$OD0$].pBuff)->q);" + CR + + " fep_set_bz(&$XOP$,((FEP_BUFF_TYPE*)sig[$OD0$].pBuff)->b);" + CR + + " fep_set_wz(&$XOP$,/*USER TODO*/);" + CR + + "}" + CR; + cleanup_code = "fep_ctx_cleanup(&$XOP$);"; + } + + public String toString() { + return node_type + CR + inst_decl + CR + inst_type + CR + buff_type + CR + buff_init + CR + exec_code + init_code + cleanup_code; + } + +} //End of class diff --git a/src/Ctranslator/SumMEC.java b/src/Ctranslator/SumMEC.java new file mode 100644 index 0000000000000000000000000000000000000000..b09957987c07fbe366ce3997f2d75d928d2b3b12 --- /dev/null +++ b/src/Ctranslator/SumMEC.java @@ -0,0 +1,96 @@ +/**Copyright or (C) or Copr. GET / ENST, Telecom-Paris, Ludovic Apvrille, Andrea Enrici + + ludovic.apvrille AT enst.fr + andrea.enrici AT enstr.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 SumMEC, Model Extension Construct (MEC) class for Embb operation Sum + * Creation: 05/02/2014 + * @version 1.0 05/02/2014 + * @author Andrea ENRICI + * @see + */ + +//package Ctranslator; + +import java.util.*; +//import Ctranslator.*; + +public class SumMEC extends TaskMEC { + + private String CR = "\n"; + + public SumMEC() { + node_type = "FEP";/* */ + inst_type = "SUM"; + inst_decl = "FEP_CONTEXT"; + buff_type = "FEP_BUFF_TYPE"; + buff_init = "= {/*l,b,q,t*/};"; + exec_code = "/*firm instruction*/" + CR + + " fep_set_qx(&$XOP$,((FEP_BUFF_TYPE*)sig[$ID0$].pBuff)->q);" + CR + + "/*start execution*/" + CR + + "fep_start(&$XOP$);" + CR; + + init_code ="/***** INIT $XOP$ *******/" + CR + + "void init_$XOP$(void){" + CR + + " fep_ctx_init(&$XOP$,0);" + CR + + " // initialize context" + CR + + " fep_set_op(&$XOP$,FEP_OP_MOV);" + CR + + " fep_set_r(&$XOP$, /*USER TODO*/);" + CR + + " fep_set_l(&$XOP$,/*USER TODO*/);" + CR + + " fep_set_bx(&$XOP$,/*USER TODO*/);" + CR + + " fep_set_qx(&$XOP$,/*USER TODO*/);" + CR + + " fep_set_wx(&$XOP$,/*USER TODO*/);" + CR + + " fep_set_tx(&$XOP$,/*USER TODO*/);" + CR + + " fep_set_sx(&$XOP$,/*USER TODO*/);" + CR + + " fep_set_nx(&$XOP$,/*USER TODO*/);" + CR + + " fep_set_mx(&$XOP$,/*USER TODO*/);" + CR + + " fep_set_px(&$XOP$,/*USER TODO*/);" + CR + + " fep_set_dx(&$XOP$,/*USER TODO*/);" + CR + + " fep_set_vrx(&$XOP$,/*USER TODO*/);" + CR + + " fep_set_vix(&$XOP$,/*USER TODO*/);" + CR + + " fep_set_sma(&$XOP$,2);" + CR + + " fep_set_qs(&$XOP$,((FEP_BUFF_TYPE*)sig[$OD0$].pBuff)->q);" + CR + + " fep_set_bs(&$XOP$,((FEP_BUFF_TYPE*)sig[$OD0$].pBuff)->b);" + CR + + "}" + CR; + cleanup_code = "fep_ctx_cleanup(&$XOP$);"; + } + + public String toString() { + return node_type + CR + inst_decl + CR + inst_type + CR + buff_type + CR + buff_init + CR + exec_code + init_code + cleanup_code; + } + +} //End of class diff --git a/src/Ctranslator/TaskMEC.java b/src/Ctranslator/TaskMEC.java new file mode 100755 index 0000000000000000000000000000000000000000..c1577880b740fea42f4e6aeb2184e9c734438d51 --- /dev/null +++ b/src/Ctranslator/TaskMEC.java @@ -0,0 +1,67 @@ +/**Copyright or (C) or Copr. GET / ENST, Telecom-Paris, Ludovic Apvrille, Andrea Enrici + + ludovic.apvrille AT enst.fr + andrea.enrici AT enstr.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 TaskMEC, Model Extension Construct (MEC) class for tasks + * Creation: 05/02/2014 + * @version 1.0 05/02/2014 + * @author Andrea ENRICI + * @see + */ + +//package Ctranslator; + +import java.util.*; +//import Ctranslator.*; + +public abstract class TaskMEC { + + public String node_type = new String(); + public String inst_type = new String(); + public String inst_decl = new String(); + public String buff_type = new String(); + public String buff_init = new String(); + public String init_code = new String(); + public String exec_code = new String(); + public String cleanup_code = new String(); + + public TaskMEC() { + node_type = "1"; + } + +} //End of class