You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
cbmc/specgen/testfiles/WindModeltestfinal.h

262 lines
11 KiB

/*
* WindModeltestfinal.h
*
* Code generation for model "WindModeltestfinal".
*
* Model version : 1.86
* Simulink Coder version : 9.4 (R2020b) 29-Jul-2020
* C source code generated on : Wed Apr 9 14:29:01 2025
*
* Target selection: grt.tlc
* Note: GRT includes extra infrastructure and instrumentation for prototyping
* Embedded hardware selection: Intel->x86-64 (Windows64)
* Code generation objectives: Unspecified
* Validation result: Not run
*/
#ifndef RTW_HEADER_WindModeltestfinal_h_
#define RTW_HEADER_WindModeltestfinal_h_
#include <math.h>
#include <string.h>
#include <float.h>
#include <stddef.h>
#ifndef WindModeltestfinal_COMMON_INCLUDES_
#define WindModeltestfinal_COMMON_INCLUDES_
#include "rtwtypes.h"
#endif /* WindModeltestfinal_COMMON_INCLUDES_ */
#include "WindModeltestfinal_types.h"
/* Shared type includes */
#include "multiword_types.h"
#include "rt_nonfinite.h"
/* Macros for accessing real-time model data structure */
#ifndef rtmGetFinalTime
#define rtmGetFinalTime(rtm) ((rtm)->Timing.tFinal)
#endif
#ifndef rtmGetRTWLogInfo
#define rtmGetRTWLogInfo(rtm) ((rtm)->rtwLogInfo)
#endif
#ifndef rtmGetErrorStatus
#define rtmGetErrorStatus(rtm) ((rtm)->errorStatus)
#endif
#ifndef rtmSetErrorStatus
#define rtmSetErrorStatus(rtm, val) ((rtm)->errorStatus = (val))
#endif
#ifndef rtmGetStopRequested
#define rtmGetStopRequested(rtm) ((rtm)->Timing.stopRequestedFlag)
#endif
#ifndef rtmSetStopRequested
#define rtmSetStopRequested(rtm, val) ((rtm)->Timing.stopRequestedFlag = (val))
#endif
#ifndef rtmGetStopRequestedPtr
#define rtmGetStopRequestedPtr(rtm) (&((rtm)->Timing.stopRequestedFlag))
#endif
#ifndef rtmGetT
#define rtmGetT(rtm) ((rtm)->Timing.taskTime0)
#endif
#ifndef rtmGetTFinal
#define rtmGetTFinal(rtm) ((rtm)->Timing.tFinal)
#endif
#ifndef rtmGetTPtr
#define rtmGetTPtr(rtm) (&(rtm)->Timing.taskTime0)
#endif
/* Block states (default storage) for system '<Root>' */
typedef struct {
char Memory_PreviousInput; /* '<S6>/Memory' */
// int temp;
} DW_WindModeltestfinal_T;
/* External inputs (root inport signals with default storage) */
typedef struct {
int32_T TrueRefHeadingIsValid; /* '<Root>/TrueRefHeadingIsValid' */
int32_T WindDirectionTrueFMSSideIsValid;
/* '<Root>/WindDirectionTrueFMSSideIsValid' */
int32_T WindSpeedFMSSideIsValid; /* '<Root>/WindSpeedFMSSideIsValid' */
int32_T UnusualAttitude; /* '<Root>/UnusualAttitude' */
int32_T PFDActiveMenu; /* '<Root>/PFDActiveMenu' */
int32_T MFDActiveLowerMenu; /* '<Root>/MFDActiveLowerMenu' */
int32_T MFDMode2; /* '<Root>/MFDMode2' */
int32_T DuConfig; /* '<Root>/DuConfig' */
float WindDirectionTrueFMSSide; /* '<Root>/WindDirectionTrueFMSSide' */
float TrueRefHeading; /* '<Root>/TrueRefHeading' */
float WindSpeedFMSSide; /* '<Root>/WindSpeedFMSSide' */
int32_T FMSColor; /* '<Root>/FMSColor' */
} ExtU_WindModeltestfinal_T;
/* External outputs (root outports fed by signals with default storage) */
typedef struct {
int32_T WindVisible; /* '<Root>/WindVisible' */
float WindDirection; /* '<Root>/WindDirection' */
float WindSpeed; /* '<Root>/WindSpeed' */
int32_T WindDirectionColor; /* '<Root>/WindDirectionColor' */
int32_T WindSpeedColor; /* '<Root>/WindSpeedColor' */
} ExtY_WindModeltestfinal_T;
/* Parameters (default storage) */
struct P_WindModeltestfinal_T_ {
float u60_Value; /* Expression: 0
* Referenced by: '<S7>/360'
*/
float u60_Value_c; /* Expression: 360
* Referenced by: '<S7>/360 '
*/
float u_Value; /* Expression: 0
* Referenced by: '<S7>/0'
*/
float u60_Value_g; /* Expression: 0
* Referenced by: '<S8>/360'
*/
float u60_Value_e; /* Expression: 360
* Referenced by: '<S8>/360 '
*/
float u_Value_l; /* Expression: 0
* Referenced by: '<S8>/0'
*/
float WindSpeedMinC_Value; /* Expression: 5
* Referenced by: '<S1>/WindSpeedMinC'
*/
float WindSpeedUpperHystC_Value; /* Expression: 7
* Referenced by: '<S1>/WindSpeedUpperHystC'
*/
float u80_Value; /* Expression: 180
* Referenced by: '<S7>/180'
*/
float Constant_Value; /* Expression: 180
* Referenced by: '<S4>/Constant'
*/
float u80_Value_e; /* Expression: 180
* Referenced by: '<S8>/180'
*/
float WindDirectionResC_Value; /* Expression: 1
* Referenced by: '<S1>/WindDirectionResC'
*/
float u5double_Value; /* Expression: 0.5
* Referenced by: '<S9>/0.5 double'
*/
float udouble_Value; /* Expression: 0
* Referenced by: '<S9>/0 double'
*/
float WindSpeedMaxC_Value; /* Expression: 255
* Referenced by: '<S1>/WindSpeedMaxC'
*/
float WindSpeedResC_Value; /* Expression: 1
* Referenced by: '<S1>/WindSpeedResC'
*/
float u5double_Value_c; /* Expression: 0.5
* Referenced by: '<S10>/0.5 double'
*/
float udouble_Value_c; /* Expression: 0
* Referenced by: '<S10>/0 double'
*/
uint32_T PFDMenuType_Value; /* Computed Parameter: PFDMenuType_Value
* Referenced by: '<S3>/PFDMenuType'
*/
uint32_T MFDModeTypeTCAS_Value; /* Computed Parameter: MFDModeTypeTCAS_Value
* Referenced by: '<S3>/MFDModeType = TCAS'
*/
uint32_T MFDModeTypePLAN_Value; /* Computed Parameter: MFDModeTypePLAN_Value
* Referenced by: '<S3>/MFDModeType = PLAN'
*/
uint32_T MFDModeTypePPSN_Value; /* Computed Parameter: MFDModeTypePPSN_Value
* Referenced by: '<S3>/MFDModeType=PPSN'
*/
uint32_T MFDModeTypeBLANK_Value; /* Computed Parameter: MFDModeTypeBLANK_Value
* Referenced by: '<S3>/MFDModeType= BLANK'
*/
uint32_T MFDMenuType_Value; /* Computed Parameter: MFDMenuType_Value
* Referenced by: '<S3>/MFDMenuType'
*/
uint32_T AFDConfigurationTypePFD_Value;
/* Computed Parameter: AFDConfigurationTypePFD_Value
* Referenced by: '<S3>/AFDConfigurationType PFD'
*/
boolean_T Memory_InitialCondition;
/* Computed Parameter: Memory_InitialCondition
* Referenced by: '<S6>/Memory'
*/
};
/* Real-time Model Data Structure */
struct tag_RTM_WindModeltestfinal_T {
const char_T *errorStatus;
//RTWLogInfo *rtwLogInfo;
/*
* Timing:
* The following substructure contains information regarding
* the timing information for the model.
*/
struct {
time_T taskTime0;
uint32_T clockTick0;
uint32_T clockTickH0;
time_T stepSize0;
time_T tFinal;
boolean_T stopRequestedFlag;
} Timing;
};
/* Block parameters (default storage) */
extern P_WindModeltestfinal_T WindModeltestfinal_P;
/* Block states (default storage) */
extern DW_WindModeltestfinal_T WindModeltestfinal_DW;
/* External inputs (root inport signals with default storage) */
extern ExtU_WindModeltestfinal_T WindModeltestfinal_U;
/* External outputs (root outports fed by signals with default storage) */
extern ExtY_WindModeltestfinal_T WindModeltestfinal_Y;
/* Model entry point functions */
extern void WindModeltestfinal_initialize(void);
extern void WindModeltestfinal_step(void);
extern void WindModeltestfinal_terminate(void);
/* Real-time Model object */
extern RT_MODEL_WindModeltestfinal_T *const WindModeltestfinal_M;
/*-
* The generated code includes comments that allow you to trace directly
* back to the appropriate location in the model. The basic format
* is <system>/block_name, where system is the system number (uniquely
* assigned by Simulink) and block_name is the name of the block.
*
* Use the MATLAB hilite_system command to trace the generated code back
* to the model. For example,
*
* hilite_system('<S3>') - opens system 3
* hilite_system('<S3>/Kp') - opens and selects block Kp which resides in S3
*
* Here is the system hierarchy for this model
*
* '<Root>' : 'WindModeltestfinal'
* '<S1>' : 'WindModeltestfinal/SystemParameters'
* '<S2>' : 'WindModeltestfinal/WindSystem'
* '<S3>' : 'WindModeltestfinal/WindSystem/DetermineWinValidity'
* '<S4>' : 'WindModeltestfinal/WindSystem/DetermineWindArrowAngle'
* '<S5>' : 'WindModeltestfinal/WindSystem/DetermineWindSpeed'
* '<S6>' : 'WindModeltestfinal/WindSystem/Subsystem'
* '<S7>' : 'WindModeltestfinal/WindSystem/DetermineWindArrowAngle/AngularSubtract'
* '<S8>' : 'WindModeltestfinal/WindSystem/DetermineWindArrowAngle/AngularSubtract1'
* '<S9>' : 'WindModeltestfinal/WindSystem/DetermineWindArrowAngle/Subsystem'
* '<S10>' : 'WindModeltestfinal/WindSystem/DetermineWindSpeed/WindSpeedValue'
*/
#endif /* RTW_HEADER_WindModeltestfinal_h_ */