⭐ 欢迎来到虫虫下载站! | 📦 资源下载 📁 资源专辑 ℹ️ 关于我们
⭐ 虫虫下载站

📄 wap.c

📁 是一个手机功能的模拟程序
💻 C
📖 第 1 页 / 共 2 页
字号:
    XAT_FIRST_SYMBOL(2, 2)
    XOS_TRACE_INPUT("CRYPTcInitialiseResponse")
    yAssF_SDL_PId(yVarP->z16H_mypid,
      ((yPDef_z_StackMgr_2_CRYPTcInitialiseResponse *)ySVarP)->Param1, XASS);
    yAssF_SDL_Integer(yVarP->z16I_result,
      ((yPDef_z_StackMgr_2_CRYPTcInitialiseResponse *)ySVarP)->Param2, XASS);

/*-----
* JOIN grst319
* #SDTREF(SDL,D:\WIP\Maintenance\4.x\System\SystemConfigurations\base_co\sdl\stackmgr\stackctrl.spr(Startup),1649(90,200),1)
------*/
    goto L_grst319;

/*-----
* INPUT MaxWait
* #SDTREF(SDL,D:\WIP\Maintenance\4.x\System\SystemConfigurations\base_co\sdl\stackmgr\stackctrl.spr(Startup),1502(265,55),1)
------*/
  case 3:
    XDEBUG_LABEL(AwaitReadySignals_MaxWait)
    XAT_FIRST_SYMBOL(3, 3)
    XOS_TRACE_INPUT("MaxWait")
    INPUT_TIMER_VAR(yTim_MaxWait)
    XBETWEEN_SYMBOLS(21, 21, 437)

/*-----
* OUTPUT StartResult
* #SDTREF(SDL,D:\WIP\Maintenance\4.x\System\SystemConfigurations\base_co\sdl\stackmgr\stackctrl.spr(Startup),1505(265,70),1)
------*/
    ALLOC_SIGNAL_PAR(StartResult, z_StackMgr_1_StartResult,
      yPDef_z_StackMgr_1_StartResult)
    yAssF_SDL_Natural(((yPDef_z_StackMgr_1_StartResult *)OUTSIGNAL_DATA_PTR)->Param1,
      yTstA_SDL_Natural(SDL_INTEGER_LIT(0)), XASSPARA);
    SDL_OUTP_PAR_ENV(xDefaultPrioSignal, StartResult, z_StackMgr_1_StartResult,
      ENV, yPDef_z_StackMgr_1_StartResult, "StartResult")
    XBETWEEN_SYMBOLS(22, 22, 449)

/*-----
* NEXTSTATE IDLE
* #SDTREF(SDL,D:\WIP\Maintenance\4.x\System\SystemConfigurations\base_co\sdl\stackmgr\stackctrl.spr(Startup),1511(265,160),1)
------*/
    XAT_LAST_SYMBOL
    SDL_NEXTSTATE(IDLE, z162_IDLE, "IDLE")

/*-----
* INPUT Ready
* #SDTREF(SDL,D:\WIP\Maintenance\4.x\System\SystemConfigurations\base_co\sdl\stackmgr\stackctrl.spr(Startup),1514(315,55),1)
------*/
  case 4:
    XDEBUG_LABEL(AwaitReadySignals_Ready)
    XAT_FIRST_SYMBOL(4, 4)
    XOS_TRACE_INPUT("Ready")
    yAssF_SDL_Natural(yVarP->z16F_Layer, yTstA_SDL_Natural(
      ((yPDef_z_StackMgr_9_Ready *)ySVarP)->Param1), XASS);
    XBETWEEN_SYMBOLS(23, 23, 468)

/*-----
* ASSIGNMENT n := ...
* #SDTREF(SDL,D:\WIP\Maintenance\4.x\System\SystemConfigurations\base_co\sdl\stackmgr\stackctrl.spr(Startup),1517(315,70),1)
------*/
    yAssF_SDL_Natural(yVarP->z16A_n, yTstA_SDL_Natural(xPlus_SDL_Integer(yVarP->
      z16A_n, SDL_INTEGER_LIT(1))), XASS);
#ifdef XTRACE
    xTraceAssign("n := ");
#endif
    XBETWEEN_SYMBOLS(24, 24, 479)

/*-----
* DECISION
* #SDTREF(SDL,D:\WIP\Maintenance\4.x\System\SystemConfigurations\base_co\sdl\stackmgr\stackctrl.spr(Startup),1520(315,85),1)
------*/
#ifdef XTRACE
    yAssF_SDL_Boolean(yDcn_SDL_Boolean, yEqF_SDL_Integer(yVarP->z16A_n, yVarP->
      z16B_NbrOfLayers), XASS);
    if (yDcn_SDL_Boolean) {
#else
    if (yEqF_SDL_Integer(yVarP->z16A_n, yVarP->z16B_NbrOfLayers)) {
#endif
#ifdef XTRACE
    xTraceDecision("TRUE");
#endif
      XBETWEEN_SYMBOLS(25, 25, 495)

/*-----
* OUTPUT StartResult
* #SDTREF(SDL,D:\WIP\Maintenance\4.x\System\SystemConfigurations\base_co\sdl\stackmgr\stackctrl.spr(Startup),1523(315,130),1)
------*/
      ALLOC_SIGNAL_PAR(StartResult, z_StackMgr_1_StartResult,
        yPDef_z_StackMgr_1_StartResult)
      yAssF_SDL_Natural(((yPDef_z_StackMgr_1_StartResult *)OUTSIGNAL_DATA_PTR)->Param1,
        yTstA_SDL_Natural(SDL_INTEGER_LIT(1)), XASSPARA);
      SDL_OUTP_PAR_ENV(xDefaultPrioSignal, StartResult,
        z_StackMgr_1_StartResult, ENV, yPDef_z_StackMgr_1_StartResult,
        "StartResult")
      XBETWEEN_SYMBOLS(26, 26, 508)

/*-----
* RESET MaxWait
* #SDTREF(SDL,D:\WIP\Maintenance\4.x\System\SystemConfigurations\base_co\sdl\stackmgr\stackctrl.spr(Startup),1529(315,145),1)
------*/
      SDL_RESET(MaxWait, z169_MaxWait, yTim_MaxWait, "MaxWait")
      XBETWEEN_SYMBOLS(27, 27, 515)

/*-----
* NEXTSTATE IDLE
* #SDTREF(SDL,D:\WIP\Maintenance\4.x\System\SystemConfigurations\base_co\sdl\stackmgr\stackctrl.spr(Startup),1532(315,160),1)
------*/
      XAT_LAST_SYMBOL
      SDL_NEXTSTATE(IDLE, z162_IDLE, "IDLE")
    } else {
#ifdef XTRACE
    xTraceDecision("FALSE");
#endif
      XBETWEEN_SYMBOLS(28, 28, 527)

/*-----
* NEXTSTATE -
* #SDTREF(SDL,D:\WIP\Maintenance\4.x\System\SystemConfigurations\base_co\sdl\stackmgr\stackctrl.spr(Startup),1535(290,160),1)
------*/
      XAT_LAST_SYMBOL
      SDL_DASH_NEXTSTATE
    }

/*-----
* INPUT TerminateWAPStack
* #SDTREF(SDL,D:\WIP\Maintenance\4.x\System\SystemConfigurations\base_co\sdl\stackmgr\stackctrl.spr(Terminate),1361(30,50),1)
------*/
  case 5:
    XDEBUG_LABEL(IDLE_TerminateWAPStack)
    XAT_FIRST_SYMBOL(5, 5)
    XOS_TRACE_INPUT("TerminateWAPStack")
    XBETWEEN_SYMBOLS(39, 39, 545)

/*-----
* OUTPUT TerminateWAE
* #SDTREF(SDL,D:\WIP\Maintenance\4.x\System\SystemConfigurations\base_co\sdl\stackmgr\stackctrl.spr(Terminate),1364(30,65),1)
------*/
    ALLOC_SIGNAL_NPAR(TerminateWAE, z_StackMgr_B_TerminateWAE,
      XSIGNALHEADERTYPE)
    SDL_OUTP_NPAR(xDefaultPrioSignal, TerminateWAE, z_StackMgr_B_TerminateWAE,
      TO_PROCESS(WAE_ME, z0004_WAE_ME), 0, "TerminateWAE")
    XBETWEEN_SYMBOLS(40, 40, 555)

/*-----
* NEXTSTATE AwaitWAEReadySignal
* #SDTREF(SDL,D:\WIP\Maintenance\4.x\System\SystemConfigurations\base_co\sdl\stackmgr\stackctrl.spr(Terminate),1367(30,80),1)
------*/
    XAT_LAST_SYMBOL
    SDL_NEXTSTATE(AwaitWAEReadySignal, z165_AwaitWAEReadySignal,
      "AwaitWAEReadySignal")

/*-----
* INPUT Ready
* #SDTREF(SDL,D:\WIP\Maintenance\4.x\System\SystemConfigurations\base_co\sdl\stackmgr\stackctrl.spr(Terminate),1385(30,95),1)
------*/
  case 6:
    XDEBUG_LABEL(AwaitWAEReadySignal_Ready)
    XAT_FIRST_SYMBOL(6, 6)
    XOS_TRACE_INPUT("Ready")
    yAssF_SDL_Natural(yVarP->z16F_Layer, yTstA_SDL_Natural(
      ((yPDef_z_StackMgr_9_Ready *)ySVarP)->Param1), XASS);
    XBETWEEN_SYMBOLS(41, 41, 575)

/*-----
* OUTPUT TerminateWSP
* #SDTREF(SDL,D:\WIP\Maintenance\4.x\System\SystemConfigurations\base_co\sdl\stackmgr\stackctrl.spr(Terminate),1388(30,110),1)
------*/
    ALLOC_SIGNAL_NPAR(TerminateWSP, z_StackMgr_C_TerminateWSP,
      XSIGNALHEADERTYPE)
    SDL_OUTP_NPAR(xDefaultPrioSignal, TerminateWSP, z_StackMgr_C_TerminateWSP,
      TO_PROCESS(WSP_ME, z20D_WSP_ME), 0, "TerminateWSP")
    XBETWEEN_SYMBOLS(42, 42, 585)

/*-----
* NEXTSTATE AwaitWSPReadySignal
* #SDTREF(SDL,D:\WIP\Maintenance\4.x\System\SystemConfigurations\base_co\sdl\stackmgr\stackctrl.spr(Terminate),1391(30,125),1)
------*/
    XAT_LAST_SYMBOL
    SDL_NEXTSTATE(AwaitWSPReadySignal, z166_AwaitWSPReadySignal,
      "AwaitWSPReadySignal")

/*-----
* INPUT Ready
* #SDTREF(SDL,D:\WIP\Maintenance\4.x\System\SystemConfigurations\base_co\sdl\stackmgr\stackctrl.spr(Terminate),1406(30,140),1)
------*/
  case 7:
    XDEBUG_LABEL(AwaitWSPReadySignal_Ready)
    XAT_FIRST_SYMBOL(7, 7)
    XOS_TRACE_INPUT("Ready")
    yAssF_SDL_Natural(yVarP->z16F_Layer, yTstA_SDL_Natural(
      ((yPDef_z_StackMgr_9_Ready *)ySVarP)->Param1), XASS);
    XBETWEEN_SYMBOLS(43, 43, 605)

/*-----
* OUTPUT TerminateWTP
* #SDTREF(SDL,D:\WIP\Maintenance\4.x\System\SystemConfigurations\base_co\sdl\stackmgr\stackctrl.spr(Terminate),1409(30,155),1)
------*/
    ALLOC_SIGNAL_NPAR(TerminateWTP, z_StackMgr_D_TerminateWTP,
      XSIGNALHEADERTYPE)
    SDL_OUTP_NPAR(xDefaultPrioSignal, TerminateWTP, z_StackMgr_D_TerminateWTP,
      TO_PROCESS(MEProcess, z3014_MEProcess), 0, "TerminateWTP")
    XBETWEEN_SYMBOLS(44, 44, 615)

/*-----
* NEXTSTATE AwaitWTPReadySignal
* #SDTREF(SDL,D:\WIP\Maintenance\4.x\System\SystemConfigurations\base_co\sdl\stackmgr\stackctrl.spr(Terminate),1412(30,170),1)
------*/
    XAT_LAST_SYMBOL
    SDL_NEXTSTATE(AwaitWTPReadySignal, z167_AwaitWTPReadySignal,
      "AwaitWTPReadySignal")

/*-----
* INPUT Ready
* #SDTREF(SDL,D:\WIP\Maintenance\4.x\System\SystemConfigurations\base_co\sdl\stackmgr\stackctrl.spr(Terminate),1583(105,45),1)
------*/
  case 8:
    XDEBUG_LABEL(AwaitWTPReadySignal_Ready)
    XAT_FIRST_SYMBOL(8, 8)
    XOS_TRACE_INPUT("Ready")
    yAssF_SDL_Natural(yVarP->z16F_Layer, yTstA_SDL_Natural(
      ((yPDef_z_StackMgr_9_Ready *)ySVarP)->Param1), XASS);
    XBETWEEN_SYMBOLS(45, 45, 635)

/*-----
* OUTPUT TerminateWDP
* #SDTREF(SDL,D:\WIP\Maintenance\4.x\System\SystemConfigurations\base_co\sdl\stackmgr\stackctrl.spr(Terminate),1607(105,60),1)
------*/
    ALLOC_SIGNAL_NPAR(TerminateWDP, z_StackMgr_F_TerminateWDP,
      XSIGNALHEADERTYPE)
    SDL_OUTP_NPAR(xDefaultPrioSignal, TerminateWDP, z_StackMgr_F_TerminateWDP,
      TO_PROCESS(WDPmanagement, z47_WDPmanagement), 0, "TerminateWDP")
    XBETWEEN_SYMBOLS(46, 46, 645)

/*-----
* NEXTSTATE AwaitWDPReadySignal
* #SDTREF(SDL,D:\WIP\Maintenance\4.x\System\SystemConfigurations\base_co\sdl\stackmgr\stackctrl.spr(Terminate),1610(105,75),1)
------*/
    XAT_LAST_SYMBOL
    SDL_NEXTSTATE(AwaitWDPReadySignal, z168_AwaitWDPReadySignal,
      "AwaitWDPReadySignal")

/*-----
* INPUT Ready
* #SDTREF(SDL,D:\WIP\Maintenance\4.x\System\SystemConfigurations\base_co\sdl\stackmgr\stackctrl.spr(Terminate),1628(105,90),1)
------*/
  case 9:
    XDEBUG_LABEL(AwaitWDPReadySignal_Ready)
    XAT_FIRST_SYMBOL(9, 9)
    XOS_TRACE_INPUT("Ready")
    yAssF_SDL_Natural(yVarP->z16F_Layer, yTstA_SDL_Natural(
      ((yPDef_z_StackMgr_9_Ready *)ySVarP)->Param1), XASS);
    XBETWEEN_SYMBOLS(47, 47, 665)

/*-----
* DECISION
* #SDTREF(SDL,D:\WIP\Maintenance\4.x\System\SystemConfigurations\base_co\sdl\stackmgr\stackctrl.spr(Terminate),1673(105,115),1)
------*/
#ifdef XTRACE
    yAssF_SDL_Integer(yDcn_SDL_Integer, yVarP->z16G_needsCryptInit, XASS);
    if (yEqF_SDL_Integer(yDcn_SDL_Integer, SDL_INTEGER_LIT(1))) {
#else
    if (yEqF_SDL_Integer(yVarP->z16G_needsCryptInit, SDL_INTEGER_LIT(1))) {
#endif
#ifdef XTRACE
    xTraceDecision("PATH: Integer");
#endif
      XBETWEEN_SYMBOLS(48, 48, 680)

/*-----
* TASK
* #SDTREF(SDL,D:\WIP\Maintenance\4.x\System\SystemConfigurations\base_co\sdl\stackmgr\stackctrl.spr(Terminate),1676(105,135),1)
------*/
#ifdef XTRACE
      xTraceTask(" ");
#endif
#if defined CONFIG_WTLS || defined CAN_SIGN_TEXT
CRYPTa_terminate ();
#endif

    } else {
#ifdef XTRACE
    xTraceDecision("ELSE");
#endif
        /* Null transition */
    }
    XBETWEEN_SYMBOLS(49, 49, 699)

/*-----
* TASK
* #SDTREF(SDL,D:\WIP\Maintenance\4.x\System\SystemConfigurations\base_co\sdl\stackmgr\stackctrl.spr(Terminate),1631(105,155),1)
------*/
#ifdef XTRACE
    xTraceTask(" ");
#endif
TerminationDone();

    XBETWEEN_SYMBOLS(50, 50, 710)

/*-----
* NEXTSTATE IDLE
* #SDTREF(SDL,D:\WIP\Maintenance\4.x\System\SystemConfigurations\base_co\sdl\stackmgr\stackctrl.spr(Terminate),1634(105,170),1)
------*/
    XAT_LAST_SYMBOL
    SDL_NEXTSTATE(IDLE, z162_IDLE, "IDLE")

  L_SEND_START_SIGNALS:
    XBETWEEN_SYMBOLS(29, 29, 720)

/*-----
* OUTPUT StartWAE
* #SDTREF(SDL,D:\WIP\Maintenance\4.x\System\SystemConfigurations\base_co\sdl\stackmgr\stackctrl.spr(Startup),134(195,45),1)
------*/
    ALLOC_SIGNAL_NPAR(StartWAE, z_StackMgr_3_StartWAE, XSIGNALHEADERTYPE)
    SDL_OUTP_NPAR(xDefaultPrioSignal, StartWAE, z_StackMgr_3_StartWAE,
      TO_PROCESS(WAE_ME, z0004_WAE_ME), 0, "StartWAE")
    XBETWEEN_SYMBOLS(30, 30, 729)

/*-----
* ASSIGNMENT NbrOfLayers := ...
* #SDTREF(SDL,D:\WIP\Maintenance\4.x\System\SystemConfigurations\base_co\sdl\stackmgr\stackctrl.spr(Startup),176(195,60),1)
------*/
    yAssF_SDL_Natural(yVarP->z16B_NbrOfLayers,
      yTstA_SDL_Natural(xPlus_SDL_Integer(yVarP->z16B_NbrOfLayers,
      SDL_INTEGER_LIT(1))), XASS);
#ifdef XTRACE
    xTraceAssign("NbrOfLayers := ");
#endif
    XBETWEEN_SYMBOLS(31, 31, 741)

/*-----
* OUTPUT StartWSP
* #SDTREF(SDL,D:\WIP\Maintenance\4.x\System\SystemConfigurations\base_co\sdl\stackmgr\stackctrl.spr(Startup),140(195,75),1)
------*/
    ALLOC_SIGNAL_NPAR(StartWSP, z_StackMgr_4_StartWSP, XSIGNALHEADERTYPE)
    SDL_OUTP_NPAR(xDefaultPrioSignal, StartWSP, z_StackMgr_4_StartWSP,
      TO_PROCESS(WSP_ME, z20D_WSP_ME), 0, "StartWSP")
    XBETWEEN_SYMBOLS(32, 32, 750)

/*-----
* ASSIGNMENT NbrOfLayers := ...
* #SDTREF(SDL,D:\WIP\Maintenance\4.x\System\SystemConfigurations\base_co\sdl\stackmgr\stackctrl.spr(Startup),185(195,90),1)
------*/
    yAssF_SDL_Natural(yVarP->z16B_NbrOfLayers,
      yTstA_SDL_Natural(xPlus_SDL_Integer(yVarP->z16B_NbrOfLayers,
      SDL_INTEGER_LIT(1))), XASS);
#ifdef XTRACE
    xTraceAssign("NbrOfLayers := ");
#endif
    XBETWEEN_SYMBOLS(33, 33, 762)

/*-----
* OUTPUT StartWTP
* #SDTREF(SDL,D:\WIP\Maintenance\4.x\System\SystemConfigurations\base_co\sdl\stackmgr\stackctrl.spr(Startup),878(195,105),1)
------*/
    ALLOC_SIGNAL_NPAR(StartWTP, z_StackMgr_5_StartWTP, XSIGNALHEADERTYPE)
    SDL_OUTP_NPAR(xDefaultPrioSignal, StartWTP, z_StackMgr_5_StartWTP,
      TO_PROCESS(MEProcess, z3014_MEProcess), 0, "StartWTP")
    XBETWEEN_SYMBOLS(34, 34, 771)

/*-----
* ASSIGNMENT NbrOfLayers := ...
* #SDTREF(SDL,D:\WIP\Maintenance\4.x\System\SystemConfigurations\base_co\sdl\stackmgr\stackctrl.spr(Startup),881(195,120),1)
------*/
    yAssF_SDL_Natural(yVarP->z16B_NbrOfLayers,
      yTstA_SDL_Natural(xPlus_SDL_Integer(yVarP->z16B_NbrOfLayers,
      SDL_INTEGER_LIT(1))), XASS);
#ifdef XTRACE
    xTraceAssign("NbrOfLayers := ");
#endif
    XBETWEEN_SYMBOLS(35, 35, 783)

/*-----
* OUTPUT StartWDP
* #SDTREF(SDL,D:\WIP\Maintenance\4.x\System\SystemConfigurations\base_co\sdl\stackmgr\stackctrl.spr(Startup),146(195,165),1)
------*/
    ALLOC_SIGNAL_NPAR(StartWDP, z_StackMgr_7_StartWDP, XSIGNALHEADERTYPE)
    SDL_OUTP_NPAR(xDefaultPrioSignal, StartWDP, z_StackMgr_7_StartWDP,
      TO_PROCESS(WDPmanagement, z47_WDPmanagement), 0, "StartWDP")
    XBETWEEN_SYMBOLS(36, 36, 792)

/*-----
* ASSIGNMENT NbrOfLayers := ...
* #SDTREF(SDL,D:\WIP\Maintenance\4.x\System\SystemConfigurations\base_co\sdl\stackmgr\stackctrl.spr(Startup),191(195,180),1)
------*/
    yAssF_SDL_Natural(yVarP->z16B_NbrOfLayers,
      yTstA_SDL_Natural(xPlus_SDL_Integer(yVarP->z16B_NbrOfLayers,
      SDL_INTEGER_LIT(1))), XASS);
#ifdef XTRACE
    xTraceAssign("NbrOfLayers := ");
#endif
    XBETWEEN_SYMBOLS(37, 37, 804)

/*-----
* SET MaxWait
* #SDTREF(SDL,D:\WIP\Maintenance\4.x\System\SystemConfigurations\base_co\sdl\stackmgr\stackctrl.spr(Startup),251(195,195),1)
------*/
    SDL_SET_DUR(xPlus_SDL_Time(SDL_NOW, yVarP->z16E_Diff), yVarP->z16E_Diff,
      MaxWait, z169_MaxWait, yTim_MaxWait, "MaxWait")
    XBETWEEN_SYMBOLS(38, 38, 812)

/*-----
* NEXTSTATE AwaitReadySignals
* #SDTREF(SDL,D:\WIP\Maintenance\4.x\System\SystemConfigurations\base_co\sdl\stackmgr\stackctrl.spr(Startup),158(195,210),1)
------*/
    XAT_LAST_SYMBOL
    SDL_NEXTSTATE(AwaitReadySignals, z164_AwaitReadySignals,
      "AwaitReadySignals")
  }
  END_PAD(yPAD_z16_StackCtrl)
}

extern void yInit XPP((void))
{
  extern void yInit_z0_WAE XPP((void)); /* INTEGRATION: added declaration */
  extern void yInit_z2_WSP XPP((void)); /* INTEGRATION: added declaration */
  extern void yInit_z3_WTPProvider XPP((void)); /* INTEGRATION: added declaration */
  yInit_WTPpckg();
  yInit_WDP_UDP();
  yInit_WTP_WDP();
  yInit_WDPpckg();
  yInit_WDP_UpperLayer();
  yInit_WSPConnectionMode_WTP();
  yInit_WSPConnectionLess_WDP();
  yInit_WAE_WSP();
  yInit_Global_Declarations();
  yInit_WAEPackage();
  yInit_z0_WAE();
  yInit_z2_WSP();
  yInit_z3_WTPProvider();
}

⌨️ 快捷键说明

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