backends.h 1.63 KB
Newer Older
Maxime Perrotin's avatar
Maxime Perrotin committed
1 2 3 4
/* Buildsupport is (c) 2008-2015 European Space Agency
 * contact: maxime.perrotin@esa.int
 * License is LGPL, check LICENSE file */
/* 
Maxime Perrotin's avatar
Maxime Perrotin committed
5 6
        Backends.h
        External declaration of the backend functions
Maxime Perrotin's avatar
Maxime Perrotin committed
7 8 9 10 11 12 13 14 15 16
*/

#include "my_types.h"

/* 
  Here: to add a new backend, just declare the prototype:
*/
extern void GW_SDL_Backend(FV *);
extern void GW_Simulink_Backend(FV *);
extern void GW_C_Backend(FV *);
Maxime Perrotin's avatar
Maxime Perrotin committed
17
extern void GW_VDM_Backend(FV *);
Maxime Perrotin's avatar
Maxime Perrotin committed
18
extern void GW_VHDL_Backend(FV *);
Maxime Perrotin's avatar
Maxime Perrotin committed
19 20 21 22
extern void GW_Ada_Backend(FV *);
extern void GW_SCADE_Backend(FV *);
extern void GW_RTDS_Backend(FV *);
extern void GW_Driver_Backend(FV *);
23
extern void GW_MicroPython_Backend(FV *);
Maxime Perrotin's avatar
Maxime Perrotin committed
24 25 26 27 28 29 30 31 32

extern void Create_dataview_uniq();
extern void Delete_dataview_uniq();
extern void Call_asn2dataModel(FV *);
extern void Process_Context_Parameters(FV *);
extern void Process_Directives(FV *);
extern void AADL_CV_Unparser();

extern void  Preprocessing_Backend(System *);
33
extern void  ModelTransformation_Backend(System *);
Maxime Perrotin's avatar
Maxime Perrotin committed
34 35 36 37 38 39 40 41 42
extern void  Semantic_Checks();
extern void  GLUE_OG_Backend(FV *);
extern void  GLUE_RTDS_Backend(FV *);
extern void  GLUE_MiniCV_Backend(FV *);
extern void  GLUE_C_Backend(FV *);
extern void  GLUE_GUI_Backend(FV *);
extern void  GLUE_Ada_Wrappers_Backend(FV *);
extern void  GLUE_C_Wrappers_Backend(FV *);
extern void  GLUE_VT_Backend(FV *);
43
extern void  GLUE_MicroPython_Backend(FV *);
Maxime Perrotin's avatar
Maxime Perrotin committed
44 45 46 47 48 49
extern void  Backdoor_backend(System *);
extern void  Generate_Build_Script();
extern void  Generate_Full_ConcurrencyView(Process_list *, char *);
extern void  Process_Driver_Configuration(Process *);
extern void  Generate_Python_AST(System *, char *);
extern void  System_Config(System *);