atm_easysembdef.h

运用VisualSTATE建模

/*
 * Version:   50
 * Signature: c590 2396 447f 2b56 0c78 d80e
 *
 * Id:        ATM_easySEMBDef.h
 *
 * Function:  SEM Defines Header File.
 *
 * Generated: Wed Jul 23 14:27:18 2008
 *
 * Coder 5, 4, 1, 1290
 * 
 * This is an automatically generated file. It will be overwritten by the Coder. 
 * 
 * DO NOT EDIT THE FILE! 
 */


#ifndef __ATM_EASYSEMBDEF_H
#define __ATM_EASYSEMBDEF_H


/*
 * Include SEM Types Header File.
 */
#include "ATM_easySEMTypes.h"


#if (VS_CODER_GUID != 0X011dedf72)
#error The generated file does not match the SEMTypes.h header file.
#endif


/*
 * Number of Identifiers.
 */
#define VS_NOF_ACTION_EXPRESSIONS        0X00d  /*  13 */
#define VS_NOF_ACTION_FUNCTIONS          0X00b  /*  11 */
#define VS_NOF_EVENT_GROUPS              0X000  /*   0 */
#define VS_NOF_EVENTS                    0X007  /*   7 */
#define VS_NOF_EXTERNAL_VARIABLES        0X000  /*   0 */
#define VS_NOF_GUARD_EXPRESSIONS         0X002  /*   2 */
#define VS_NOF_INSTANCES                 0X001  /*   1 */
#define VS_NOF_INTERNAL_VARIABLES        0X001  /*   1 */
#define VS_NOF_SIGNALS                   0X004  /*   4 */
#define VS_NOF_STATE_MACHINES            0X007  /*   7 */
#define VS_NOF_STATES                    0X00e  /*  14 */


/*
 * Undefined State.
 */
#define STATE_UNDEFINED                  0X0FF  /* 255 */


/*
 * Undefined Event.
 */
#define EVENT_UNDEFINED                  0X0FF  /* 255 */


/*
 * Undefined Event Group.
 */
#define EVENT_GROUP_UNDEFINED            0X0FF  /* 255 */


/*
 * Event Termination ID.
 */
#define EVENT_TERMINATION_ID             0X0FF  /* 255 */


/*
 * Action Expression Termination ID.
 */
#define ACTION_EXPRESSION_TERMINATION_ID 0X0FF  /* 255 */
#define ACTION_FPT_NAME ATM_easyVSAction


/*
 * Functional expression type definitions
 */
typedef VS_BOOL (* VS_GUARDEXPR_TYPE) (VS_VOID);
typedef VS_VOID (* VS_ACTIONEXPR_TYPE) (VS_VOID);


/*
 * SEM Library Datatype Definition.
 */
typedef struct SEMDATAATM_easy
{
  VS_UINT8                                      Status;
  VS_UINT8                                      State;
  VS_UINT8                                      DIt;
  VS_UINT8                                      nAction;
  SEM_EVENT_TYPE                                EventNo;
  SEM_RULE_INDEX_TYPE                           _iRI;
  SEM_RULE_TABLE_INDEX_TYPE                     iFirstR;
  SEM_RULE_TABLE_INDEX_TYPE                     iLastR;
  SEM_STATE_TYPE                                CSV[VS_NOF_STATE_MACHINES];
  SEM_STATE_TYPE                                WSV[VS_NOF_STATE_MACHINES];
  SEM_EVENT_TYPE                                SQueue[1];
  SEM_SIGNAL_QUEUE_TYPE                         SPut;
  SEM_SIGNAL_QUEUE_TYPE                         SGet;
  SEM_SIGNAL_QUEUE_TYPE                         SUsed;
} SEMDATAATM_easy;


/*
 * VS System Datatype Definition.
 */
typedef struct
{
  VS_UINT8       SMI[0X00e];
  VS_UINT8       RD[0X0cf];
  VS_UINT8       RI[0X015];
  VS_UINT8       RTI[0X00c];
} VSDATAATM_easy;


/*
 * Data External Declaration.
 */
extern VSDATAATM_easy const ATM_easy;

extern SEMDATAATM_easy SEMATM_easy;


/*
 * External Declarations for Guard Expressions Function Pointer Table.
 */
extern VS_GUARDEXPR_TYPE const ATM_easyVSGuard[2];


/*
 * Action Expression Collection Macro.
 */
#define VSAction                       ATM_easyVSAction


/*
 * VS Run Time Info
 */
#define VS_RUNTIME_INFO                1
#define VS_RUNTIME_INFO_EXTKW          
#define VS_SIGNATURE_VERSION           "50"
#define VS_SIGNATURE_CONTENT           "c590 2396 447f 2b56 0c78 d80e"
#define VS_SIGNATURE_VERSION_LENGTH    3
#define VS_SIGNATURE_CONTENT_LENGTH    30


#endif