Commit b9fd4328 authored by Maxime Perrotin's avatar Maxime Perrotin
Browse files

Add new backend to work on model optimization

parent 4bd02e39
Pipeline #406 skipped
/* Buildsupport is (c) 2008-2016 European Space Agency
* contact:
* License is LGPL, check LICENSE file */
/* model_transformation.c
Group all the sporadic messages between two functions into a single
"Telecommand" with a CHOICE parameter.
Create the CHOICE datatype in ASN.1 and generate the code that
mux/demux the message.
This is done to limit the number of generated threads in a system.
#include <stdio.h>
#include <string.h>
#include <stdlib.h>
#include <sys/stat.h>
#include <assert.h>
#include <stdbool.h>
#include "my_types.h"
#include "practical_functions.h"
#include "c_ast_construction.h"
/* External interface */
void ModelTransformation_Backend (System *s)
(void) s;
// FOREACH (node, Process, s->processes, {
// });
......@@ -27,6 +27,7 @@ extern void Process_Directives(FV *);
extern void AADL_CV_Unparser();
extern void Preprocessing_Backend(System *);
extern void ModelTransformation_Backend(System *);
extern void Semantic_Checks();
extern void GLUE_OG_Backend(FV *);
extern void GLUE_RTDS_Backend(FV *);
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment