| [MODULE_PARAMETERS] |
| tsp_IOT_LGen_FSMs := { |
| { |
| /**** FSM Editor layout information. **** |
| @state "registered" (772, 546) |
| @selfstate "registered" (1254, 548) |
| @state "deregistering" (573, 994) |
| @state "idle" (73, 592) |
| @state "inititated" (568, 188) |
| @parallellink "idle" -- "inititated" (88, 580) (134, 542) * (553, 200) (507, 238) |
| @link "idle" -- "inititated" |
| singleevent "EPTF_CLL_LGenBase" "LGenBase: Start_the_traffic_case!" |
| @link "inititated" -- "idle" |
| singleevent "LWM2M Behavior" "LWM2M rsp: 3xxto6xx" |
| @link "inititated" -- "idle" |
| singleevent "Special behavior for timeout reporting" "userWatchdog" |
| @link "inititated" -- "idle" |
| singleevent "COAP Behavior" "COAP transaction: timeout" |
| @parallellink "inititated" -- "registered" (575, 200) (594, 233) * (765, 534) (746, 501) |
| @link "inititated" -- "registered" |
| singleevent "LWM2M Behavior" "LWM2M rsp: 201" |
| @parallellink "registered" -- "registered" (811, 546) (852, 546) * (1216, 548) (1176, 548) |
| @link "registered" -- "registered" |
| singleevent "LWM2M Behavior" "LWM2M rsp: 204" |
| @link "registered" -- "registered" |
| singleevent "LWM2M Behavior" "LWM2M req: Read" |
| @link "registered" -- "registered" |
| singleevent "LWM2M Behavior" "LWM2M req: Write" |
| @link "registered" -- "registered" |
| singleevent "LWM2M Behavior" "LWM2M req: Execute" |
| @link "registered" -- "registered" |
| singleevent "Special behavior for timeout reporting" "update" |
| @link "registered" -- "registered" |
| singleevent "Special behavior for timeout reporting" "refresh" |
| @link "registered" -- "registered" |
| singleevent "COAP Behavior" "COAP observe: cancel" |
| @parallellink "deregistering" -- "idle" (558, 982) (511, 944) * (88, 604) (135, 642) |
| @link "deregistering" -- "idle" |
| singleevent "LWM2M Behavior" "LWM2M rsp: 202" |
| @link "deregistering" -- "idle" |
| singleevent "LWM2M Behavior" "LWM2M rsp: 3xxto6xx" |
| @link "deregistering" -- "idle" |
| singleevent "COAP Behavior" "COAP transaction: timeout" |
| @parallellink "registered" -- "idle" (734, 548) (676, 552) * (91, 591) (153, 587) |
| @link "registered" -- "idle" |
| singleevent "LWM2M Behavior" "LWM2M rsp: 3xxto6xx" |
| @link "registered" -- "idle" |
| singleevent "COAP Behavior" "COAP transaction: timeout" |
| @parallellink "registered" -- "deregistering" (767, 558) (748, 600) * (578, 982) (597, 940) |
| @link "registered" -- "deregistering" |
| singleevent "EPTF_CLL_LGenBase" "LGenBase: Stop_the_traffic_case!" |
| */ |
| name := "LWM2M_SimDevice_FSM", |
| fsmParams := { |
| { |
| stateList := { |
| "idle", |
| "inititated", |
| "registered", |
| "deregistering" |
| } |
| }, |
| { |
| timerList := { |
| { |
| name := "userWatchdog", |
| startValue := 80.0 |
| }, |
| { |
| name := "update", |
| startValue := 25.0 |
| }, |
| { |
| name := "dereg", |
| startValue := 60.0 |
| }, |
| { |
| name := "refresh", |
| startValue := 20.0 |
| } |
| } |
| }, |
| { |
| varList := { |
| // var:localHost |
| { |
| name := "localHost", |
| initValue := { |
| charstringVal := "127.0.0.1" |
| }, |
| scope := TC |
| }, |
| // var:localPort |
| { |
| name := "localPort", |
| initValue := { |
| intVal := 11000 |
| }, |
| scope := TC |
| }, |
| // var:remoteHost |
| { |
| name := "remoteHost", |
| initValue := { |
| charstringVal := "127.0.0.1" |
| }, |
| scope := TC |
| }, |
| // var:remotePort |
| { |
| name := "remotePort", |
| initValue := { |
| intVal := 5683 |
| }, |
| scope := TC |
| } |
| } |
| }, |
| { |
| statHandlerStatList := { } |
| } |
| },// fsmParams |
| table := { |
| extendedTable := { |
| { |
| events2Listen := { |
| events := { |
| { |
| singleEvent := { |
| bName := "EPTF_CLL_LGenBase", |
| iName := "LGenBase: Start_the_traffic_case!", |
| eventType := fsm |
| } |
| } |
| } |
| }, |
| cellRow := { |
| statedCellRow := { |
| { |
| inState := { |
| state := "idle" |
| }, |
| cell := { |
| actionList := { |
| { |
| stepOrFunctionName := "COAP Applib: init", |
| contextArgs := omit |
| }, |
| { |
| stepOrFunctionName := "IOT App COAP: setLocalAddress_byVars", |
| contextArgs := { |
| varNames := { |
| "localHost", |
| "localPort" |
| } |
| } |
| }, |
| { |
| stepOrFunctionName := "COAP Applib: setRemoteAddress_byVars", |
| contextArgs := { |
| varNames := { |
| "remoteHost", |
| "remotePort" |
| } |
| } |
| }, |
| { |
| stepOrFunctionName := "COAP Applib: reportCoapEventForEntity", |
| contextArgs := { |
| stepContextArgs := { |
| 0 |
| } |
| } |
| }, |
| { |
| stepOrFunctionName := "LWM2M Applib: createDevice", |
| contextArgs := omit |
| }, |
| { |
| stepOrFunctionName := "LWM2M Applib: createObject", |
| contextArgs := { |
| stepContextArgs := { |
| 0 |
| } |
| } |
| }, |
| { |
| stepOrFunctionName := "LWM2M Applib: createObjectInstance", |
| contextArgs := { |
| stepContextArgs := { |
| 0 |
| } |
| } |
| }, |
| { |
| stepOrFunctionName := "LWM2M Applib: createObject", |
| contextArgs := { |
| stepContextArgs := { |
| 1 |
| } |
| } |
| }, |
| { |
| stepOrFunctionName := "LWM2M Applib: createObjectInstance", |
| contextArgs := { |
| stepContextArgs := { |
| 1 |
| } |
| } |
| }, |
| { |
| stepOrFunctionName := "LWM2M Applib: createObject", |
| contextArgs := { |
| stepContextArgs := { |
| 3 |
| } |
| } |
| }, |
| { |
| stepOrFunctionName := "LWM2M Applib: createObjectInstance", |
| contextArgs := { |
| stepContextArgs := { |
| 3 |
| } |
| } |
| }, |
| { |
| stepOrFunctionName := "LWM2M Applib: createObject", |
| contextArgs := { |
| stepContextArgs := { |
| 6 |
| } |
| } |
| }, |
| { |
| stepOrFunctionName := "LWM2M Applib: createObjectInstance", |
| contextArgs := { |
| stepContextArgs := { |
| 6 |
| } |
| } |
| }, |
| { |
| stepOrFunctionName := "LWM2M Applib: createObject", |
| contextArgs := { |
| stepContextArgs := { |
| 3303 |
| } |
| } |
| }, |
| { |
| stepOrFunctionName := "LWM2M Applib: createObjectInstance", |
| contextArgs := { |
| stepContextArgs := { |
| 3303 |
| } |
| } |
| }, |
| { |
| stepOrFunctionName := "LWM2M Applib: logDevice", |
| contextArgs := omit |
| }, |
| { |
| stepOrFunctionName := "IOT Fsm LWM2M_SimDevice: initResourceValues", |
| contextArgs := omit |
| }, |
| { |
| stepOrFunctionName := "LWM2M Applib: loadTemplate_byStringId", |
| contextArgs := { |
| charstringValue := "t_LWM2M_SimDevice_FSM_register" |
| } |
| }, |
| { |
| stepOrFunctionName := "IOT App LwM2M: setClientNameInRegister", |
| contextArgs := omit |
| }, |
| { |
| stepOrFunctionName := "LWM2M Applib: send", |
| contextArgs := omit |
| } |
| }, |
| nextStateCalculation := omit, |
| nextState := "inititated" |
| } |
| } |
| } |
| } |
| }, |
| { |
| events2Listen := { |
| events := { |
| { |
| singleEvent := { |
| bName := "LWM2M Behavior", |
| iName := "LWM2M rsp: 201", |
| eventType := entity |
| } |
| } |
| } |
| }, |
| cellRow := { |
| statedCellRow := { |
| { |
| inState := { |
| state := "inititated" |
| }, |
| cell := { |
| actionList := { |
| { |
| stepOrFunctionName := "LGenBase: StepFunction_timerStart", |
| contextArgs := { |
| timerName := "update" |
| } |
| }, |
| { |
| stepOrFunctionName := "LGenBase: StepFunction_timerStart", |
| contextArgs := { |
| timerName := "refresh" |
| } |
| } |
| }, |
| nextStateCalculation := omit, |
| nextState := "registered" |
| } |
| } |
| } |
| } |
| }, |
| { |
| events2Listen := { |
| events := { |
| { |
| singleEvent := { |
| bName := "LWM2M Behavior", |
| iName := "LWM2M rsp: 204", |
| eventType := entity |
| } |
| } |
| } |
| }, |
| cellRow := { |
| statedCellRow := { |
| { |
| inState := { |
| state := "registered" |
| }, |
| cell := { |
| actionList := { |
| { |
| stepOrFunctionName := "LGenBase: StepFunction_timerStart", |
| contextArgs := { |
| timerName := "update" |
| } |
| } |
| }, |
| nextStateCalculation := omit, |
| nextState := "registered" |
| } |
| } |
| } |
| } |
| }, |
| { |
| events2Listen := { |
| events := { |
| { |
| singleEvent := { |
| bName := "LWM2M Behavior", |
| iName := "LWM2M rsp: 202", |
| eventType := entity |
| } |
| } |
| } |
| }, |
| cellRow := { |
| statedCellRow := { |
| { |
| inState := { |
| state := "deregistering" |
| }, |
| cell := { |
| actionList := { |
| { |
| stepOrFunctionName := "IOT App: tcFinished_withVerdict", |
| contextArgs := { |
| verdict := { |
| verdict := pass, |
| reason := "" |
| } |
| } |
| } |
| }, |
| nextStateCalculation := omit, |
| nextState := "idle" |
| } |
| } |
| } |
| } |
| }, |
| { |
| events2Listen := { |
| events := { |
| { |
| singleEvent := { |
| bName := "LWM2M Behavior", |
| iName := "LWM2M rsp: 3xxto6xx", |
| eventType := entity |
| } |
| } |
| } |
| }, |
| cellRow := { |
| statedCellRow := { |
| { |
| inState := { |
| state := "inititated" |
| }, |
| cell := { |
| actionList := { |
| { |
| stepOrFunctionName := "IOT App: tcFinished_withVerdict", |
| contextArgs := { |
| verdict := { |
| verdict := fail, |
| reason := "" |
| } |
| } |
| } |
| }, |
| nextStateCalculation := omit, |
| nextState := "idle" |
| } |
| }, |
| { |
| inState := { |
| state := "registered" |
| }, |
| cell := { |
| actionList := { |
| { |
| stepOrFunctionName := "IOT App: tcFinished_withVerdict", |
| contextArgs := { |
| verdict := { |
| verdict := fail, |
| reason := "" |
| } |
| } |
| } |
| }, |
| nextStateCalculation := omit, |
| nextState := "idle" |
| } |
| }, |
| { |
| inState := { |
| state := "deregistering" |
| }, |
| cell := { |
| actionList := { |
| { |
| stepOrFunctionName := "IOT App: tcFinished_withVerdict", |
| contextArgs := { |
| verdict := { |
| verdict := fail, |
| reason := "" |
| } |
| } |
| } |
| }, |
| nextStateCalculation := omit, |
| nextState := "idle" |
| } |
| } |
| } |
| } |
| }, |
| { |
| events2Listen := { |
| events := { |
| { |
| singleEvent := { |
| bName := "LWM2M Behavior", |
| iName := "LWM2M req: Read", |
| eventType := entity |
| } |
| } |
| } |
| }, |
| cellRow := { |
| statedCellRow := { |
| { |
| inState := { |
| state := "registered" |
| }, |
| cell := { |
| actionList := { |
| { |
| stepOrFunctionName := "COAP Applib: handleRequest", |
| contextArgs := omit |
| }, |
| { |
| stepOrFunctionName := "LWM2M Applib: handleReadRequest", |
| contextArgs := omit |
| } |
| }, |
| nextStateCalculation := omit, |
| nextState := "registered" |
| } |
| } |
| } |
| } |
| }, |
| { |
| events2Listen := { |
| events := { |
| { |
| singleEvent := { |
| bName := "LWM2M Behavior", |
| iName := "LWM2M req: Write", |
| eventType := entity |
| } |
| } |
| } |
| }, |
| cellRow := { |
| statedCellRow := { |
| { |
| inState := { |
| state := "registered" |
| }, |
| cell := { |
| actionList := { |
| { |
| stepOrFunctionName := "COAP Applib: handleRequest", |
| contextArgs := omit |
| }, |
| { |
| stepOrFunctionName := "LWM2M Applib: handleWriteRequest", |
| contextArgs := omit |
| } |
| }, |
| nextStateCalculation := omit, |
| nextState := "registered" |
| } |
| } |
| } |
| } |
| }, |
| { |
| events2Listen := { |
| events := { |
| { |
| singleEvent := { |
| bName := "LWM2M Behavior", |
| iName := "LWM2M req: Execute", |
| eventType := entity |
| } |
| } |
| } |
| }, |
| cellRow := { |
| statedCellRow := { |
| { |
| inState := { |
| state := "registered" |
| }, |
| cell := { |
| actionList := { |
| { |
| stepOrFunctionName := "COAP Applib: handleRequest", |
| contextArgs := omit |
| }, |
| { |
| stepOrFunctionName := "LWM2M Applib: handleExecuteRequest", |
| contextArgs := omit |
| } |
| }, |
| nextStateCalculation := omit, |
| nextState := "registered" |
| } |
| } |
| } |
| } |
| }, |
| { |
| events2Listen := { |
| events := { |
| { |
| singleEvent := { |
| bName := "Special behavior for timeout reporting", |
| iName := "update", |
| eventType := fsm |
| } |
| } |
| } |
| }, |
| cellRow := { |
| statedCellRow := { |
| { |
| inState := { |
| state := "registered" |
| }, |
| cell := { |
| actionList := { |
| { |
| stepOrFunctionName := "LWM2M Applib: loadTemplate_byStringId", |
| contextArgs := { |
| charstringValue := "t_LWM2M_SimDevice_FSM_update" |
| } |
| }, |
| { |
| stepOrFunctionName := "LWM2M Applib: send", |
| contextArgs := omit |
| } |
| }, |
| nextStateCalculation := omit, |
| nextState := "registered" |
| } |
| } |
| } |
| } |
| }, |
| { |
| events2Listen := { |
| events := { |
| { |
| singleEvent := { |
| bName := "EPTF_CLL_LGenBase", |
| iName := "LGenBase: Stop_the_traffic_case!", |
| eventType := fsm |
| } |
| } |
| } |
| }, |
| cellRow := { |
| statedCellRow := { |
| { |
| inState := { |
| state := "registered" |
| }, |
| cell := { |
| actionList := { |
| { |
| stepOrFunctionName := "LGenBase: StepFunction_timerCancelIfRunning", |
| contextArgs := { |
| timerName := "update" |
| } |
| }, |
| { |
| stepOrFunctionName := "LWM2M Applib: loadTemplate_byStringId", |
| contextArgs := { |
| charstringValue := "t_LWM2M_SimDevice_FSM_deregister" |
| } |
| }, |
| { |
| stepOrFunctionName := "LWM2M Applib: send", |
| contextArgs := omit |
| } |
| }, |
| nextStateCalculation := omit, |
| nextState := "deregistering" |
| } |
| } |
| } |
| } |
| }, |
| { |
| events2Listen := { |
| events := { |
| { |
| singleEvent := { |
| bName := "Special behavior for timeout reporting", |
| iName := "userWatchdog", |
| eventType := fsm |
| } |
| } |
| } |
| }, |
| cellRow := { |
| statedCellRow := { |
| { |
| inState := { |
| state := "inititated" |
| }, |
| cell := { |
| actionList := { |
| { |
| stepOrFunctionName := "IOT App: tcFinished_withVerdict", |
| contextArgs := { |
| verdict := { |
| verdict := fail, |
| reason := "" |
| } |
| } |
| } |
| }, |
| nextStateCalculation := omit, |
| nextState := "idle" |
| } |
| } |
| } |
| } |
| }, |
| { |
| events2Listen := { |
| events := { |
| { |
| singleEvent := { |
| bName := "COAP Behavior", |
| iName := "COAP transaction: timeout", |
| eventType := fsm |
| } |
| } |
| } |
| }, |
| cellRow := { |
| statedCellRow := { |
| { |
| inState := { |
| state := "inititated" |
| }, |
| cell := { |
| actionList := { |
| { |
| stepOrFunctionName := "IOT App: tcFinished_withVerdict", |
| contextArgs := { |
| verdict := { |
| verdict := fail, |
| reason := "" |
| } |
| } |
| } |
| }, |
| nextStateCalculation := omit, |
| nextState := "idle" |
| } |
| }, |
| { |
| inState := { |
| state := "registered" |
| }, |
| cell := { |
| actionList := { |
| { |
| stepOrFunctionName := "IOT App: tcFinished_withVerdict", |
| contextArgs := { |
| verdict := { |
| verdict := fail, |
| reason := "" |
| } |
| } |
| } |
| }, |
| nextStateCalculation := omit, |
| nextState := "idle" |
| } |
| }, |
| { |
| inState := { |
| state := "deregistering" |
| }, |
| cell := { |
| actionList := { |
| { |
| stepOrFunctionName := "IOT App: tcFinished_withVerdict", |
| contextArgs := { |
| verdict := { |
| verdict := fail, |
| reason := "" |
| } |
| } |
| } |
| }, |
| nextStateCalculation := omit, |
| nextState := "idle" |
| } |
| } |
| } |
| } |
| }, |
| { |
| events2Listen := { |
| events := { |
| { |
| singleEvent := { |
| bName := "Special behavior for timeout reporting", |
| iName := "refresh", |
| eventType := fsm |
| } |
| } |
| } |
| }, |
| cellRow := { |
| statedCellRow := { |
| { |
| inState := { |
| state := "registered" |
| }, |
| cell := { |
| actionList := { |
| { |
| stepOrFunctionName := "IOT Fsm LWM2M_SimDevice: updateResourceValues", |
| contextArgs := omit |
| }, |
| { |
| stepOrFunctionName := "LGenBase: StepFunction_timerStart", |
| contextArgs := { |
| timerName := "refresh" |
| } |
| } |
| }, |
| nextStateCalculation := omit, |
| nextState := "registered" |
| } |
| } |
| } |
| } |
| } |
| } |
| } |
| }, |
| { |
| /**** FSM Editor layout information. **** |
| @state "initiated" (541, 159) |
| @state "reading" (991, 519) |
| @state "idle" (78, 521) |
| @parallellink "initiated" -- "idle" (526, 171) (483, 205) * (93, 509) (136, 475) |
| @link "initiated" -- "idle" |
| singleevent "HTTP Behavior" "HTTP Message arrived, Result Code: 4XX" |
| @link "idle" -- "initiated" |
| singleevent "EPTF_CLL_LGenBase" "LGenBase: Start_the_traffic_case!" |
| @link "initiated" -- "idle" |
| singleevent "Special behavior for timeout reporting" "userWatchdog" |
| @parallellink "reading" -- "idle" (966, 519) (879, 519) * (93, 521) (180, 521) |
| @link "reading" -- "idle" |
| singleevent "HTTP Behavior" "HTTP Message arrived, Result Code: 4XX" |
| @link "reading" -- "idle" |
| singleevent "Special behavior for timeout reporting" "userWatchdog" |
| @link "reading" -- "idle" |
| singleevent "HTTP Behavior" "HTTP Message arrived, Result Code: 200 Ok" |
| @parallellink "initiated" -- "reading" (556, 171) (598, 205) * (976, 507) (934, 473) |
| @link "initiated" -- "reading" |
| singleevent "HTTP Behavior" "HTTP Message arrived, Result Code: 200 Ok" |
| */ |
| name := "HTTP_GET_FSM", |
| fsmParams := { |
| { |
| stateList := { |
| "idle", |
| "initiated", |
| "reading" |
| } |
| }, |
| { |
| timerList := { |
| { |
| name := "userWatchdog", |
| startValue := 10.0 |
| } |
| } |
| }, |
| { |
| varList := { |
| // var:remoteHost |
| { |
| name := "remoteHost", |
| initValue := { |
| charstringVal := "127.0.0.1" |
| }, |
| scope := TC |
| }, |
| // var:remotePort |
| { |
| name := "remotePort", |
| initValue := { |
| intVal := 8080 |
| }, |
| scope := TC |
| }, |
| // var:clientName |
| { |
| name := "clientName", |
| initValue := { |
| charstringVal := "" |
| }, |
| scope := TC |
| }, |
| { |
| name := "localHost", |
| initValue := { |
| charstringVal := "127.0.0.1" |
| }, |
| scope := TC |
| },//var:localHost |
| { |
| name := "localPort", |
| initValue := { |
| intVal := 20000 |
| }, |
| scope := TC |
| }//var:localPort |
| } |
| }, |
| { |
| statHandlerStatList := { } |
| } |
| },// fsmParams |
| table := { |
| extendedTable := { |
| { |
| events2Listen := { |
| events := { |
| { |
| singleEvent := { |
| bName := "HTTP Behavior", |
| iName := "HTTP Message arrived, Result Code: 4XX", |
| eventType := fsm |
| } |
| } |
| } |
| }, |
| cellRow := { |
| statedCellRow := { |
| { |
| inState := { |
| state := "initiated" |
| }, |
| cell := { |
| actionList := { |
| { |
| stepOrFunctionName := "IOT App HTTP: closeConnection", |
| contextArgs := omit |
| }, |
| { |
| stepOrFunctionName := "IOT App: tcFinished_withVerdict", |
| contextArgs := { |
| verdict := { |
| verdict := fail, |
| reason := "" |
| } |
| } |
| } |
| }, |
| nextStateCalculation := omit, |
| nextState := "idle" |
| } |
| }, |
| { |
| inState := { |
| state := "reading" |
| }, |
| cell := { |
| actionList := { |
| { |
| stepOrFunctionName := "IOT App HTTP: closeConnection", |
| contextArgs := omit |
| }, |
| { |
| stepOrFunctionName := "IOT App: tcFinished_withVerdict", |
| contextArgs := { |
| verdict := { |
| verdict := fail, |
| reason := "" |
| } |
| } |
| } |
| }, |
| nextStateCalculation := omit, |
| nextState := "idle" |
| } |
| } |
| } |
| } |
| }, |
| { |
| events2Listen := { |
| events := { |
| { |
| singleEvent := { |
| bName := "EPTF_CLL_LGenBase", |
| iName := "LGenBase: Start_the_traffic_case!", |
| eventType := fsm |
| } |
| } |
| } |
| }, |
| cellRow := { |
| statedCellRow := { |
| { |
| inState := { |
| state := "idle" |
| }, |
| cell := { |
| actionList := { |
| { |
| stepOrFunctionName := "IOT App HTTP: initEntityContext", |
| contextArgs := omit |
| }, |
| { |
| stepOrFunctionName := "IOT App HTTP: openConnection_byVars", |
| contextArgs := { |
| varNames := { |
| "localHost", |
| "localPort", |
| "remoteHost", |
| "remotePort" |
| } |
| } |
| }, |
| { |
| stepOrFunctionName := "IOT App HTTP: setMethod_stringParam", |
| contextArgs := { |
| charstringValue := "GET" |
| } |
| }, |
| { |
| stepOrFunctionName := "IOT App HTTP: setUri_stringParam", |
| contextArgs := { |
| charstringValue := "/api/clients" |
| } |
| }, |
| { |
| stepOrFunctionName := "IOT App HTTP: addHostHeader_byVars", |
| contextArgs := { |
| varNames := { |
| "remoteHost", |
| "remotePort" |
| } |
| } |
| }, |
| { |
| stepOrFunctionName := "EPTF HTTP: Sends HTTP Request", |
| contextArgs := omit |
| }, |
| { |
| stepOrFunctionName := "LGenBase: StepFunction_timerStart", |
| contextArgs := { |
| timerName := "userWatchdog" |
| } |
| } |
| }, |
| nextStateCalculation := omit, |
| nextState := "initiated" |
| } |
| } |
| } |
| } |
| }, |
| { |
| events2Listen := { |
| events := { |
| { |
| singleEvent := { |
| bName := "Special behavior for timeout reporting", |
| iName := "userWatchdog", |
| eventType := fsm |
| } |
| } |
| } |
| }, |
| cellRow := { |
| statedCellRow := { |
| { |
| inState := { |
| state := "initiated" |
| }, |
| cell := { |
| actionList := { |
| { |
| stepOrFunctionName := "IOT App HTTP: closeConnection", |
| contextArgs := omit |
| }, |
| { |
| stepOrFunctionName := "IOT App: tcFinished_withVerdict", |
| contextArgs := { |
| verdict := { |
| verdict := fail, |
| reason := "" |
| } |
| } |
| } |
| }, |
| nextStateCalculation := omit, |
| nextState := "idle" |
| } |
| }, |
| { |
| inState := { |
| state := "reading" |
| }, |
| cell := { |
| actionList := { |
| { |
| stepOrFunctionName := "IOT App HTTP: closeConnection", |
| contextArgs := omit |
| }, |
| { |
| stepOrFunctionName := "IOT App: tcFinished_withVerdict", |
| contextArgs := { |
| verdict := { |
| verdict := fail, |
| reason := "" |
| } |
| } |
| } |
| }, |
| nextStateCalculation := omit, |
| nextState := "idle" |
| } |
| } |
| } |
| } |
| }, |
| { |
| events2Listen := { |
| events := { |
| { |
| singleEvent := { |
| bName := "HTTP Behavior", |
| iName := "HTTP Message arrived, Result Code: 200 Ok", |
| eventType := fsm |
| } |
| } |
| } |
| }, |
| cellRow := { |
| statedCellRow := { |
| { |
| inState := { |
| state := "initiated" |
| }, |
| cell := { |
| actionList := { |
| { |
| stepOrFunctionName := "IOT App Leshan: getClientFromResponse_intoVar", |
| contextArgs := { |
| varNames := { |
| "clientName" |
| } |
| } |
| }, |
| { |
| stepOrFunctionName := "IOT App HTTP: setUri_stringParam", |
| contextArgs := { |
| charstringValue := "/api/clients/" |
| } |
| }, |
| { |
| stepOrFunctionName := "IOT App HTTP: addToUri_byVars", |
| contextArgs := { |
| varNames := { |
| "clientName" |
| } |
| } |
| }, |
| { |
| stepOrFunctionName := "IOT App HTTP: addToUri_stringParam", |
| contextArgs := { |
| charstringValue := "/3/0/0?format=JSON" |
| } |
| }, |
| { |
| stepOrFunctionName := "EPTF HTTP: Sends HTTP Request", |
| contextArgs := omit |
| } |
| }, |
| nextStateCalculation := omit, |
| nextState := "reading" |
| } |
| }, |
| { |
| inState := { |
| state := "reading" |
| }, |
| cell := { |
| actionList := { |
| { |
| stepOrFunctionName := "IOT App HTTP: closeConnection", |
| contextArgs := omit |
| }, |
| { |
| stepOrFunctionName := "IOT App: tcFinished_withVerdict", |
| contextArgs := { |
| verdict := { |
| verdict := pass, |
| reason := "" |
| } |
| } |
| } |
| }, |
| nextStateCalculation := omit, |
| nextState := "idle" |
| } |
| } |
| } |
| } |
| } |
| } |
| } |
| } |
| } |
| |