wae_push.c

是一个手机功能的模拟程序

* INPUT ContinuePush
* #SDTREF(SDL,D:\WIP\System\SystemConfigurations\base_push_wta_wtls_co_sms\sdl\wae\push\push_me.spr(Idle),869(5,55),1)
------*/
  case 6:
    XDEBUG_LABEL(Idle_ContinuePush)
    XAT_FIRST_SYMBOL(6, 1720)
    XOS_TRACE_INPUT("ContinuePush")
    XBETWEEN_SYMBOLS(87, 1801, 1218)

/*-----
* TASK
* #SDTREF(SDL,D:\WIP\System\SystemConfigurations\base_push_wta_wtls_co_sms\sdl\wae\push\push_me.spr(Idle),11864(5,70),1)
------*/
#ifdef XTRACE
    xTraceTask(" ");
#endif
{
   SIGNALSTRUCT* pSignalStruct = NULL;
   void*       pvListElement = NULL;
   void*       pvElementContent = NULL;

   yVarP->z000362C_vsPushHeader=NULL;
   if (yVarP->z000362H_vsSignalList!=NULL)
   {
      pvListElement=SDL_GetNextListElement(yVarP->z000362H_vsSignalList,NULL);
      if (pvListElement!=NULL)
      {
     pvElementContent = SDL_GetListElementContent( pvListElement );
     if( pvElementContent != NULL )
     {
            pSignalStruct = (SIGNALSTRUCT*)pvElementContent;
            yVarP->z0003617_iChannel=pSignalStruct->iChannel;
            yVarP->z0003619_iClientPushId=pSignalStruct->iClientPushId;
            yVarP->z000361H_iPortType=pSignalStruct->iPortType;
            yVarP->z000361Y_bConfirm=pSignalStruct->bConfirm;
            yVarP->z000362A_vsPushBody=pSignalStruct->pPushBody;
            yVarP->z0003616_iBodyLen=pSignalStruct->iBodyLen;
            yVarP->z000362C_vsPushHeader=pSignalStruct->pPushHeader;
            yVarP->z000361B_iHeaderLen=pSignalStruct->iHeaderLen;

       SDL_DeleteListElement(yVarP->z000362H_vsSignalList,pvListElement);
           DEALLOC(&(pSignalStruct));
         }
      }
   }
}

    XBETWEEN_SYMBOLS(88, 1802, 1258)

/*-----
* DECISION
* #SDTREF(SDL,D:\WIP\System\SystemConfigurations\base_push_wta_wtls_co_sms\sdl\wae\push\push_me.spr(Idle),11879(5,100),1)
------*/
#ifdef XTRACE
    yAssF_SDL_Boolean(yDcn_SDL_Boolean, yNEqF_z_ctypes_4_VoidStar(yVarP->
      z000362C_vsPushHeader, z_ctypes_40_Null()), XASS);
    if (yDcn_SDL_Boolean) {
#else
    if (yNEqF_z_ctypes_4_VoidStar(yVarP->z000362C_vsPushHeader,
      z_ctypes_40_Null())) {
#endif
#ifdef XTRACE
    xTraceDecision("TRUE");
#endif
      XBETWEEN_SYMBOLS(90, 1804, 1275)

/*-----
* TASK
* #SDTREF(SDL,D:\WIP\System\SystemConfigurations\base_push_wta_wtls_co_sms\sdl\wae\push\push_me.spr(Idle),7985(5,160),1)
------*/
#ifdef XTRACE
      xTraceTask(" ");
#endif
yVarP->z0003627_vsHeaderDef = ME_Push_ParseHeader(
yVarP->z000362C_vsPushHeader,(UINT32)yVarP->z000361B_iHeaderLen);
DEALLOC(&(yVarP->z000362C_vsPushHeader));

      XBETWEEN_SYMBOLS(91, 1805, 1288)

/*-----
* DECISION
* #SDTREF(SDL,D:\WIP\System\SystemConfigurations\base_push_wta_wtls_co_sms\sdl\wae\push\push_me.spr(Idle),8075(5,175),1)
------*/
#ifdef XTRACE
      yAssF_SDL_Boolean(yDcn_SDL_Boolean, yNEqF_z_ctypes_4_VoidStar(yVarP->
        z0003627_vsHeaderDef, z_ctypes_40_Null()), XASS);
      if (yDcn_SDL_Boolean) {
#else
      if (yNEqF_z_ctypes_4_VoidStar(yVarP->z0003627_vsHeaderDef,
        z_ctypes_40_Null())) {
#endif
#ifdef XTRACE
      xTraceDecision("TRUE");
#endif
        XBETWEEN_SYMBOLS(92, 1806, 1305)

/*-----
* TASK
* #SDTREF(SDL,D:\WIP\System\SystemConfigurations\base_push_wta_wtls_co_sms\sdl\wae\push\push_me.spr(Idle),13838(5,190),1)
------*/
#ifdef XTRACE
        xTraceTask(" ");
#endif
{
long int iTempPortType = (long int) yVarP->z000361H_iPortType;
yVarP->z000361Z_bTempBool = ME_Push_GetXAppId(yVarP->
  z0003627_vsHeaderDef,(&(iTempPortType)));
yVarP->z000361H_iPortType = (int) iTempPortType;
}

        XBETWEEN_SYMBOLS(93, 1807, 1321)

/*-----
* DECISION
* #SDTREF(SDL,D:\WIP\System\SystemConfigurations\base_push_wta_wtls_co_sms\sdl\wae\push\push_me.spr(Idle),13853(5,205),1)
------*/
#ifdef XTRACE
        yAssF_SDL_Boolean(yDcn_SDL_Boolean, yVarP->z000361Z_bTempBool, XASS);
        if (yDcn_SDL_Boolean) {
#else
        if (yVarP->z000361Z_bTempBool) {
#endif
#ifdef XTRACE
        xTraceDecision("TRUE");
#endif
          XBETWEEN_SYMBOLS(94, 1808, 1336)

/*-----
* DECISION
* #SDTREF(SDL,D:\WIP\System\SystemConfigurations\base_push_wta_wtls_co_sms\sdl\wae\push\push_me.spr(Idle),13865(5,235),1)
------*/
#ifdef XTRACE
          yAssF_SDL_Boolean(yDcn_SDL_Boolean, yEqF_SDL_Integer(yVarP->
            z000361H_iPortType, z0003612_WTA), XASS);
          if (yDcn_SDL_Boolean) {
#else
          if (yEqF_SDL_Integer(yVarP->z000361H_iPortType, z0003612_WTA)) {
#endif
#ifdef XTRACE
          xTraceDecision("TRUE");
#endif
            XBETWEEN_SYMBOLS(95, 1809, 1352)

/*-----
* TASK
* #SDTREF(SDL,D:\WIP\System\SystemConfigurations\base_push_wta_wtls_co_sms\sdl\wae\push\push_me.spr(Idle),13868(30,250),1)
------*/
#ifdef XTRACE
            xTraceTask(" ");
#endif
yVarP->z000361Z_bTempBool = FALSE;
#ifdef CONFIG_WTA
  yVarP->z000361Z_bTempBool = TRUE;
#endif

            XBETWEEN_SYMBOLS(96, 1810, 1366)

/*-----
* DECISION
* #SDTREF(SDL,D:\WIP\System\SystemConfigurations\base_push_wta_wtls_co_sms\sdl\wae\push\push_me.spr(Idle),13874(30,265),1)
------*/
#ifdef XTRACE
            yAssF_SDL_Boolean(yDcn_SDL_Boolean, yVarP->z000361Z_bTempBool,
              XASS);
            if (yDcn_SDL_Boolean) {
#else
            if (yVarP->z000361Z_bTempBool) {
#endif
#ifdef XTRACE
            xTraceDecision("TRUE");
#endif

            L_grst119:
              XBETWEEN_SYMBOLS(97, 1811, 1384)

/*-----
* TASK
* #SDTREF(SDL,D:\WIP\System\SystemConfigurations\base_push_wta_wtls_co_sms\sdl\wae\push\push_me.spr(Idle),7997(5,295),1)
------*/
#ifdef XTRACE
              xTraceTask(" ");
#endif
yVarP->z000361I_iPushFlag = ME_Push_GetPushFlag(yVarP->z0003627_vsHeaderDef);
yVarP->z000361Q_iTemp = ME_Push_SecurityOk(yVarP->z000361I_iPushFlag);

              XBETWEEN_SYMBOLS(98, 1812, 1396)

/*-----
* DECISION
* #SDTREF(SDL,D:\WIP\System\SystemConfigurations\base_push_wta_wtls_co_sms\sdl\wae\push\push_me.spr(Idle),8291(5,310),1)
------*/
              yAssF_SDL_Integer(yDcn_SDL_Integer, yVarP->z000361Q_iTemp, XASS);
              if (yEqF_SDL_Integer(yDcn_SDL_Integer, TRUE)) {
#ifdef XTRACE
              xTraceDecision("PATH: #CODE");
#endif
                XBETWEEN_SYMBOLS(99, 1813, 1407)

/*-----
* DECISION
* #SDTREF(SDL,D:\WIP\System\SystemConfigurations\base_push_wta_wtls_co_sms\sdl\wae\push\push_me.spr(Idle),12002(5,325),1)
------*/
#ifdef XTRACE
                yAssF_SDL_Boolean(yDcn_SDL_Boolean, yEqF_SDL_Integer(yVarP->
                  z000361J_iSIAChannel, SDL_INTEGER_LIT(0)), XASS);
                if (yDcn_SDL_Boolean) {
#else
                if (yEqF_SDL_Integer(yVarP->z000361J_iSIAChannel,
                  SDL_INTEGER_LIT(0))) {
#endif
#ifdef XTRACE
                xTraceDecision("TRUE");
#endif

/*-----
* JOIN grst120
* #SDTREF(SDL,D:\WIP\System\SystemConfigurations\base_push_wta_wtls_co_sms\sdl\wae\push\push_me.spr(Idle),10913(5,385),1)
------*/
                  goto L_grst120;
                } else {
#ifdef XTRACE
                xTraceDecision("FALSE");
#endif
                  XBETWEEN_SYMBOLS(100, 1814, 1434)

/*-----
* DECISION
* #SDTREF(SDL,D:\WIP\System\SystemConfigurations\base_push_wta_wtls_co_sms\sdl\wae\push\push_me.spr(Idle),10571(5,355),1)
------*/
#ifdef XTRACE
                  yAssF_SDL_Boolean(yDcn_SDL_Boolean, yEqF_SDL_Integer(yVarP->
                    z0003617_iChannel, yVarP->z000361J_iSIAChannel), XASS);
                  if (yDcn_SDL_Boolean) {
#else
                  if (yEqF_SDL_Integer(yVarP->z0003617_iChannel, yVarP->
                    z000361J_iSIAChannel)) {
#endif
#ifdef XTRACE
                  xTraceDecision("TRUE");
#endif
                    XBETWEEN_SYMBOLS(122, 1836, 1451)

/*-----
* TASK
* #SDTREF(SDL,D:\WIP\System\SystemConfigurations\base_push_wta_wtls_co_sms\sdl\wae\push\push_me.spr(Idle),8384(80,400),1)
------*/
#ifdef XTRACE
                    xTraceTask(" ");
#endif
yVarP->z000361Q_iTemp = (yVarP->z000361I_iPushFlag & 4);

                    XBETWEEN_SYMBOLS(123, 1837, 1462)

/*-----
* DECISION
* #SDTREF(SDL,D:\WIP\System\SystemConfigurations\base_push_wta_wtls_co_sms\sdl\wae\push\push_me.spr(Idle),10586(80,415),1)
------*/
#ifdef XTRACE
                    yAssF_SDL_Integer(yDcn_SDL_Integer, yVarP->z000361Q_iTemp,
                      XASS);
                    if (yEqF_SDL_Integer(yDcn_SDL_Integer,
                      SDL_INTEGER_LIT(4))) {
#else
                    if (yEqF_SDL_Integer(yVarP->z000361Q_iTemp,
                      SDL_INTEGER_LIT(4))) {
#endif
#ifdef XTRACE
                    xTraceDecision("PATH: Integer");
#endif
                      XBETWEEN_SYMBOLS(124, 1838, 1480)

/*-----
* OUTPUT WSPTerminateSession
* #SDTREF(SDL,D:\WIP\System\SystemConfigurations\base_push_wta_wtls_co_sms\sdl\wae\push\push_me.spr(Idle),10937(80,445),1)
------*/
                      ALLOC_SIGNAL_PAR(WSPTerminateSession,
                        z_PUSHPackage_G_WSPTerminateSession,
                        yPDef_z_PUSHPackage_G_WSPTerminateSession)
                      yAssF_SDL_Integer(((yPDef_z_PUSHPackage_G_WSPTerminateSession *)OUTSIGNAL_DATA_PTR)->Param1,
                        PUSH_USER_AGENT, XASSPARA);
                      yAssF_SDL_Integer(((yPDef_z_PUSHPackage_G_WSPTerminateSession *)OUTSIGNAL_DATA_PTR)->Param2,
                        yVarP->z000361J_iSIAChannel, XASSPARA);
                      SDL_OUTP_PAR(xDefaultPrioSignal, WSPTerminateSession,
                        z_PUSHPackage_G_WSPTerminateSession, TO_PROCESS(RES_ME,
                        z000508_RES_ME),
                        yPDef_z_PUSHPackage_G_WSPTerminateSession,
                        "WSPTerminateSession")
                      XBETWEEN_SYMBOLS(125, 1839, 1498)
                      {

/*-----
* ASSIGNMENT iSIAChannel := ...
* #SDTREF(SDL,D:\WIP\System\SystemConfigurations\base_push_wta_wtls_co_sms\sdl\wae\push\push_me.spr(Idle),13340(80,460),1)
------*/
                        yAssF_SDL_Integer(yVarP->z000361J_iSIAChannel,
                          SDL_INTEGER_LIT(0), XASS);
#ifdef XTRACE
                        xTraceAssign("iSIAChannel := ");
#endif
                      }
                    } else {
#ifdef XTRACE
                    xTraceDecision("ELSE");
#endif