From 72becdf730fb3b5ae2502d1eb19b7c61f047728d Mon Sep 17 00:00:00 2001 From: David Monniaux Date: Wed, 15 May 2019 17:13:19 +0200 Subject: remet les trucs dans les bons répertoires MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- .../lustrev6-convertible/convertible_main.h | 287 +++++++++++++++++++++ 1 file changed, 287 insertions(+) create mode 100644 test/monniaux/lustrev6-convertible/convertible_main.h (limited to 'test/monniaux/lustrev6-convertible/convertible_main.h') diff --git a/test/monniaux/lustrev6-convertible/convertible_main.h b/test/monniaux/lustrev6-convertible/convertible_main.h new file mode 100644 index 00000000..6be30a78 --- /dev/null +++ b/test/monniaux/lustrev6-convertible/convertible_main.h @@ -0,0 +1,287 @@ +/* This file was generated by lus2lic version master.668 (35901e970a0c377cc36d6437dcbc61beb8001b54). */ +/* lus2lic -2c convertible.lus -n main */ +/* on ovaz the 27/10/2016 at 11:39:07 */ + +#include +#include + +#include "lustre_types.h" +#include "lustre_consts.h" + +#ifndef _convertible_main_H_FILE +#define _convertible_main_H_FILE +// Memoryless soc ctx typedef +// Memoryfull soc ctx typedef +/* Lustre_pre_ctx */ +typedef struct { + /*Memory cell*/ + convertible_hood_state _memory ; +} Lustre_pre_ctx_type; + +/* Lustre_arrow_ctx */ +typedef struct { + /*Memory cell*/ + _boolean _memory ; +} Lustre_arrow_ctx_type; + +/* Lustre_pre_2_ctx */ +typedef struct { + /*Memory cell*/ + convertible_hood_speed_state _memory ; +} Lustre_pre_2_ctx_type; + +/* Lustre_arrow_2_ctx */ +typedef struct { + /*Memory cell*/ + _boolean _memory ; +} Lustre_arrow_2_ctx_type; + +/* Lustre_pre_3_ctx */ +typedef struct { + /*Memory cell*/ + _real _memory ; +} Lustre_pre_3_ctx_type; + +/* Lustre_arrow_3_ctx */ +typedef struct { + /*Memory cell*/ + _boolean _memory ; +} Lustre_arrow_3_ctx_type; + +/* convertible_hood_speed_ctx */ +typedef struct { + /*INSTANCES*/ + Lustre_pre_2_ctx_type Lustre_pre_2_ctx_tab[1]; + Lustre_pre_3_ctx_type Lustre_pre_3_ctx_tab[2]; + Lustre_arrow_2_ctx_type Lustre_arrow_2_ctx_tab[1]; + Lustre_arrow_3_ctx_type Lustre_arrow_3_ctx_tab[2]; +} convertible_hood_speed_ctx_type; + +/* convertible_hood_ctx */ +typedef struct { + /*INSTANCES*/ + convertible_hood_speed_ctx_type convertible_hood_speed_ctx_tab[1]; + Lustre_pre_ctx_type Lustre_pre_ctx_tab[1]; + Lustre_arrow_ctx_type Lustre_arrow_ctx_tab[1]; +} convertible_hood_ctx_type; + +/* Lustre_arrow_4_ctx */ +typedef struct { + /*Memory cell*/ + _boolean _memory ; +} Lustre_arrow_4_ctx_type; + +/* Lustre_pre_4_ctx */ +typedef struct { + /*Memory cell*/ + _integer _memory ; +} Lustre_pre_4_ctx_type; + +/* Lustre_pre_5_ctx */ +typedef struct { + /*Memory cell*/ + _real _memory[50] ; +} Lustre_pre_5_ctx_type; + +/* Lustre_arrow_5_ctx */ +typedef struct { + /*Memory cell*/ + _boolean _memory ; +} Lustre_arrow_5_ctx_type; + +/* sum_50_0d0_ctx */ +typedef struct { + /*INSTANCES*/ + Lustre_pre_5_ctx_type Lustre_pre_5_ctx_tab[1]; + Lustre_pre_4_ctx_type Lustre_pre_4_ctx_tab[1]; + Lustre_arrow_5_ctx_type Lustre_arrow_5_ctx_tab[1]; + Lustre_arrow_4_ctx_type Lustre_arrow_4_ctx_tab[1]; +} sum_50_0d0_ctx_type; + +/* sum_50_0d1_ctx */ +typedef struct { + /*INSTANCES*/ + Lustre_pre_5_ctx_type Lustre_pre_5_ctx_tab[1]; + Lustre_pre_4_ctx_type Lustre_pre_4_ctx_tab[1]; + Lustre_arrow_5_ctx_type Lustre_arrow_5_ctx_tab[1]; + Lustre_arrow_4_ctx_type Lustre_arrow_4_ctx_tab[1]; +} sum_50_0d1_ctx_type; + +/* convertible_speed_kmh_ctx */ +typedef struct { + /*INSTANCES*/ + sum_50_0d1_ctx_type sum_50_0d1_ctx_tab[1]; + sum_50_0d0_ctx_type sum_50_0d0_ctx_tab[1]; + Lustre_pre_3_ctx_type Lustre_pre_3_ctx_tab[3]; + Lustre_arrow_3_ctx_type Lustre_arrow_3_ctx_tab[3]; +} convertible_speed_kmh_ctx_type; + +/* Lustre_pre_6_ctx */ +typedef struct { + /*Memory cell*/ + convertible_vehicle_state _memory ; +} Lustre_pre_6_ctx_type; + +/* Lustre_arrow_6_ctx */ +typedef struct { + /*Memory cell*/ + _boolean _memory ; +} Lustre_arrow_6_ctx_type; + +/* convertible_vehicle_ctx */ +typedef struct { + /*INSTANCES*/ + Lustre_pre_6_ctx_type Lustre_pre_6_ctx_tab[1]; + Lustre_arrow_6_ctx_type Lustre_arrow_6_ctx_tab[1]; +} convertible_vehicle_ctx_type; + +/* convertible_may_collide_ctx */ +typedef struct { + /*INSTANCES*/ + Lustre_pre_3_ctx_type Lustre_pre_3_ctx_tab[1]; + Lustre_arrow_3_ctx_type Lustre_arrow_3_ctx_tab[1]; +} convertible_may_collide_ctx_type; + +/* convertible_main_ctx */ +typedef struct { + /*INSTANCES*/ + convertible_vehicle_ctx_type convertible_vehicle_ctx_tab[1]; + convertible_speed_kmh_ctx_type convertible_speed_kmh_ctx_tab[1]; + convertible_may_collide_ctx_type convertible_may_collide_ctx_tab[1]; + convertible_hood_ctx_type convertible_hood_ctx_tab[1]; +} convertible_main_ctx_type; + +void Lustre_arrow_4_ctx_reset(Lustre_arrow_4_ctx_type* ctx); +Lustre_arrow_4_ctx_type* Lustre_arrow_4_ctx_new_ctx(); +void Lustre_arrow_4_step(_integer ,_integer ,_integer *,Lustre_arrow_4_ctx_type*); + +void Lustre_arrow_3_ctx_reset(Lustre_arrow_3_ctx_type* ctx); +Lustre_arrow_3_ctx_type* Lustre_arrow_3_ctx_new_ctx(); +void Lustre_arrow_3_step(_real ,_real ,_real *,Lustre_arrow_3_ctx_type*); + +void Lustre_arrow_2_ctx_reset(Lustre_arrow_2_ctx_type* ctx); +Lustre_arrow_2_ctx_type* Lustre_arrow_2_ctx_new_ctx(); +void Lustre_arrow_2_step(convertible_hood_speed_state ,convertible_hood_speed_state ,convertible_hood_speed_state *,Lustre_arrow_2_ctx_type*); + +void Lustre_arrow_ctx_reset(Lustre_arrow_ctx_type* ctx); +Lustre_arrow_ctx_type* Lustre_arrow_ctx_new_ctx(); +void Lustre_arrow_step(convertible_hood_state ,convertible_hood_state ,convertible_hood_state *,Lustre_arrow_ctx_type*); + +void Lustre_arrow_6_ctx_reset(Lustre_arrow_6_ctx_type* ctx); +Lustre_arrow_6_ctx_type* Lustre_arrow_6_ctx_new_ctx(); +void Lustre_arrow_6_step(convertible_vehicle_state ,convertible_vehicle_state ,convertible_vehicle_state *,Lustre_arrow_6_ctx_type*); + +void Lustre_arrow_5_ctx_reset(Lustre_arrow_5_ctx_type* ctx); +Lustre_arrow_5_ctx_type* Lustre_arrow_5_ctx_new_ctx(); +void Lustre_arrow_5_step(_real [50],_real [50],_real [50]/*out*/,Lustre_arrow_5_ctx_type*); + +void Lustre_eq_step(_integer ,_integer ,_boolean *); + +void Lustre_eq_2_step(_real ,_real ,_boolean *); + +void Lustre_eq_3_step(convertible_hood_state ,convertible_hood_state ,_boolean *); + +void Lustre_hat_step(_real ,_real [50]/*out*/); + +void Lustre_pre_4_ctx_reset(Lustre_pre_4_ctx_type* ctx); +Lustre_pre_4_ctx_type* Lustre_pre_4_ctx_new_ctx(); +void Lustre_pre_4_get(_integer *,Lustre_pre_4_ctx_type*); + +void Lustre_pre_4_set(_integer ,Lustre_pre_4_ctx_type*); + +void Lustre_pre_3_ctx_reset(Lustre_pre_3_ctx_type* ctx); +Lustre_pre_3_ctx_type* Lustre_pre_3_ctx_new_ctx(); +void Lustre_pre_3_get(_real *,Lustre_pre_3_ctx_type*); + +void Lustre_pre_3_set(_real ,Lustre_pre_3_ctx_type*); + +void Lustre_pre_2_ctx_reset(Lustre_pre_2_ctx_type* ctx); +Lustre_pre_2_ctx_type* Lustre_pre_2_ctx_new_ctx(); +void Lustre_pre_2_get(convertible_hood_speed_state *,Lustre_pre_2_ctx_type*); + +void Lustre_pre_2_set(convertible_hood_speed_state ,Lustre_pre_2_ctx_type*); + +void Lustre_pre_ctx_reset(Lustre_pre_ctx_type* ctx); +Lustre_pre_ctx_type* Lustre_pre_ctx_new_ctx(); +void Lustre_pre_get(convertible_hood_state *,Lustre_pre_ctx_type*); + +void Lustre_pre_set(convertible_hood_state ,Lustre_pre_ctx_type*); + +void Lustre_pre_6_ctx_reset(Lustre_pre_6_ctx_type* ctx); +Lustre_pre_6_ctx_type* Lustre_pre_6_ctx_new_ctx(); +void Lustre_pre_6_get(convertible_vehicle_state *,Lustre_pre_6_ctx_type*); + +void Lustre_pre_6_set(convertible_vehicle_state ,Lustre_pre_6_ctx_type*); + +void Lustre_pre_5_ctx_reset(Lustre_pre_5_ctx_type* ctx); +Lustre_pre_5_ctx_type* Lustre_pre_5_ctx_new_ctx(); +void Lustre_pre_5_get(_real [50]/*out*/,Lustre_pre_5_ctx_type*); + +void Lustre_pre_5_set(_real [50],Lustre_pre_5_ctx_type*); + +void Lustre_slash_step(_real ,_real ,_real *); + +void assign_50_step(_real ,_integer ,_real [50],_real [50]/*out*/); + +void convertible_abs_step(_real ,_real *); + +void convertible_braking_time_step(_real ,_real *); + +void convertible_hood_ctx_reset(convertible_hood_ctx_type* ctx); +convertible_hood_ctx_type* convertible_hood_ctx_new_ctx(); +void convertible_hood_step(_boolean ,_boolean ,_boolean ,_boolean ,_boolean *,_real *,convertible_hood_ctx_type*); + +void convertible_hood_speed_ctx_reset(convertible_hood_speed_ctx_type* ctx); +convertible_hood_speed_ctx_type* convertible_hood_speed_ctx_new_ctx(); +void convertible_hood_speed_step(_boolean ,_real *,convertible_hood_speed_ctx_type*); + +void convertible_main_ctx_reset(convertible_main_ctx_type* ctx); +convertible_main_ctx_type* convertible_main_ctx_new_ctx(); +void convertible_main_step(_boolean ,_boolean ,_boolean ,_boolean ,_boolean ,_boolean ,_real ,_boolean *,_boolean *,_real *,_real *,convertible_main_ctx_type*); + +void convertible_maxr_step(_real ,_real ,_real *); + +void convertible_may_collide_ctx_reset(convertible_may_collide_ctx_type* ctx); +convertible_may_collide_ctx_type* convertible_may_collide_ctx_new_ctx(); +void convertible_may_collide_step(_real ,_real ,_boolean *,convertible_may_collide_ctx_type*); + +void convertible_ms_to_kmh_step(_real ,_real *); + +void convertible_solve_eq_d2_step(_real ,_real ,_real ,_real *); + +void convertible_speed_kmh_ctx_reset(convertible_speed_kmh_ctx_type* ctx); +convertible_speed_kmh_ctx_type* convertible_speed_kmh_ctx_new_ctx(); +void convertible_speed_kmh_step(_boolean ,_boolean ,_real *,convertible_speed_kmh_ctx_type*); + +void convertible_sqrt_step(_real ,_real *); + +void convertible_vehicle_ctx_reset(convertible_vehicle_ctx_type* ctx); +convertible_vehicle_ctx_type* convertible_vehicle_ctx_new_ctx(); +void convertible_vehicle_step(_boolean ,_boolean ,_real ,_real ,convertible_vehicle_state *,convertible_vehicle_ctx_type*); + +void fillred_update_cell_do_50_step(convertible_update_acc ,_real [50],convertible_update_acc *,_real [50]/*out*/); + +void red_rplus_50_real_step(_real ,_real [50],_real *); + +void squareR_1_step(_real ,_real ,_real *); + +void squareR_2_step(_real ,_real ,_real *); + +void squareR_3_step(_real ,_real ,_real *); + +void squareR_4_step(_real ,_real ,_real *); + +void squareR_5_step(_real ,_real ,_real *); + +void sum_50_0d0_ctx_reset(sum_50_0d0_ctx_type* ctx); +sum_50_0d0_ctx_type* sum_50_0d0_ctx_new_ctx(); +void sum_50_0d0_step(_real ,_real *,sum_50_0d0_ctx_type*); + +void sum_50_0d1_ctx_reset(sum_50_0d1_ctx_type* ctx); +sum_50_0d1_ctx_type* sum_50_0d1_ctx_new_ctx(); +void sum_50_0d1_step(_real ,_real *,sum_50_0d1_ctx_type*); + +void update_cell_do_50_step(convertible_update_acc ,_real ,convertible_update_acc *,_real *); + +///////////////////////////////////////////////// +#endif -- cgit