wtls.c

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

* INPUT SessionFetchResponse
* #SDTREF(SDL,D:\WIP\System\SystemConfigurations\base_push_wta_wtls_co_sms\sdl\wtls\wtls_cm.spr(SessionLookup),4679(35,25),1)
------*/
  case 3:
    XDEBUG_LABEL(WaitSessionFetch1_SessionFetchResponse)
    XAT_FIRST_SYMBOL(3, 7152)
    XOS_TRACE_INPUT("SessionFetchResponse")
    yAssF_SDL_PId(yVarP->z483R_p, ((yPDef_SessionFetchResponse *)ySVarP)->
      Param1, XASS);
    yAssF_SDL_Integer(yVarP->z4837_result, ((yPDef_SessionFetchResponse *)
      ySVarP)->Param2, XASS);
    yAssF_SDL_Octet(yVarP->z483Z_sessionOptions, ((yPDef_SessionFetchResponse *)
      ySVarP)->Param3, XASS);
    yAssF_z_ctypes_4_VoidStar(yVarP->z483K_buf, ((yPDef_SessionFetchResponse *)
      ySVarP)->Param4, XASS);
    yAssF_SDL_Octet(yVarP->z483Y_sessionIdLen, ((yPDef_SessionFetchResponse *)
      ySVarP)->Param5, XASS);
    yAssF_SDL_Octet(yVarP->z4840_macAlg, ((yPDef_SessionFetchResponse *)
      ySVarP)->Param6, XASS);
    yAssF_SDL_Octet(yVarP->z4841_cipherAlg, ((yPDef_SessionFetchResponse *)
      ySVarP)->Param7, XASS);
    yAssF_SDL_Octet(yVarP->z4842_compressionAlg, ((yPDef_SessionFetchResponse *)
      ySVarP)->Param8, XASS);
    yAssF_z_ctypes_4_VoidStar(yVarP->z4843_privateKeyId,
      ((yPDef_SessionFetchResponse *)ySVarP)->Param9, XASS);
    yAssF_SDL_Natural(yVarP->z4844_creationTime, yTstA_SDL_Natural(
      ((yPDef_SessionFetchResponse *)ySVarP)->Param10), XASS);
    XBETWEEN_SYMBOLS(61, 7210, 949)

/*-----
* TASK log internal
* #SDTREF(SDL,D:\WIP\System\SystemConfigurations\base_push_wta_wtls_co_sms\sdl\wtls\wtls_cm.spr(SessionLookup),4682(35,40),1)
------*/
#ifdef XTRACE
    xTraceTask("log internal");
#endif
#ifdef LOG_INTERNAL
  CLNTa_log (0, 0, "WTLS_CM: received SessionFetchResponse: %d",
             yVarP->z4837_result);
#endif

    XBETWEEN_SYMBOLS(62, 7211, 963)
    {

/*-----
* ASSIGNMENT result := ...
* #SDTREF(SDL,D:\WIP\System\SystemConfigurations\base_push_wta_wtls_co_sms\sdl\wtls\wtls_cm.spr(SessionLookup),4688(35,55),1)
------*/
      yAssF_SDL_Integer(yVarP->z4837_result, wtls_cm_session_fetch1(yVarP->
        z4835_conn, yVarP->z4837_result, yVarP->z483Z_sessionOptions, yVarP->
        z483K_buf, yVarP->z483Y_sessionIdLen, yVarP->z4840_macAlg, yVarP->
        z4841_cipherAlg, yVarP->z4842_compressionAlg, yVarP->
        z4843_privateKeyId, yTstA_SDL_Natural(yVarP->z4844_creationTime)),
        XASS);
#ifdef XTRACE
      xTraceAssign("result := ");
#endif
    }
    XBETWEEN_SYMBOLS(63, 7212, 980)

/*-----
* DECISION
* #SDTREF(SDL,D:\WIP\System\SystemConfigurations\base_push_wta_wtls_co_sms\sdl\wtls\wtls_cm.spr(SessionLookup),4691(35,70),1)
------*/
    yAssF_SDL_Integer(yDcn_SDL_Integer, yVarP->z4837_result, XASS);
    if (yEqF_SDL_Integer(yDcn_SDL_Integer, RET_USING_CURRENT_SESSION)) {
#ifdef XTRACE
    xTraceDecision("PATH: #CODE");
#endif

    L_grst218:
      XBETWEEN_SYMBOLS(64, 7213, 993)
      {

/*-----
* CALL wtls_cm_create_client_hello
* #SDTREF(SDL,D:\WIP\System\SystemConfigurations\base_push_wta_wtls_co_sms\sdl\wtls\wtls_cm.spr(SessionLookup),4712(115,155),1)
------*/
#ifdef XTRACE
        xTraceAlg("CALL EXTERNAL PROCEDURE wtls_cm_create_client_hello");
#endif
#ifdef XMSCE
        xMSCETask("CALL EXTERNAL wtls_cm_create_client_hello");
#endif
        wtls_cm_create_client_hello(yVarP->z4835_conn);
      }
      XBETWEEN_SYMBOLS(65, 7214, 1008)

/*-----
* NEXTSTATE WaitGetMethods
* #SDTREF(SDL,D:\WIP\System\SystemConfigurations\base_push_wta_wtls_co_sms\sdl\wtls\wtls_cm.spr(SessionLookup),4715(115,175),1)
------*/
      XAT_LAST_SYMBOL
      SDL_NEXTSTATE(WaitGetMethods, z482C_WaitGetMethods, "WaitGetMethods")
    } else if (xLT_SDL_Integer(yDcn_SDL_Integer, SDL_INTEGER_LIT(0))) {
#ifdef XTRACE
    xTraceDecision("PATH: < Integer");
#endif

    L_grst219:

/*-----
* JOIN PROCESSING_ERROR
* #SDTREF(SDL,D:\WIP\System\SystemConfigurations\base_push_wta_wtls_co_sms\sdl\wtls\wtls_cm.spr(SessionLookup),4721(20,180),1)
------*/
      goto L_PROCESSING_ERROR;
    } else {
#ifdef XTRACE
    xTraceDecision("ELSE");
#endif
      XBETWEEN_SYMBOLS(66, 7215, 1032)

/*-----
* NEXTSTATE WaitPeerLookup
* #SDTREF(SDL,D:\WIP\System\SystemConfigurations\base_push_wta_wtls_co_sms\sdl\wtls\wtls_cm.spr(SessionLookup),4694(35,85),1)
------*/
      XAT_LAST_SYMBOL
      SDL_NEXTSTATE(WaitPeerLookup, z482A_WaitPeerLookup, "WaitPeerLookup")
    }

/*-----
* INPUT PeerLookupResponse
* #SDTREF(SDL,D:\WIP\System\SystemConfigurations\base_push_wta_wtls_co_sms\sdl\wtls\wtls_cm.spr(SessionLookup),4697(35,100),1)
------*/
  case 4:
    XDEBUG_LABEL(WaitPeerLookup_PeerLookupResponse)
    XAT_FIRST_SYMBOL(4, 7153)
    XOS_TRACE_INPUT("PeerLookupResponse")
    yAssF_SDL_PId(yVarP->z483R_p, ((yPDef_PeerLookupResponse *)ySVarP)->Param1,
      XASS);
    yAssF_SDL_Integer(yVarP->z4837_result, ((yPDef_PeerLookupResponse *)
      ySVarP)->Param2, XASS);
    yAssF_SDL_Octet(yVarP->z483J_mid, ((yPDef_PeerLookupResponse *)ySVarP)->
      Param3, XASS);
    XBETWEEN_SYMBOLS(67, 7216, 1056)

/*-----
* TASK log internal
* #SDTREF(SDL,D:\WIP\System\SystemConfigurations\base_push_wta_wtls_co_sms\sdl\wtls\wtls_cm.spr(SessionLookup),4700(35,115),1)
------*/
#ifdef XTRACE
    xTraceTask("log internal");
#endif
#ifdef LOG_INTERNAL
  CLNTa_log (0, 0, "WTLS_CM: received PeerLookupResponse: %d",
             yVarP->z4837_result);
#endif

    XBETWEEN_SYMBOLS(68, 7217, 1070)
    {

/*-----
* ASSIGNMENT result := ...
* #SDTREF(SDL,D:\WIP\System\SystemConfigurations\base_push_wta_wtls_co_sms\sdl\wtls\wtls_cm.spr(SessionLookup),4706(35,130),1)
------*/
      yAssF_SDL_Integer(yVarP->z4837_result, wtls_cm_session_fetch2(yVarP->
        z4835_conn, yVarP->z4837_result, yVarP->z483J_mid), XASS);
#ifdef XTRACE
      xTraceAssign("result := ");
#endif
    }
    XBETWEEN_SYMBOLS(69, 7218, 1083)

/*-----
* DECISION
* #SDTREF(SDL,D:\WIP\System\SystemConfigurations\base_push_wta_wtls_co_sms\sdl\wtls\wtls_cm.spr(SessionLookup),4709(35,145),1)
------*/
    yAssF_SDL_Integer(yDcn_SDL_Integer, yVarP->z4837_result, XASS);
    if (yEqF_SDL_Integer(yDcn_SDL_Integer, RET_NO_PEER)) {
#ifdef XTRACE
    xTraceDecision("PATH: #CODE");
#endif

/*-----
* JOIN grst218
* #SDTREF(SDL,D:\WIP\System\SystemConfigurations\base_push_wta_wtls_co_sms\sdl\wtls\wtls_cm.spr(SessionLookup),4712(115,155),1)
------*/
      goto L_grst218;
    } else if (xLT_SDL_Integer(yDcn_SDL_Integer, SDL_INTEGER_LIT(0))) {
#ifdef XTRACE
    xTraceDecision("PATH: < Integer");
#endif

/*-----
* JOIN grst219
* #SDTREF(SDL,D:\WIP\System\SystemConfigurations\base_push_wta_wtls_co_sms\sdl\wtls\wtls_cm.spr(SessionLookup),4721(20,180),1)
------*/
      goto L_grst219;
    } else {
#ifdef XTRACE
    xTraceDecision("ELSE");
#endif
      XBETWEEN_SYMBOLS(70, 7219, 1114)

/*-----
* NEXTSTATE WaitSessionFetch2
* #SDTREF(SDL,D:\WIP\System\SystemConfigurations\base_push_wta_wtls_co_sms\sdl\wtls\wtls_cm.spr(SessionLookup),4718(35,165),1)
------*/
      XAT_LAST_SYMBOL
      SDL_NEXTSTATE(WaitSessionFetch2, z482B_WaitSessionFetch2,
        "WaitSessionFetch2")
    }

/*-----
* INPUT SessionFetchResponse
* #SDTREF(SDL,D:\WIP\System\SystemConfigurations\base_push_wta_wtls_co_sms\sdl\wtls\wtls_cm.spr(SessionLookup),4727(115,25),1)
------*/
  case 5:
    XDEBUG_LABEL(WaitSessionFetch2_SessionFetchResponse)
    XAT_FIRST_SYMBOL(5, 7154)
    XOS_TRACE_INPUT("SessionFetchResponse")
    yAssF_SDL_PId(yVarP->z483R_p, ((yPDef_SessionFetchResponse *)ySVarP)->
      Param1, XASS);
    yAssF_SDL_Integer(yVarP->z4837_result, ((yPDef_SessionFetchResponse *)
      ySVarP)->Param2, XASS);
    yAssF_SDL_Octet(yVarP->z483Z_sessionOptions, ((yPDef_SessionFetchResponse *)
      ySVarP)->Param3, XASS);
    yAssF_z_ctypes_4_VoidStar(yVarP->z483K_buf, ((yPDef_SessionFetchResponse *)
      ySVarP)->Param4, XASS);
    yAssF_SDL_Octet(yVarP->z483Y_sessionIdLen, ((yPDef_SessionFetchResponse *)
      ySVarP)->Param5, XASS);
    yAssF_SDL_Octet(yVarP->z4840_macAlg, ((yPDef_SessionFetchResponse *)
      ySVarP)->Param6, XASS);
    yAssF_SDL_Octet(yVarP->z4841_cipherAlg, ((yPDef_SessionFetchResponse *)
      ySVarP)->Param7, XASS);
    yAssF_SDL_Octet(yVarP->z4842_compressionAlg, ((yPDef_SessionFetchResponse *)
      ySVarP)->Param8, XASS);
    yAssF_z_ctypes_4_VoidStar(yVarP->z4843_privateKeyId,
      ((yPDef_SessionFetchResponse *)ySVarP)->Param9, XASS);
    yAssF_SDL_Natural(yVarP->z4844_creationTime, yTstA_SDL_Natural(
      ((yPDef_SessionFetchResponse *)ySVarP)->Param10), XASS);
    XBETWEEN_SYMBOLS(71, 7220, 1153)

/*-----
* TASK log internal
* #SDTREF(SDL,D:\WIP\System\SystemConfigurations\base_push_wta_wtls_co_sms\sdl\wtls\wtls_cm.spr(SessionLookup),4730(115,40),1)
------*/
#ifdef XTRACE
    xTraceTask("log internal");
#endif
#ifdef LOG_INTERNAL
  CLNTa_log (0, 0, "WTLS_CM: received SessionFetchResponse: %d",
             yVarP->z4837_result);
#endif

    XBETWEEN_SYMBOLS(72, 7221, 1167)
    {

/*-----
* ASSIGNMENT result := ...
* #SDTREF(SDL,D:\WIP\System\SystemConfigurations\base_push_wta_wtls_co_sms\sdl\wtls\wtls_cm.spr(SessionLookup),4736(115,55),1)
------*/
      yAssF_SDL_Integer(yVarP->z4837_result, wtls_cm_session_fetch3(yVarP->
        z4835_conn, yVarP->z4837_result, yVarP->z483Z_sessionOptions, yVarP->
        z483K_buf, yVarP->z483Y_sessionIdLen, yVarP->z4840_macAlg, yVarP->
        z4841_cipherAlg, yVarP->z4842_compressionAlg, yVarP->
        z4843_privateKeyId, yTstA_SDL_Natural(yVarP->z4844_creationTime)),
        XASS);
#ifdef XTRACE
      xTraceAssign("result := ");
#endif
    }

/*-----
* JOIN grst218
* #SDTREF(SDL,D:\WIP\System\SystemConfigurations\base_push_wta_wtls_co_sms\sdl\wtls\wtls_cm.spr(SessionLookup),4712(115,155),1)
------*/
    goto L_grst218;

/*-----
* INPUT GetMethodsResponse
* #SDTREF(SDL,D:\WIP\System\SystemConfigurations\base_push_wta_wtls_co_sms\sdl\wtls\wtls_cm.spr(GetMethods),2393(70,50),1)
------*/
  case 6:
    XDEBUG_LABEL(WaitGetMethods_GetMethodsResponse)
    XAT_FIRST_SYMBOL(6, 7155)
    XOS_TRACE_INPUT("GetMethodsResponse")
    yAssF_SDL_PId(yVarP->z483R_p, ((yPDef_GetMethodsResponse *)ySVarP)->Param1,
      XASS);
    yAssF_SDL_Integer(yVarP->z4837_result, ((yPDef_GetMethodsResponse *)
      ySVarP)->Param2, XASS);
    yAssF_z_ctypes_4_VoidStar(yVarP->z483S_cs, ((yPDef_GetMethodsResponse *)
      ySVarP)->Param3, XASS);
    yAssF_SDL_Natural(yVarP->z483V_cslen, yTstA_SDL_Natural(
      ((yPDef_GetMethodsResponse *)ySVarP)->Param4), XASS);
    yAssF_z_ctypes_4_VoidStar(yVarP->z483T_kx, ((yPDef_GetMethodsResponse *)
      ySVarP)->Param5, XASS);
    yAssF_SDL_Natural(yVarP->z483W_kxlen, yTstA_SDL_Natural(
      ((yPDef_GetMethodsResponse *)ySVarP)->Param6), XASS);
    yAssF_z_ctypes_4_VoidStar(yVarP->z483U_tk, ((yPDef_GetMethodsResponse *)
      ySVarP)->Param7, XASS);
    yAssF_SDL_Natural(yVarP->z483X_tklen, yTstA_SDL_Natural(
      ((yPDef_GetMethodsResponse *)ySVarP)->Param8), XASS);
    XBETWEEN_SYMBOLS(73, 7222, 1215)

/*-----
* TASK log internal
* #SDTREF(SDL,D:\WIP\System\SystemConfigurations\base_push_wta_wtls_co_sms\sdl\wtls\wtls_cm.spr(GetMethods),3965(70,65),1)
------*/
#ifdef XTRACE
    xTraceTask("log internal");
#endif
#ifdef LOG_INTERNAL
  CLNTa_log (0, 0, "WTLS_CM: received GetMethodsResponse: %d",
             yVarP->z4837_result);
#endif

    XBETWEEN_SYMBOLS(74, 7223, 1229)
    {

/*-----
* ASSIGNMENT result := ...