atm_easydata.c

运用VisualSTATE建模

/*
 * Version:   50
 * Signature: c590 2396 447f 2b56 0c78 d80e
 *
 * Id:        ATM_easyData.c
 *
 * Function:  VS System Data Source 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! 
 */


/*
 * Include SEM Library Header File.
 */
#include "ATM_easySEMLibB.h"


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


/*
 * Include VS System Data Header File.
 */
#include "ATM_easyData.h"


/*
 * Include VS System Action Expression Pointer Table File.
 */
#include "ATM_easyAction.h"


#include <stdarg.h>


typedef struct
{
  VS_BOOL          VS_BOOLVar[0X00001];
} VSINTVARDATA;


/*
 * VS System Internal Variable Declaration.
 */
static VSINTVARDATA VSIntVar;


/*
 * Guard Expression Functions.
 */
static VS_BOOL ATM_easyVSGuard_0 (VS_VOID)
{
  return (VS_BOOL)(VSIntVar.VS_BOOLVar[0X000] != 0);
}
static VS_BOOL ATM_easyVSGuard_1 (VS_VOID)
{
  return (VS_BOOL)(VSIntVar.VS_BOOLVar[0X000] == 0);
}


/*
 * Guard Expression Pointer Table.
 */
VS_GUARDEXPR_TYPE const ATM_easyVSGuard[2] = 
{
  ATM_easyVSGuard_0,
  ATM_easyVSGuard_1
};


/*
 * Action Expression Functions.
 */
VS_VOID ATM_easyVSAction_11 (VS_VOID)
{
  VSIntVar.VS_BOOLVar[0X000] = CheckPassword();
}
VS_VOID ATM_easyVSAction_12 (VS_VOID)
{
  VSIntVar.VS_BOOLVar[0X000] = CheckAccount();
}


/*
 * Action Expression Pointer Table.
 */
VS_ACTIONEXPR_TYPE const ATM_easyVSAction[13] = 
{
  CashDoorClosed,
  CashDoorOpen,
  (VS_ACTIONEXPR_TYPE) NULL /* declared action function is never used */,
  (VS_ACTIONEXPR_TYPE) NULL /* declared action function is never used */,
  DeductAccount,
  EjectCard,
  GetAccount,
  GetCashRequire,
  InputPasswordInterface,
  MainServiceInterface,
  WelcomeInterface,
  ATM_easyVSAction_11,
  ATM_easyVSAction_12
};