wae_push.c

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

* OUTPUT GetPushList
* #SDTREF(SDL,D:\WIP\System\SystemConfigurations\base_push_wta_wtls_co_sms\sdl\wae\push\push_me.spr(Initiation),13763(205,190),1)
------*/
    ALLOC_SIGNAL_PAR(GetPushList, z0003K_GetPushList, yPDef_z0003K_GetPushList)
    yAssF_z_ctypes_4_VoidStar(((yPDef_z0003K_GetPushList *)OUTSIGNAL_DATA_PTR)->Param1,
      yVarP->z000362D_vsPushList, XASSPARA);
    SDL_OUTP_PAR(xDefaultPrioSignal, GetPushList, z0003K_GetPushList,
      TO_PROCESS(Push_LL, z00037_Push_LL), yPDef_z0003K_GetPushList,
      "GetPushList")
    XBETWEEN_SYMBOLS(38, 1752, 914)

/*-----
* NEXTSTATE GetPushList
* #SDTREF(SDL,D:\WIP\System\SystemConfigurations\base_push_wta_wtls_co_sms\sdl\wae\push\push_me.spr(Initiation),13766(205,205),1)
------*/
    XAT_LAST_SYMBOL
    SDL_NEXTSTATE(GetPushList, z000360P_GetPushList, "GetPushList")

/*-----
* INPUT StartPush
* #SDTREF(SDL,D:\WIP\System\SystemConfigurations\base_push_wta_wtls_co_sms\sdl\wae\push\push_me.spr(Initiation),335(5,100),1)
------*/
  case 3:
    XDEBUG_LABEL(StandBy_StartPush)
    XAT_FIRST_SYMBOL(3, 1717)
    XOS_TRACE_INPUT("StartPush")
    yAssF_z_ctypes_4_VoidStar(yVarP->z000362L_vsWAEManagementObject,
      ((yPDef_z_PUSHPackage_B_StartPush *)ySVarP)->Param1, XASS);
    XBETWEEN_SYMBOLS(39, 1753, 933)

/*-----
* TASK
* #SDTREF(SDL,D:\WIP\System\SystemConfigurations\base_push_wta_wtls_co_sms\sdl\wae\push\push_me.spr(Initiation),7256(5,130),1)
------*/
#ifdef XTRACE
    xTraceTask(" ");
#endif
#ifdef LOG_INTERNAL
  CLNTa_log(0,0,"Signal StartPush received\n");
#endif

    XBETWEEN_SYMBOLS(40, 1754, 946)

/*-----
* OUTPUT StartPushDone
* #SDTREF(SDL,D:\WIP\System\SystemConfigurations\base_push_wta_wtls_co_sms\sdl\wae\push\push_me.spr(Initiation),338(5,145),1)
------*/
    ALLOC_SIGNAL_NPAR(StartPushDone, z_PUSHPackage_D_StartPushDone,
      XSIGNALHEADERTYPE)
    SDL_OUTP_NPAR(xDefaultPrioSignal, StartPushDone,
      z_PUSHPackage_D_StartPushDone, TO_PROCESS(WAE_ME, z00008_WAE_ME), 0,
      "StartPushDone")
    XBETWEEN_SYMBOLS(41, 1755, 957)

/*-----
* NEXTSTATE RepInit
* #SDTREF(SDL,D:\WIP\System\SystemConfigurations\base_push_wta_wtls_co_sms\sdl\wae\push\push_me.spr(Initiation),13937(5,160),1)
------*/
    XAT_LAST_SYMBOL
    SDL_NEXTSTATE(RepInit, z000360M_RepInit, "RepInit")

/*-----
* INPUT GetPushListResult
* #SDTREF(SDL,D:\WIP\System\SystemConfigurations\base_push_wta_wtls_co_sms\sdl\wae\push\push_me.spr(Initiation3),7247(5,55),1)
------*/
  case 4:
    XDEBUG_LABEL(GetPushList_GetPushListResult)
    XAT_FIRST_SYMBOL(4, 1718)
    XOS_TRACE_INPUT("GetPushListResult")
    yAssF_z_ctypes_4_VoidStar(yVarP->z000362D_vsPushList,
      ((yPDef_z0003A_GetPushListResult *)ySVarP)->Param1, XASS);
    XBETWEEN_SYMBOLS(42, 1756, 976)

/*-----
* TASK
* #SDTREF(SDL,D:\WIP\System\SystemConfigurations\base_push_wta_wtls_co_sms\sdl\wae\push\push_me.spr(Initiation3),13751(5,70),1)
------*/
#ifdef XTRACE
    xTraceTask(" ");
#endif
MMIa_status( PUSH_USER_AGENT, PushStarted, NULL );


/*-----
* JOIN AnyNew
* #SDTREF(SDL,D:\WIP\System\SystemConfigurations\base_push_wta_wtls_co_sms\sdl\wae\push\push_me.spr(Initiation3),12092(10,85),1)
------*/
    goto L_AnyNew;

/*-----
* INPUT PushIndication
* #SDTREF(SDL,D:\WIP\System\SystemConfigurations\base_push_wta_wtls_co_sms\sdl\wae\push\push_me.spr(Push_Reception),11765(5,40),1)
------*/
  case 5:
    XDEBUG_LABEL(ASTERISK_PushIndication)
    XAT_FIRST_SYMBOL(5, 1719)
    XOS_TRACE_INPUT("PushIndication")
    yAssF_SDL_Integer(yVarP->z0003617_iChannel,
      ((yPDef_z_PUSHPackage_I_PushIndication *)ySVarP)->Param1, XASS);
    yAssF_SDL_Integer(yVarP->z0003619_iClientPushId,
      ((yPDef_z_PUSHPackage_I_PushIndication *)ySVarP)->Param2, XASS);
    yAssF_SDL_Integer(yVarP->z000361H_iPortType,
      ((yPDef_z_PUSHPackage_I_PushIndication *)ySVarP)->Param3, XASS);
    yAssF_SDL_Boolean(yVarP->z000361Y_bConfirm,
      ((yPDef_z_PUSHPackage_I_PushIndication *)ySVarP)->Param4, XASS);
    yAssF_z_ctypes_4_VoidStar(yVarP->z000362I_vsTempHeader,
      ((yPDef_z_PUSHPackage_I_PushIndication *)ySVarP)->Param5, XASS);
    yAssF_SDL_Integer(yVarP->z000361S_iTempHeaderLen,
      ((yPDef_z_PUSHPackage_I_PushIndication *)ySVarP)->Param6, XASS);
    yAssF_z_ctypes_4_VoidStar(yVarP->z000362J_vsTempBody,
      ((yPDef_z_PUSHPackage_I_PushIndication *)ySVarP)->Param7, XASS);
    yAssF_SDL_Integer(yVarP->z000361T_iTempBodyLen,
      ((yPDef_z_PUSHPackage_I_PushIndication *)ySVarP)->Param8, XASS);
    yAssF_SDL_Integer(yVarP->z000361G_iNewChannelId,
      ((yPDef_z_PUSHPackage_I_PushIndication *)ySVarP)->Param9, XASS);
    XBETWEEN_SYMBOLS(71, 1785, 1020)

/*-----
* DECISION
* #SDTREF(SDL,D:\WIP\System\SystemConfigurations\base_push_wta_wtls_co_sms\sdl\wae\push\push_me.spr(Push_Reception),14432(5,70),1)
------*/
#ifdef XTRACE
    yAssF_SDL_Boolean(yDcn_SDL_Boolean,
      xAnd_SDL_Boolean(xAnd_SDL_Boolean(yEqF_z_ctypes_4_VoidStar(yVarP->
      z000362I_vsTempHeader, z_ctypes_40_Null()),
      yEqF_z_ctypes_4_VoidStar(yVarP->z000362J_vsTempBody,
      z_ctypes_40_Null())), yEqF_SDL_Boolean(yVarP->z000361Y_bConfirm,
      SDL_True)), XASS);
    if (yDcn_SDL_Boolean) {
#else
    if (xAnd_SDL_Boolean(xAnd_SDL_Boolean(yEqF_z_ctypes_4_VoidStar(yVarP->
      z000362I_vsTempHeader, z_ctypes_40_Null()),
      yEqF_z_ctypes_4_VoidStar(yVarP->z000362J_vsTempBody,
      z_ctypes_40_Null())), yEqF_SDL_Boolean(yVarP->z000361Y_bConfirm,
      SDL_True))) {
#endif
#ifdef XTRACE
    xTraceDecision("TRUE");
#endif
      XBETWEEN_SYMBOLS(72, 1786, 1044)

/*-----
* OUTPUT PushIndicationResp
* #SDTREF(SDL,D:\WIP\System\SystemConfigurations\base_push_wta_wtls_co_sms\sdl\wae\push\push_me.spr(Push_Reception),14450(55,85),1)
------*/
      ALLOC_SIGNAL_PAR(PushIndicationResp, z_PUSHPackage_H_PushIndicationResp,
        yPDef_z_PUSHPackage_H_PushIndicationResp)
      yAssF_SDL_Integer(((yPDef_z_PUSHPackage_H_PushIndicationResp *)OUTSIGNAL_DATA_PTR)->Param1,
        yVarP->z0003617_iChannel, XASSPARA);
      yAssF_SDL_Integer(((yPDef_z_PUSHPackage_H_PushIndicationResp *)OUTSIGNAL_DATA_PTR)->Param2,
        yVarP->z0003619_iClientPushId, XASSPARA);
      yAssF_SDL_Integer(((yPDef_z_PUSHPackage_H_PushIndicationResp *)OUTSIGNAL_DATA_PTR)->Param3,
        SDL_INTEGER_LIT(0), XASSPARA);
      SDL_OUTP_PAR(xDefaultPrioSignal, PushIndicationResp,
        z_PUSHPackage_H_PushIndicationResp, TO_PROCESS(RES_ME, z000508_RES_ME),
        yPDef_z_PUSHPackage_H_PushIndicationResp, "PushIndicationResp")
      XBETWEEN_SYMBOLS(73, 1787, 1061)

/*-----
* NEXTSTATE -
* #SDTREF(SDL,D:\WIP\System\SystemConfigurations\base_push_wta_wtls_co_sms\sdl\wae\push\push_me.spr(Push_Reception),14456(55,100),1)
------*/
      XAT_LAST_SYMBOL
      SDL_DASH_NEXTSTATE
    } else {
#ifdef XTRACE
    xTraceDecision("FALSE");
#endif
      XBETWEEN_SYMBOLS(74, 1788, 1073)

/*-----
* TASK
* #SDTREF(SDL,D:\WIP\System\SystemConfigurations\base_push_wta_wtls_co_sms\sdl\wae\push\push_me.spr(Push_Reception),11789(5,130),1)
------*/
#ifdef XTRACE
      xTraceTask(" ");
#endif
#ifdef LOG_INTERNAL
  CLNTa_log(0,0,"Push Indication received\n");
#endif
yVarP->z000361Q_iTemp = (SDL_GetCardinal(yVarP->
  z000362H_vsSignalList)<cfg_wae_push_in_buffer_size);

      XBETWEEN_SYMBOLS(75, 1789, 1088)

/*-----
* DECISION
* #SDTREF(SDL,D:\WIP\System\SystemConfigurations\base_push_wta_wtls_co_sms\sdl\wae\push\push_me.spr(Push_Reception),11783(5,160),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(76, 1790, 1099)

/*-----
* TASK
* #SDTREF(SDL,D:\WIP\System\SystemConfigurations\base_push_wta_wtls_co_sms\sdl\wae\push\push_me.spr(Push_Reception),11801(5,175),1)
------*/
#ifdef XTRACE
        xTraceTask(" ");
#endif
{
   SIGNALSTRUCT* pSignalStruct;
   pSignalStruct = NEWSTRUCT(SIGNALSTRUCT);
   if (pSignalStruct!=NULL)
   {
      pSignalStruct->iChannel = yVarP->z0003617_iChannel;
      pSignalStruct->iClientPushId = yVarP->z0003619_iClientPushId;
      pSignalStruct->iPortType = yVarP->z000361H_iPortType;
      pSignalStruct->bConfirm = yVarP->z000361Y_bConfirm;
  pSignalStruct->pPushHeader = yVarP->z000362I_vsTempHeader;
  pSignalStruct->iHeaderLen = yVarP->z000361S_iTempHeaderLen;
  pSignalStruct->pPushBody = yVarP->z000362J_vsTempBody;
  pSignalStruct->iBodyLen = yVarP->z000361T_iTempBodyLen;

  SDL_AddElementLast( yVarP->z000362H_vsSignalList, 0, (void*)pSignalStruct );
   }
}

        XBETWEEN_SYMBOLS(77, 1791, 1126)

/*-----
* OUTPUT ContinuePush
* #SDTREF(SDL,D:\WIP\System\SystemConfigurations\base_push_wta_wtls_co_sms\sdl\wae\push\push_me.spr(Push_Reception),11822(5,190),1)
------*/
        ALLOC_SIGNAL_NPAR(ContinuePush, z000360L_ContinuePush,
          XSIGNALHEADERTYPE)
        SDL_OUTP_NPAR(xDefaultPrioSignal, ContinuePush, z000360L_ContinuePush,
          TO_PROCESS(Push_ME, z00036_Push_ME), 0, "ContinuePush")
      } else if (yEqF_SDL_Integer(yDcn_SDL_Integer, FALSE)) {
#ifdef XTRACE
      xTraceDecision("PATH: #CODE");
#endif
        XBETWEEN_SYMBOLS(78, 1792, 1140)

/*-----
* DECISION
* #SDTREF(SDL,D:\WIP\System\SystemConfigurations\base_push_wta_wtls_co_sms\sdl\wae\push\push_me.spr(Push_Reception),11912(80,175),1)
------*/
#ifdef XTRACE
        yAssF_SDL_Boolean(yDcn_SDL_Boolean, yVarP->z000361Y_bConfirm, XASS);
        if (yDcn_SDL_Boolean) {
#else
        if (yVarP->z000361Y_bConfirm) {
#endif
#ifdef XTRACE
        xTraceDecision("TRUE");
#endif
          XBETWEEN_SYMBOLS(79, 1793, 1155)

/*-----
* OUTPUT PushIndicationResp
* #SDTREF(SDL,D:\WIP\System\SystemConfigurations\base_push_wta_wtls_co_sms\sdl\wae\push\push_me.spr(Push_Reception),11915(130,190),1)
------*/
          ALLOC_SIGNAL_PAR(PushIndicationResp,
            z_PUSHPackage_H_PushIndicationResp,
            yPDef_z_PUSHPackage_H_PushIndicationResp)
          yAssF_SDL_Integer(((yPDef_z_PUSHPackage_H_PushIndicationResp *)OUTSIGNAL_DATA_PTR)->Param1,
            PUSH_USER_AGENT, XASSPARA);
          yAssF_SDL_Integer(((yPDef_z_PUSHPackage_H_PushIndicationResp *)OUTSIGNAL_DATA_PTR)->Param2,
            yVarP->z0003617_iChannel, XASSPARA);
          yAssF_SDL_Integer(((yPDef_z_PUSHPackage_H_PushIndicationResp *)OUTSIGNAL_DATA_PTR)->Param3,
            yVarP->z0003619_iClientPushId, XASSPARA);
          yAssF_SDL_Integer(((yPDef_z_PUSHPackage_H_PushIndicationResp *)OUTSIGNAL_DATA_PTR)->Param4,
            z0003614_USERDCR, XASSPARA);
          SDL_OUTP_PAR(xDefaultPrioSignal, PushIndicationResp,
            z_PUSHPackage_H_PushIndicationResp, TO_PROCESS(RES_ME,
            z000508_RES_ME), yPDef_z_PUSHPackage_H_PushIndicationResp,
            "PushIndicationResp")
        } else {
#ifdef XTRACE
        xTraceDecision("FALSE");
#endif
            /* Null transition */
        }
        XBETWEEN_SYMBOLS(80, 1794, 1182)

/*-----
* TASK
* #SDTREF(SDL,D:\WIP\System\SystemConfigurations\base_push_wta_wtls_co_sms\sdl\wae\push\push_me.spr(Push_Reception),11834(80,205),1)
------*/
#ifdef XTRACE
        xTraceTask(" ");
#endif
DEALLOC(&(yVarP->z000362C_vsPushHeader));
DEALLOC(&(yVarP->z000362A_vsPushBody));

      }
#ifdef XEDECISION
      else {
        XDECISION_ERROR
      }
#endif
      XBETWEEN_SYMBOLS(81, 1795, 1200)

/*-----
* NEXTSTATE -
* #SDTREF(SDL,D:\WIP\System\SystemConfigurations\base_push_wta_wtls_co_sms\sdl\wae\push\push_me.spr(Push_Reception),11828(5,220),1)
------*/
      XAT_LAST_SYMBOL
      SDL_DASH_NEXTSTATE
    }

/*-----