wtls.c

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

* #SDTREF(SDL,D:\WIP\System\SystemConfigurations\base_push_wta_wtls_co_sms\sdl\wtls\wtls_cm.spr(GetMethods),2396(70,80),1)
------*/
      yAssF_SDL_Integer(yVarP->z4837_result,
        wtls_cm_continue_create_client_hello(yVarP->z4835_conn, yVarP->
        z4837_result, yVarP->z483S_cs, yTstA_SDL_Natural(yVarP->z483V_cslen),
        yVarP->z483T_kx, yTstA_SDL_Natural(yVarP->z483W_kxlen), yVarP->
        z483U_tk, yTstA_SDL_Natural(yVarP->z483X_tklen), &(yVarP->z483K_buf),
        &(yVarP->z483L_bufLen)), XASS);
#ifdef XTRACE
      xTraceAssign("result := ");
#endif
    }
    XBETWEEN_SYMBOLS(75, 7224, 1246)

/*-----
* DECISION
* #SDTREF(SDL,D:\WIP\System\SystemConfigurations\base_push_wta_wtls_co_sms\sdl\wtls\wtls_cm.spr(GetMethods),2399(70,95),1)
------*/
#ifdef XTRACE
    yAssF_SDL_Integer(yDcn_SDL_Integer, yVarP->z4837_result, XASS);
    if (xLT_SDL_Integer(yDcn_SDL_Integer, SDL_INTEGER_LIT(0))) {
#else
    if (xLT_SDL_Integer(yVarP->z4837_result, SDL_INTEGER_LIT(0))) {
#endif
#ifdef XTRACE
    xTraceDecision("PATH: < Integer");
#endif

/*-----
* JOIN PROCESSING_ERROR
* #SDTREF(SDL,D:\WIP\System\SystemConfigurations\base_push_wta_wtls_co_sms\sdl\wtls\wtls_cm.spr(GetMethods),2402(145,105),1)
------*/
      goto L_PROCESSING_ERROR;
    } else {
#ifdef XTRACE
    xTraceDecision("ELSE");
#endif
      XBETWEEN_SYMBOLS(76, 7225, 1271)

/*-----
* OUTPUT ClearBuffer
* #SDTREF(SDL,D:\WIP\System\SystemConfigurations\base_push_wta_wtls_co_sms\sdl\wtls\wtls_cm.spr(GetMethods),2321(70,110),1)
------*/
      ALLOC_SIGNAL_NPAR(ClearBuffer, z_WTLS_0O_ClearBuffer, XSIGNALHEADERTYPE)
      SDL_OUTP_NPAR(xDefaultPrioSignal, ClearBuffer, z_WTLS_0O_ClearBuffer,
        yVarP->z483I_recProc, 0, "ClearBuffer")
      XBETWEEN_SYMBOLS(77, 7226, 1280)

/*-----
* OUTPUT AppendHandshakeMessage
* #SDTREF(SDL,D:\WIP\System\SystemConfigurations\base_push_wta_wtls_co_sms\sdl\wtls\wtls_cm.spr(GetMethods),2324(70,125),1)
------*/
      ALLOC_SIGNAL_PAR(AppendHandshakeMessage,
        z_WTLS_0L_AppendHandshakeMessage,
        yPDef_z_WTLS_0L_AppendHandshakeMessage)
      yAssF_z_ctypes_4_VoidStar(((yPDef_z_WTLS_0L_AppendHandshakeMessage *)OUTSIGNAL_DATA_PTR)->Param1,
        yVarP->z483K_buf, XASSPARA);
      yAssF_SDL_Natural(((yPDef_z_WTLS_0L_AppendHandshakeMessage *)OUTSIGNAL_DATA_PTR)->Param2,
        yTstA_SDL_Natural(yVarP->z483L_bufLen), XASSPARA);
      SDL_OUTP_PAR(xDefaultPrioSignal, AppendHandshakeMessage,
        z_WTLS_0L_AppendHandshakeMessage, yVarP->z483I_recProc,
        yPDef_z_WTLS_0L_AppendHandshakeMessage, "AppendHandshakeMessage")
      XBETWEEN_SYMBOLS(78, 7227, 1296)

/*-----
* OUTPUT FlushBuffer
* #SDTREF(SDL,D:\WIP\System\SystemConfigurations\base_push_wta_wtls_co_sms\sdl\wtls\wtls_cm.spr(GetMethods),2327(70,140),1)
------*/
      ALLOC_SIGNAL_NPAR(FlushBuffer, z_WTLS_0N_FlushBuffer, XSIGNALHEADERTYPE)
      SDL_OUTP_NPAR(xDefaultPrioSignal, FlushBuffer, z_WTLS_0N_FlushBuffer,
        yVarP->z483I_recProc, 0, "FlushBuffer")
      XBETWEEN_SYMBOLS(79, 7228, 1305)

/*-----
* ASSIGNMENT resendCounter := ...
* #SDTREF(SDL,D:\WIP\System\SystemConfigurations\base_push_wta_wtls_co_sms\sdl\wtls\wtls_cm.spr(GetMethods),2423(70,155),1)
------*/
      yAssF_SDL_Integer(yVarP->z4836_resendCounter, SDL_INTEGER_LIT(0), XASS);
#ifdef XTRACE
      xTraceAssign("resendCounter := ");
#endif
      XBETWEEN_STMTS(80, 7229, 1315)

/*-----
* ASSIGNMENT sentClientHello := ...
* #SDTREF(SDL,D:\WIP\System\SystemConfigurations\base_push_wta_wtls_co_sms\sdl\wtls\wtls_cm.spr(GetMethods),2423(70,155),2)
------*/
      yAssF_SDL_Boolean(yVarP->z483P_sentClientHello, SDL_True, XASS);
#ifdef XTRACE
      xTraceAssign("sentClientHello := ");
#endif
      XBETWEEN_SYMBOLS(81, 7230, 1325)

/*-----
* SET ConnectionTimer
* #SDTREF(SDL,D:\WIP\System\SystemConfigurations\base_push_wta_wtls_co_sms\sdl\wtls\wtls_cm.spr(GetMethods),3071(70,170),1)
------*/
      SDL_SET(yVarP->z4839_retryInterval, ConnectionTimer,
        z482Z_ConnectionTimer, yTim_ConnectionTimer, "ConnectionTimer")
      XBETWEEN_SYMBOLS(82, 7231, 1333)

/*-----
* OUTPUT MessageRequest
* #SDTREF(SDL,D:\WIP\System\SystemConfigurations\base_push_wta_wtls_co_sms\sdl\wtls\wtls_cm.spr(GetMethods),2330(70,185),1)
------*/
      ALLOC_SIGNAL_PAR(MessageRequest, z_WTLS_0T_MessageRequest,
        yPDef_z_WTLS_0T_MessageRequest)
      yAssF_SDL_Boolean(((yPDef_z_WTLS_0T_MessageRequest *)OUTSIGNAL_DATA_PTR)->Param1,
        SDL_False, XASSPARA);
      SDL_OUTP_PAR(xDefaultPrioSignal, MessageRequest,
        z_WTLS_0T_MessageRequest, yVarP->z483I_recProc,
        yPDef_z_WTLS_0T_MessageRequest, "MessageRequest")
      XBETWEEN_SYMBOLS(83, 7232, 1346)

/*-----
* NEXTSTATE WaitServerHello
* #SDTREF(SDL,D:\WIP\System\SystemConfigurations\base_push_wta_wtls_co_sms\sdl\wtls\wtls_cm.spr(GetMethods),2333(70,200),1)
------*/
      XAT_LAST_SYMBOL
      SDL_NEXTSTATE(WaitServerHello, z482D_WaitServerHello, "WaitServerHello")
    }

/*-----
* INPUT ConnectionTimer
* #SDTREF(SDL,D:\WIP\System\SystemConfigurations\base_push_wta_wtls_co_sms\sdl\wtls\wtls_cm.spr(WaitServerHelloTimeout),206(50,35),1)
------*/
  case 7:
    XDEBUG_LABEL(WaitServerHello_ConnectionTimer)
    XAT_FIRST_SYMBOL(7, 7156)
    XOS_TRACE_INPUT("ConnectionTimer")
    INPUT_TIMER_VAR(yTim_ConnectionTimer)

  L_grst220:
    XBETWEEN_SYMBOLS(84, 7233, 1367)

/*-----
* TASK log internal
* #SDTREF(SDL,D:\WIP\System\SystemConfigurations\base_push_wta_wtls_co_sms\sdl\wtls\wtls_cm.spr(WaitServerHelloTimeout),3977(50,55),1)
------*/
#ifdef XTRACE
    xTraceTask("log internal");
#endif
#ifdef LOG_INTERNAL
  CLNTa_log (0, 0, "WTLS_CM: received timeout");
#endif

    XBETWEEN_SYMBOLS(85, 7234, 1380)

/*-----
* DECISION
* #SDTREF(SDL,D:\WIP\System\SystemConfigurations\base_push_wta_wtls_co_sms\sdl\wtls\wtls_cm.spr(WaitServerHelloTimeout),209(50,70),1)
------*/
#ifdef XTRACE
    yAssF_SDL_Boolean(yDcn_SDL_Boolean, xLT_SDL_Integer(yVarP->
      z4836_resendCounter, yVarP->z4838_maxRetransmissions), XASS);
    if (yDcn_SDL_Boolean) {
#else
    if (xLT_SDL_Integer(yVarP->z4836_resendCounter, yVarP->
      z4838_maxRetransmissions)) {
#endif
#ifdef XTRACE
    xTraceDecision("TRUE");
#endif
      XBETWEEN_SYMBOLS(86, 7235, 1397)

/*-----
* ASSIGNMENT resendCounter := ...
* #SDTREF(SDL,D:\WIP\System\SystemConfigurations\base_push_wta_wtls_co_sms\sdl\wtls\wtls_cm.spr(WaitServerHelloTimeout),212(95,90),1)
------*/
      yAssF_SDL_Integer(yVarP->z4836_resendCounter, xPlus_SDL_Integer(yVarP->
        z4836_resendCounter, SDL_INTEGER_LIT(1)), XASS);
#ifdef XTRACE
      xTraceAssign("resendCounter := ");
#endif
      XBETWEEN_SYMBOLS(87, 7236, 1408)

/*-----
* SET ConnectionTimer
* #SDTREF(SDL,D:\WIP\System\SystemConfigurations\base_push_wta_wtls_co_sms\sdl\wtls\wtls_cm.spr(WaitServerHelloTimeout),215(95,105),1)
------*/
      SDL_SET(yVarP->z4839_retryInterval, ConnectionTimer,
        z482Z_ConnectionTimer, yTim_ConnectionTimer, "ConnectionTimer")
      XBETWEEN_SYMBOLS(88, 7237, 1416)

/*-----
* OUTPUT FlushBuffer
* #SDTREF(SDL,D:\WIP\System\SystemConfigurations\base_push_wta_wtls_co_sms\sdl\wtls\wtls_cm.spr(WaitServerHelloTimeout),248(95,120),1)
------*/
      ALLOC_SIGNAL_NPAR(FlushBuffer, z_WTLS_0N_FlushBuffer, XSIGNALHEADERTYPE)
      SDL_OUTP_NPAR(xDefaultPrioSignal, FlushBuffer, z_WTLS_0N_FlushBuffer,
        yVarP->z483I_recProc, 0, "FlushBuffer")
      XBETWEEN_SYMBOLS(89, 7238, 1425)

/*-----
* TASK log internal
* #SDTREF(SDL,D:\WIP\System\SystemConfigurations\base_push_wta_wtls_co_sms\sdl\wtls\wtls_cm.spr(WaitServerHelloTimeout),3257(95,135),1)
------*/
#ifdef XTRACE
      xTraceTask("log internal");
#endif
#ifdef LOG_INTERNAL
  CLNTa_log (0, 0, "WTLS_CM: resent last handshake message");
#endif

      XBETWEEN_SYMBOLS(90, 7239, 1438)

/*-----
* NEXTSTATE -
* #SDTREF(SDL,D:\WIP\System\SystemConfigurations\base_push_wta_wtls_co_sms\sdl\wtls\wtls_cm.spr(WaitServerHelloTimeout),221(95,155),1)
------*/
      XAT_LAST_SYMBOL
      SDL_DASH_NEXTSTATE
    } else {
#ifdef XTRACE
    xTraceDecision("FALSE");
#endif

/*-----
* JOIN ERROR_TIMEOUT
* #SDTREF(SDL,D:\WIP\System\SystemConfigurations\base_push_wta_wtls_co_sms\sdl\wtls\wtls_cm.spr(WaitServerHelloTimeout),260(20,100),1)
------*/
      goto L_ERROR_TIMEOUT;
    }

/*-----
* INPUT ConnectionTimer
* #SDTREF(SDL,D:\WIP\System\SystemConfigurations\base_push_wta_wtls_co_sms\sdl\wtls\wtls_cm.spr(WaitServerHelloTimeout),2507(95,35),1)
------*/
  case 8:
    XDEBUG_LABEL(WaitCCSFull_ConnectionTimer)
    XAT_FIRST_SYMBOL(8, 7157)
    XOS_TRACE_INPUT("ConnectionTimer")
    INPUT_TIMER_VAR(yTim_ConnectionTimer)

/*-----
* JOIN grst220
* #SDTREF(SDL,D:\WIP\System\SystemConfigurations\base_push_wta_wtls_co_sms\sdl\wtls\wtls_cm.spr(WaitServerHelloTimeout),3977(50,55),1)
------*/
    goto L_grst220;

/*-----
* INPUT TimeRequired
* #SDTREF(SDL,D:\WIP\System\SystemConfigurations\base_push_wta_wtls_co_sms\sdl\wtls\wtls_cm.spr(WaitServerHelloTimeRequired),281(60,55),1)
------*/
  case 9:
    XDEBUG_LABEL(WaitServerHello_TimeRequired)
    XAT_FIRST_SYMBOL(9, 7158)
    XOS_TRACE_INPUT("TimeRequired")

  L_grst221:
    XBETWEEN_SYMBOLS(91, 7240, 1484)

/*-----
* RESET ConnectionTimer
* #SDTREF(SDL,D:\WIP\System\SystemConfigurations\base_push_wta_wtls_co_sms\sdl\wtls\wtls_cm.spr(WaitServerHelloTimeRequired),290(60,75),1)
------*/
    SDL_RESET(ConnectionTimer, z482Z_ConnectionTimer, yTim_ConnectionTimer,
      "ConnectionTimer")
    XBETWEEN_SYMBOLS(92, 7241, 1492)
    {

/*-----
* ASSIGNMENT d := ...
* #SDTREF(SDL,D:\WIP\System\SystemConfigurations\base_push_wta_wtls_co_sms\sdl\wtls\wtls_cm.spr(WaitServerHelloTimeRequired),4628(60,90),1)
------*/
      yAssF_SDL_Duration(yVarP->z483B_d, xMinusT_SDL_Time(yVarP->
        z4839_retryInterval, SDL_TIME_LIT(0.0, 0, 0)), XASS);
#ifdef XTRACE
      xTraceAssign("d := ");
#endif
      XBETWEEN_STMTS(93, 7242, 1504)

/*-----
* ASSIGNMENT d := ...
* #SDTREF(SDL,D:\WIP\System\SystemConfigurations\base_push_wta_wtls_co_sms\sdl\wtls\wtls_cm.spr(WaitServerHelloTimeRequired),4628(60,90),2)
------*/
      yAssF_SDL_Duration(yVarP->z483B_d,
        xMultRD_SDL_Duration(xFloat_SDL_Integer(
        xMinus_SDL_Integer(xPlus_SDL_Integer(yVarP->z4838_maxRetransmissions,
        SDL_INTEGER_LIT(1)), yVarP->z4836_resendCounter)), yVarP->z483B_d),
        XASS);
#ifdef XTRACE
      xTraceAssign("d := ");
#endif
      XBETWEEN_STMTS(94, 7243, 1518)

/*-----
* ASSIGNMENT t := ...
* #SDTREF(SDL,D:\WIP\System\SystemConfigurations\base_push_wta_wtls_co_sms\sdl\wtls\wtls_cm.spr(WaitServerHelloTimeRequired),4628(60,90),3)
------*/
      yAssF_SDL_Time(yVarP->z483A_t, xPlus_SDL_Time(SDL_TIME_LIT(0.0, 0, 0),
        yVarP->z483B_d), XASS);
#ifdef XTRACE
      xTraceAssign("t := ");
#endif
    }
    XBETWEEN_SYMBOLS(95, 7244, 1530)

/*-----
* SET ConnectionTimer
* #SDTREF(SDL,D:\WIP\System\SystemConfigurations\base_push_wta_wtls_co_sms\sdl\wtls\wtls_cm.spr(WaitServerHelloTimeRequired),4631(60,105),1)
------*/
    SDL_SET(yVarP->z483A_t, ConnectionTimer, z482Z_ConnectionTimer,
      yTim_ConnectionTimer, "ConnectionTimer")
    XBETWEEN_SYMBOLS(96, 7245, 1538)

/*-----
* ASSIGNMENT resendCounter := ...
* #SDTREF(SDL,D:\WIP\System\SystemConfigurations\base_push_wta_wtls_co_sms\sdl\wtls\wtls_cm.spr(WaitServerHelloTimeRequired