atm_easy.c

运用VisualSTATE建模

/*
 * Version:   50
 * Signature: c590 2396 447f 2b56 0c78 d80e
 *
 * Id:        ATM_easy.c
 *
 * Function:  VS System 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 Header File.
 */
#include "ATM_easy.h"


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


/*
 * SEM Library Data Declaration.
 */
SEMDATAATM_easy SEMATM_easy;


/*
 * VS System Data Declaration and Initialization.
 *
 * VS System Informations:
 * - Rule data format number:  1
 */
VSDATAATM_easy const ATM_easy = 
{
  {
    0X000, 0X001, 0X001, 0X001, 0X002, 0X002, 0X003, 0X003, 
    0X004, 0X004, 0X005, 0X005, 0X006, 0X006
  },
  {
    0X000, 0X070, 0X001, 0X000, 0X001, 0X00A, 0X00C, 0X004, 
    0X006, 0X008, 0X00A, 0X002, 0X040, 0X001, 0X002, 0X000, 
    0X003, 0X000, 0X008, 0X00A, 0X009, 0X003, 0X010, 0X001, 
    0X002, 0X000, 0X003, 0X00A, 0X009, 0X002, 0X030, 0X001, 
    0X002, 0X000, 0X001, 0X000, 0X004, 0X00A, 0X003, 0X020, 
    0X001, 0X003, 0X000, 0X006, 0X001, 0X000, 0X00A, 0X002, 
    0X030, 0X001, 0X004, 0X000, 0X005, 0X000, 0X002, 0X006, 
    0X012, 0X010, 0X001, 0X000, 0X004, 0X002, 0X002, 0X008, 
    0X013, 0X030, 0X001, 0X005, 0X000, 0X006, 0X002, 0X004, 
    0X000, 0X001, 0X005, 0X004, 0X010, 0X001, 0X000, 0X005, 
    0X006, 0X003, 0X001, 0X00A, 0X002, 0X020, 0X000, 0X006, 
    0X000, 0X007, 0X000, 0X002, 0X040, 0X002, 0X007, 0X000, 
    0X006, 0X000, 0X00A, 0X003, 0X000, 0X004, 0X012, 0X020, 
    0X001, 0X000, 0X007, 0X003, 0X003, 0X00A, 0X009, 0X004, 
    0X010, 0X001, 0X000, 0X003, 0X00B, 0X007, 0X00A, 0X009, 
    0X002, 0X021, 0X010, 0X008, 0X000, 0X000, 0X009, 0X000, 
    0X00A, 0X002, 0X021, 0X010, 0X008, 0X000, 0X001, 0X008, 
    0X000, 0X008, 0X002, 0X020, 0X011, 0X002, 0X000, 0X002, 
    0X000, 0X007, 0X00B, 0X003, 0X040, 0X001, 0X00A, 0X003, 
    0X000, 0X00B, 0X003, 0X000, 0X00C, 0X007, 0X004, 0X030, 
    0X001, 0X00B, 0X003, 0X000, 0X006, 0X00A, 0X003, 0X000, 
    0X009, 0X004, 0X050, 0X011, 0X00C, 0X00B, 0X003, 0X000, 
    0X00D, 0X00B, 0X003, 0X000, 0X008, 0X009, 0X001, 0X004, 
    0X040, 0X000, 0X00C, 0X00B, 0X003, 0X000, 0X00C, 0X00B, 
    0X003, 0X000, 0X004, 0X040, 0X011, 0X00C, 0X00B, 0X003, 
    0X000, 0X00C, 0X00B, 0X003, 0X000, 0X007, 0X00C
  },
  {
    0X000, 0X02F, 0X038, 0X05B, 0X066, 0X06F, 0X093, 0X09E, 
    0X08A, 0X0C2, 0X026, 0X040, 0X04B, 0X078, 0X081, 0X01D, 
    0X0B7, 0X054, 0X00B, 0X015, 0X0A9
  },
  {
    0X000, 0X001, 0X003, 0X006, 0X007, 0X008, 0X00A, 0X00D, 
    0X00F, 0X011, 0X012, 0X015
  }
};