blinksemlibb.c

来自「8051试验程序 基础教材」· C语言 代码 · 共 898 行 · 第 1/2 页

C
898 行
字号
12
/*
 * Id:        BlinkSEMLibB.c
 *
 * Function:  Contains all API functions.
 *
 * Generated: Fri Jun 01 13:31:40 2007
 *
 * Coder 5, 4, 0, 1275
 * 
 * This is an automatically generated file. It will be overwritten by the Coder. 
 * 
 * DO NOT EDIT THE FILE! 
 */


#include "BlinkSEMLibB.h"


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


/*
 * Used internally in the API
 */
#define STATE_SEM_INITIALIZE  0x00
#define STATE_SEM_SIGNAL      0x01
#define STATE_SEM_PREPARE     0x02
#define STATE_SEM_CONSULT     0x03
#define STATE_SEM_OUTPUT      0x04
#define STATE_SEM_OKAY        0x05


/*
 * Conditional Compilation Definitions for the API only.
 */
#define SEM_RDHW_TYPE_1                    1
#define SEM_RDHW_TYPE_2                    0
#define SEM_RDHW_TYPE_3                    0
#define SEM_RDHW_WIDTH_16_BIT              1
#define SEM_RDHW_WIDTH_24_BIT              0
#define SEM_RDHW_WIDTH_32_BIT              0
#define SEM_RDHW_WIDTH_48_BIT              0
#define SEM_RDHW_WIDTH_64_BIT              0
#define SEM_RD_WIDTH_8_BIT                 1
#define SEM_RD_WIDTH_16_BIT                0
#define SEM_RD_WIDTH_32_BIT                0
#define SEM_RDFM_NUMBER                    0
#define SEM_EVENT_GROUP_INDEX              0
#define SEM_EVENT_GROUP_TABLE_INDEX        0
#define SEM_SIGNAL_QUEUE_ERROR_IF_FULL     1
#define SEM_SIGNAL_QUEUE_NO_ERROR_IF_FULL  0
#define SEM_RMN_ACTIONS                    1
#define SEM_RMN_GUARDS                     0
#define SEM_RMN_NEGATIVE_STATE_SYNCS       0
#define SEM_RMN_NEXT_STATES                3
#define SEM_RMN_POSITIVE_STATE_SYNCS       2
#define SEM_RMN_SIGNALS                    0
#define SEM_SIGNAL                         0
#define SEM_EXPL                           0
#define SEM_EXPL_ABS                       0
#define SEM_FORCE_STATE                    0
#define SEM_GET_INPUT_ALL                  0
#define SEM_GET_OUTPUT_ALL                 0
#define SEM_INIT_ALL                       1
#define SEM_MACHINE                        0
#define SEM_NAME                           0
#define SEM_NAME_ABS                       0
#define SEM_NEXT_STATE_CHG                 0
#define SEM_SIGNAL_QUEUE_INFO              0
#define SEM_STATE                          0
#define SEM_STATE_ALL                      0
#define SEM_INIT_EXTERNAL_VARIABLES        0
#define SEM_INIT_INTERNAL_VARIABLES        0
#define VS_ACTION_EXPLS                    0
#define VS_ACTION_FUNCTION_NAMES           0
#define VS_EVENT_EXPLS                     0
#define VS_EVENT_NAMES                     0
#define VS_STATE_EXPLS                     0
#define VS_STATE_NAMES                     0


/* Core model logic struct name */
#define VS Blink


/* SEM data struct name */
#define SEM SEMBlink


#ifdef VS_RUNTIME_INFO
BlinkVSRunTimeInfo volatile const VS_RUNTIME_INFO_EXTKW BlinkvsRunTimeInfo = 
{
  VS_SIGNATURE_VERSION,
  VS_SIGNATURE_CONTENT
};
#endif


#if (SEM_SIGNAL)
void BlinkSEM_InitSignalQueue (void)
{
  SEM.SPut = 0;
  SEM.SGet = 0;
  SEM.SUsed = 0;
}


static unsigned char SEM_SignalQueuePut (SEM_EVENT_TYPE SignalNo)
{
  if (SEM.SUsed == 1) {
    return (SES_SIGNAL_QUEUE_FULL);
  }
  SEM.SUsed++;
  SEM.SQueue[SEM.SPut] = SignalNo;
  if (++SEM.SPut == 1) {
    SEM.SPut = 0;
  }
  return (SES_OKAY);
}


static SEM_EVENT_TYPE SEM_SignalQueueGet (void)
{
  SEM_EVENT_TYPE SignalNo;

  if (!SEM.SUsed) {
    return (EVENT_UNDEFINED);
  }
  SEM.SUsed--;
  SignalNo = SEM.SQueue[SEM.SGet];
  if (++SEM.SGet == 1) {
    SEM.SGet = 0;
  }
  return (SignalNo);
}


#if (SEM_SIGNAL_QUEUE_INFO == 1)
void BlinkSEM_SignalQueueInfo (SEM_SIGNAL_QUEUE_TYPE *NofSignals)
{
  *NofSignals = SEM.SUsed;
}
#endif
#endif


#if (SEM_INIT_ALL)
void BlinkSEM_InitAll (void)
{
  BlinkSEM_Init();
#if (SEM_INIT_EXTERNAL_VARIABLES)
  BlinkSEM_InitExternalVariables();
#endif
#if (SEM_INIT_INTERNAL_VARIABLES)
  BlinkSEM_InitInternalVariables();
#endif
#if (SEM_SIGNAL)
  BlinkSEM_InitSignalQueue();
#endif
}
#endif


void BlinkSEM_Init (void)
{
#ifdef VS_RUNTIME_INFO
  *BlinkvsRunTimeInfo.pSignatureVersion;
#endif
#if (VS_NOF_STATE_MACHINES != 0)
  {
    SEM_STATE_MACHINE_TYPE i;
    for (i = 0; i < VS_NOF_STATE_MACHINES; i++)
    {
      SEM.WSV[i] = STATE_UNDEFINED;
      SEM.CSV[i] = STATE_UNDEFINED;
    }
  }
#if (SEM_NEXT_STATE_CHG == 1)
  SEM.Chg = 0;
#endif
#endif
  SEM.State = STATE_SEM_INITIALIZE;
}


unsigned char BlinkSEM_Deduct (SEM_EVENT_TYPE EventNo)
{
  if (VS_NOF_EVENTS <= EventNo) {
    return (SES_RANGE_ERR);
  }
  SEM.EventNo = EventNo;
  SEM.State = STATE_SEM_PREPARE;
#if (VS_NOF_EVENT_GROUPS != 0)
  SEM.DIt = 2;
#endif
  return (SES_OKAY);
}


unsigned char BlinkSEM_GetOutput (SEM_ACTION_EXPRESSION_TYPE *ActionNo)
{
  for(;;)
  {
    switch (SEM.State)
    {
#if (SEM_SIGNAL)
      case STATE_SEM_SIGNAL :
Signal :
        SEM.EventNo = SEM_SignalQueueGet ();
        if (SEM.EventNo == EVENT_UNDEFINED)
        {
          SEM.State = STATE_SEM_OKAY;
          return (SES_OKAY);
        }
#if (VS_NOF_STATE_MACHINES != 0)
        {
          SEM_STATE_MACHINE_TYPE i;
          for (i = 0; i < VS_NOF_STATE_MACHINES; i++)
          {
            if (SEM.WSV[i] != STATE_UNDEFINED)
            {
#if (SEM_NEXT_STATE_CHG == 1)
              if (SEM.CSV[i] != SEM.WSV[i]) {
                SEM.Chg = 1;
              }
#endif
              SEM.CSV[i] = SEM.WSV[i];
              SEM.WSV[i] = STATE_UNDEFINED;
            }
          }
        }
#endif
        goto FirstRule;
#endif
      case STATE_SEM_PREPARE :
#if (VS_NOF_EVENT_GROUPS != 0)
#if (SEM_EVENT_GROUP_INDEX)
        if (SEM.DIt == 1)
        {
          SEM.EventNo = VS.EGI[SEM.EventNo];
          if (SEM.EventNo == EVENT_GROUP_UNDEFINED)
          {
#if (SEM_SIGNAL)
            SEM.DIt = 0;
            goto Signal;
#else
            SEM.State = STATE_SEM_OKAY;
            return (SES_OKAY);
#endif
          }
          SEM.EventNo += VS_NOF_EVENTS;
        }
        else if (SEM.DIt == 0)
        {
#if (SEM_SIGNAL)
          goto Signal;
#else
          SEM.State = STATE_SEM_OKAY;
          return (SES_OKAY);
#endif
        }
        SEM.DIt--;
#endif
#if (SEM_EVENT_GROUP_TABLE_INDEX)
        if (SEM.DIt == 0)
        {
          if (++SEM.iFirstEgi >= SEM.iLastEgi)
          {
#if (SEM_SIGNAL)
            goto Signal;
#else
            SEM.State = STATE_SEM_OKAY;
            return (SES_OKAY);
#endif
          }
          SEM.EventNo = VS.EGT[SEM.iFirstEgi];
          SEM.EventNo += VS_NOF_EVENTS;
        }
        else if (SEM.DIt == 1)
        {
          SEM.iFirstEgi = VS.EGTI[SEM.EventNo];
          SEM.iLastEgi = VS.EGTI[SEM.EventNo + 1];
          if (SEM.iFirstEgi == SEM.iLastEgi)
          {
#if (SEM_SIGNAL)
            SEM.DIt = 0;
            goto Signal;
#else
            SEM.State = STATE_SEM_OKAY;
            return (SES_OKAY);
#endif
          }
          SEM.EventNo = VS.EGT[SEM.iFirstEgi];
          SEM.EventNo += VS_NOF_EVENTS;
          SEM.DIt--;
        }
        else if (SEM.DIt == 2)
        {
          SEM.DIt--;
        }
#endif
#endif
#if (SEM_SIGNAL)
FirstRule :
#endif
        SEM.iFirstR = VS.RTI[SEM.EventNo];
        SEM.iLastR = VS.RTI[SEM.EventNo + 1];
        SEM.State = STATE_SEM_CONSULT;
      case STATE_SEM_CONSULT :
        while (SEM.iFirstR < SEM.iLastR)
        {
          SEM_INTERNAL_TYPE i;
          VS_UINT8 nNo;
          VS_UINT8 nPos;
          VS_UINT8 nNxt;
#if (SEM_RMN_NEGATIVE_STATE_SYNCS)
          VS_UINT8 nNeg;
#endif
#if (SEM_RMN_SIGNALS)
          VS_UINT8 nSignal;
#endif
#if (SEM_RMN_GUARDS)
          VS_UINT8 nGuard;
#endif
          SEM_RULE_INDEX_TYPE iRI;

          iRI = VS.RI[SEM.iFirstR++];
#if (SEM_RD_WIDTH_8_BIT && SEM_RDHW_TYPE_1 && SEM_RDHW_WIDTH_16_BIT)
          i = VS.RD[iRI++];
          nNxt = (unsigned char)(i & 0x0F);
          SEM.nAction = (unsigned char)(i >> 4);
          i = VS.RD[iRI++];
          nPos = (unsigned char)(i & 0x0F);
#if (SEM_RMN_NEGATIVE_STATE_SYNCS)
          nNeg = (unsigned char)(i >> 4);
#endif
#endif
#if (SEM_RD_WIDTH_8_BIT && SEM_RDHW_TYPE_2 && SEM_RDHW_WIDTH_24_BIT)
          i = VS.RD[iRI++];
          nPos = (unsigned char)(i & 0x0F);
#if (SEM_RMN_NEGATIVE_STATE_SYNCS)
          nNeg = (unsigned char)(i >> 4);
#endif
          i = VS.RD[iRI++];
#if (SEM_RMN_GUARDS)
          nGuard = (unsigned char)(i & 0x0F);
#endif
          nNxt = (unsigned char)(i >> 4);
          i = VS.RD[iRI++];
          SEM.nAction = (unsigned char)(i & 0x0F);
#if (SEM_RMN_SIGNALS)
          nSignal = (unsigned char)(i >> 4);
#endif
#endif
#if (SEM_RD_WIDTH_8_BIT && SEM_RDHW_TYPE_1 && SEM_RDHW_WIDTH_32_BIT)
          SEM.nAction = (unsigned char)VS.RD[iRI++];
          nNxt = (unsigned char)VS.RD[iRI++];
#if (SEM_RMN_NEGATIVE_STATE_SYNCS)
          nNeg = (unsigned char)VS.RD[iRI++];
#else
          iRI++;
#endif
          nPos = (unsigned char)VS.RD[iRI++];
#endif
#if (SEM_RD_WIDTH_8_BIT && SEM_RDHW_TYPE_2 && SEM_RDHW_WIDTH_48_BIT)
#if (SEM_RMN_NEGATIVE_STATE_SYNCS)
          nNeg = (unsigned char)VS.RD[iRI++];
#else
          iRI++;
#endif
          nPos = (unsigned char)VS.RD[iRI++];
          nNxt = (unsigned char)VS.RD[iRI++];
#if (SEM_RMN_GUARDS)
          nGuard = (unsigned char)VS.RD[iRI];
#endif
          iRI++;
#if (SEM_RMN_SIGNALS)
          nSignal = (unsigned char)VS.RD[iRI];
#endif
          iRI++;
          SEM.nAction = (unsigned char)VS.RD[iRI++];
#endif
#if (SEM_RD_WIDTH_16_BIT && SEM_RDHW_TYPE_1 && SEM_RDHW_WIDTH_16_BIT)
          i = VS.RD[iRI++];
          nPos = (unsigned char)(i & 0x0F);
#if (SEM_RMN_NEGATIVE_STATE_SYNCS)
          nNeg = (unsigned char)((i >> 4) & 0x0F);
#endif
          nNxt = (unsigned char)((i >> 8) & 0x0F);
          SEM.nAction = (unsigned char)((i >> 12) & 0x0F);
#endif
#if (SEM_RD_WIDTH_16_BIT && SEM_RDHW_TYPE_3 && SEM_RDHW_WIDTH_32_BIT)
          i = VS.RD[iRI++];
          nPos = (unsigned char)(i & 0x0F);
#if (SEM_RMN_NEGATIVE_STATE_SYNCS)
          nNeg = (unsigned char)((i >> 4) & 0x0F);
#endif
#if (SEM_RMN_GUARDS)
          nGuard = (unsigned char)((i >> 8) & 0x0F);
#endif
          nNxt = (unsigned char)(i >> 12);
          i = VS.RD[iRI++];
          SEM.nAction = (unsigned char)(i & 0x0F);
#if (SEM_RMN_SIGNALS)
          nSignal = (unsigned char)((i >> 4) & 0x0F);
#endif
#endif
#if (SEM_RD_WIDTH_16_BIT && SEM_RDHW_TYPE_1 && SEM_RDHW_WIDTH_32_BIT)
          i = VS.RD[iRI++];
          nNxt = (unsigned char)(i & 0x0FF);
          SEM.nAction = (unsigned char)(i >> 8);
          i = VS.RD[iRI++];
          nPos = (unsigned char)(i & 0x0FF);
#if (SEM_RMN_NEGATIVE_STATE_SYNCS)
          nNeg = (unsigned char)(i >> 8);
#endif
#endif
#if (SEM_RD_WIDTH_16_BIT && SEM_RDHW_TYPE_2 && SEM_RDHW_WIDTH_48_BIT)
          i = VS.RD[iRI++];
          nPos = (unsigned char)(i & 0x0FF);
#if (SEM_RMN_NEGATIVE_STATE_SYNCS)
          nNeg = (unsigned char)(i >> 8);
#endif
          i = VS.RD[iRI++];
#if (SEM_RMN_GUARDS)
          nGuard = (unsigned char)(i & 0x0FF);
#endif
          nNxt = (unsigned char)(i >> 8);
          i = VS.RD[iRI++];
          SEM.nAction = (unsigned char)(i & 0x0FF);
#if (SEM_RMN_SIGNALS)
          nSignal = (unsigned char)(i >> 8);
#endif
#endif
#if (SEM_RD_WIDTH_32_BIT && SEM_RDHW_TYPE_1 && SEM_RDHW_WIDTH_32_BIT)
          i = VS.RD[iRI++];
          nPos = (unsigned char)(i & 0X0FF);
#if (SEM_RMN_NEGATIVE_STATE_SYNCS)
          nNeg = (unsigned char)((i >> 8) & 0X0FF);
#endif
          nNxt = (unsigned char)((i >> 16) & 0x0FF);
          SEM.nAction = (unsigned char)((i >> 24) & 0x0FF);
#endif
#if (SEM_RD_WIDTH_32_BIT && SEM_RDHW_TYPE_3 && SEM_RDHW_WIDTH_64_BIT)
          i = VS.RD[iRI++];
          nPos = (unsigned char)(i & 0x0FF);
#if (SEM_RMN_NEGATIVE_STATE_SYNCS)
12

blinksemlibb.c - 源码说明

本页面展示了「8051试验程序 基础教材」中的 blinksemlibb.c 源码文件，采用 C语言 编程语言编写，共 898 行代码。您可以在线阅读完整代码内容，也可以返回资源详情页下载完整源码包进行本地学习和开发。

虫虫下载站收录了大量与8051相关的技术资源，包括源代码、技术文档、电路图等，是电子工程师和嵌入式开发者的专业学习平台。

⌨️ 快捷键说明

复制代码Ctrl + C
搜索代码Ctrl + F
全屏模式F11
增大字号Ctrl + =
减小字号Ctrl + -
显示快捷键?