@freelog/freelog-cg-collection 1.2.12 → 1.2.13

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (22) hide show
  1. package/dist/model/exp/FunctionCallInfo.d.ts +5 -7
  2. package/dist/model/exp-condition/ExpCondition.d.ts +6 -8
  3. package/dist/model/policy/ActionInfo.d.ts +1 -0
  4. package/dist/model/policy/PolicyInfo.d.ts +25 -26
  5. package/dist/tools/PolicyDecompiler.d.ts +26 -0
  6. package/dist/tools/PolicyDecompiler.js +298 -0
  7. package/dist/tools/PolicyMapper.d.ts +3 -0
  8. package/dist/tools/PolicyMapper.js +81 -0
  9. package/index.js +5 -0
  10. package/package.json +1 -1
  11. package/resources/zhaojn.json +1947 -7
  12. package/resources/zhaojn.sc +58 -2
  13. package/resources/zhaojn2.json +61 -113
  14. package/resources/zhaojn3.json +76 -0
  15. package/src/model/exp/FunctionCallInfo.ts +2 -2
  16. package/src/model/exp-condition/ExpCondition.ts +2 -2
  17. package/src/model/policy/ActionInfo.ts +1 -1
  18. package/src/model/policy/PolicyInfo.ts +28 -22
  19. package/src/tools/PolicyDecompiler.ts +329 -0
  20. package/src/tools/PolicyMapper.ts +81 -0
  21. package/test/tools/PolicyDecompilerTest.test.ts +9 -0
  22. package/test/tools/PolicyMapperTest.test.ts +15 -0
package/resources/zhaojn.json CHANGED
@@ -1,17 +1,1959 @@
1
1
  {
2
2
  "audienceSection": {
3
- "conditions": [],
3
+ "conditions": [
4
+ {
5
+ "paramValue": "echoSubject",
6
+ "paramValueObj": {
7
+ "expType": "variableChain",
8
+ "varType": "normal",
9
+ "content": "echoSubject",
10
+ "variableChainList": [
11
+ "echoSubject"
12
+ ]
13
+ },
14
+ "content": "echoSubject=echoSubject",
15
+ "paramName": "echoSubject"
16
+ },
17
+ {
18
+ "paramValue": "echoCorePolicyId",
19
+ "paramValueObj": {
20
+ "expType": "variableChain",
21
+ "varType": "normal",
22
+ "content": "echoCorePolicyId",
23
+ "variableChainList": [
24
+ "echoCorePolicyId"
25
+ ]
26
+ },
27
+ "content": "echoPolicyId=echoCorePolicyId",
28
+ "paramName": "echoPolicyId"
29
+ },
30
+ {
31
+ "paramValue": "[\"vip1\"]",
32
+ "paramValueObj": {
33
+ "expType": "expCondition",
34
+ "paramList": [
35
+ {
36
+ "paramValue": "\"vip1\"",
37
+ "paramValueObj": {
38
+ "expType": "string",
39
+ "value": "vip1"
40
+ }
41
+ }
42
+ ],
43
+ "variableChainList": []
44
+ },
45
+ "content": "labels=[\"vip1\"]",
46
+ "paramName": "labels"
47
+ }
48
+ ],
4
49
  "audiences": [
5
- "PUBLIC"
50
+ "USER"
6
51
  ]
7
52
  },
8
53
  "contractDeclarationSection": {
9
- "contractDeclarations": []
54
+ "contractDeclarations": [
55
+ {
56
+ "type": "contractDeclaration",
57
+ "content": "USE&Contract(subject=Echo.<连载小说的会员>,policyId=echoCorePolicyId,licensee=contract.licensee)ASmembership",
58
+ "keywords": [
59
+ "USE"
60
+ ],
61
+ "varValueObj": {
62
+ "expType": "varContractDeclaration",
63
+ "keyword": "USE",
64
+ "type": "Contract",
65
+ "conditions": [
66
+ {
67
+ "paramValue": "Echo.<连载小说的会员>",
68
+ "paramValueObj": {
69
+ "expType": "entity",
70
+ "entityType": "Echo",
71
+ "entityName": "连载小说的会员",
72
+ "variableChainList": []
73
+ },
74
+ "content": "subject=Echo.<连载小说的会员>",
75
+ "paramName": "subject"
76
+ },
77
+ {
78
+ "paramValue": "echoCorePolicyId",
79
+ "paramValueObj": {
80
+ "expType": "variableChain",
81
+ "varType": "normal",
82
+ "content": "echoCorePolicyId",
83
+ "variableChainList": [
84
+ "echoCorePolicyId"
85
+ ]
86
+ },
87
+ "content": "policyId=echoCorePolicyId",
88
+ "paramName": "policyId"
89
+ },
90
+ {
91
+ "paramValue": "contract.licensee",
92
+ "paramValueObj": {
93
+ "expType": "variableChain",
94
+ "varType": "normal",
95
+ "content": "contract.licensee",
96
+ "variableChainList": [
97
+ "contract.licensee"
98
+ ]
99
+ },
100
+ "content": "licensee=contract.licensee",
101
+ "paramName": "licensee"
102
+ }
103
+ ],
104
+ "varName": "membership",
105
+ "varValue": "USE&Contract(subject=Echo.<连载小说的会员>,policyId=echoCorePolicyId,licensee=contract.licensee)",
106
+ "varValueType": "any"
107
+ }
108
+ }
109
+ ]
10
110
  },
11
- "varDeclarationList": [],
111
+ "varDeclarationList": [
112
+ {
113
+ "type": "varGlobal",
114
+ "content": "labels0=Query.EchoService.Labels({\"subject\":echoSubject,\"policyId\":echoCorePolicyId,\"licensee\":contract.licensee})",
115
+ "varName": "labels0",
116
+ "varValue": "Query.EchoService.Labels({\"subject\":echoSubject,\"policyId\":echoCorePolicyId,\"licensee\":contract.licensee})",
117
+ "varValueObj": {
118
+ "funcName": "Labels",
119
+ "variableChainList": [
120
+ "echoSubject",
121
+ "echoCorePolicyId",
122
+ "contract.licensee"
123
+ ],
124
+ "paramList": [
125
+ {
126
+ "paramValue": "{\"subject\":echoSubject,\"policyId\":echoCorePolicyId,\"licensee\":contract.licensee}",
127
+ "paramValueObj": {
128
+ "expType": "expArgsGroup",
129
+ "paramList": [
130
+ {
131
+ "paramName": "subject",
132
+ "paramValue": "echoSubject",
133
+ "paramValueObj": {
134
+ "expType": "variableChain",
135
+ "varType": "normal",
136
+ "content": "echoSubject"
137
+ }
138
+ },
139
+ {
140
+ "paramName": "policyId",
141
+ "paramValue": "echoCorePolicyId",
142
+ "paramValueObj": {
143
+ "expType": "variableChain",
144
+ "varType": "normal",
145
+ "content": "echoCorePolicyId"
146
+ }
147
+ },
148
+ {
149
+ "paramName": "licensee",
150
+ "paramValue": "contract.licensee",
151
+ "paramValueObj": {
152
+ "expType": "variableChain",
153
+ "varType": "normal",
154
+ "content": "contract.licensee"
155
+ }
156
+ }
157
+ ]
158
+ },
159
+ "content": "{\"subject\":echoSubject,\"policyId\":echoCorePolicyId,\"licensee\":contract.licensee}"
160
+ }
161
+ ],
162
+ "expType": "functionCall",
163
+ "varChain": "Query.EchoService"
164
+ },
165
+ "varValueType": "array"
166
+ },
167
+ {
168
+ "type": "varMacro",
169
+ "content": "echoSubject<-Echo.<连载小说的会员>",
170
+ "varName": "echoSubject",
171
+ "varValue": "Echo.<连载小说的会员>",
172
+ "varValueObj": {
173
+ "expType": "entity",
174
+ "entityType": "Echo",
175
+ "entityName": "连载小说的会员",
176
+ "variableChainList": []
177
+ },
178
+ "varValueType": "entity"
179
+ },
180
+ {
181
+ "type": "varGlobal",
182
+ "content": "echoCorePolicyId=\"xxx连载小说会员的主策略ID\"",
183
+ "varName": "echoCorePolicyId",
184
+ "varValue": "\"xxx连载小说会员的主策略ID\"",
185
+ "varValueObj": {
186
+ "expType": "string",
187
+ "value": "xxx连载小说会员的主策略ID",
188
+ "variableChainList": []
189
+ },
190
+ "varValueType": "string"
191
+ },
192
+ {
193
+ "type": "varMacro",
194
+ "content": "unitPrice<-(+1)",
195
+ "varName": "unitPrice",
196
+ "varValue": "(+1)",
197
+ "varValueObj": {
198
+ "expType": "expParen",
199
+ "var1": {
200
+ "expType": "expSigned",
201
+ "var1": {
202
+ "expType": "number",
203
+ "value": "1"
204
+ },
205
+ "symbol": "+"
206
+ },
207
+ "variableChainList": []
208
+ },
209
+ "varValueType": "number"
210
+ },
211
+ {
212
+ "type": "varGlobal",
213
+ "content": "setUnlocked=[]",
214
+ "varName": "setUnlocked",
215
+ "varValue": "[]",
216
+ "varValueObj": {
217
+ "expType": "expCondition",
218
+ "paramList": [],
219
+ "variableChainList": []
220
+ },
221
+ "varValueType": "array"
222
+ },
223
+ {
224
+ "type": "varGlobal",
225
+ "content": "setTemp=[]",
226
+ "varName": "setTemp",
227
+ "varValue": "[]",
228
+ "varValueObj": {
229
+ "expType": "expCondition",
230
+ "paramList": [],
231
+ "variableChainList": []
232
+ },
233
+ "varValueType": "array"
234
+ },
235
+ {
236
+ "type": "varGlobal",
237
+ "content": "setFree=[]",
238
+ "varName": "setFree",
239
+ "varValue": "[]",
240
+ "varValueObj": {
241
+ "expType": "expCondition",
242
+ "paramList": [],
243
+ "variableChainList": []
244
+ },
245
+ "varValueType": "array"
246
+ },
247
+ {
248
+ "type": "expCustom",
249
+ "content": "defExprs2CalculateExpr(sumAmounts,discount1,discount2)=[sumAmountsgreater10000:discount1*(sumAmounts-10000)+discount2*7500,sumAmountsgreater2500andsumAmountslessOrEqual10000:discount2*(sumAmounts-2500),0]",
250
+ "varName": "s2CalculateExpr",
251
+ "varValue": "[sumAmountsgreater10000:discount1*(sumAmounts-10000)+discount2*7500,sumAmountsgreater2500andsumAmountslessOrEqual10000:discount2*(sumAmounts-2500),0]",
252
+ "varValueObj": {
253
+ "expType": "expCondition",
254
+ "paramList": [
255
+ {
256
+ "paramValue": "discount1*(sumAmounts-10000)+discount2*7500",
257
+ "paramValueObj": {
258
+ "expType": "expOp",
259
+ "var1": {
260
+ "expType": "expOp",
261
+ "var1": {
262
+ "expType": "variableChain",
263
+ "varType": "normal",
264
+ "content": "discount1"
265
+ },
266
+ "var2": {
267
+ "expType": "expParen",
268
+ "var1": {
269
+ "expType": "expOp",
270
+ "var1": {
271
+ "expType": "variableChain",
272
+ "varType": "normal",
273
+ "content": "sumAmounts"
274
+ },
275
+ "var2": {
276
+ "expType": "number",
277
+ "value": "10000"
278
+ },
279
+ "op": "-"
280
+ }
281
+ },
282
+ "op": "*"
283
+ },
284
+ "var2": {
285
+ "expType": "expOp",
286
+ "var1": {
287
+ "expType": "variableChain",
288
+ "varType": "normal",
289
+ "content": "discount2"
290
+ },
291
+ "var2": {
292
+ "expType": "number",
293
+ "value": "7500"
294
+ },
295
+ "op": "*"
296
+ },
297
+ "op": "+"
298
+ },
299
+ "paramCondition": "sumAmountsgreater10000",
300
+ "paramConditionObj": {
301
+ "expType": "expBooleanOpCompare",
302
+ "var1": {
303
+ "expType": "variableChain",
304
+ "varType": "normal",
305
+ "content": "sumAmounts"
306
+ },
307
+ "var2": {
308
+ "expType": "number",
309
+ "value": "10000"
310
+ },
311
+ "op": "greater"
312
+ }
313
+ },
314
+ {
315
+ "paramValue": "discount2*(sumAmounts-2500)",
316
+ "paramValueObj": {
317
+ "expType": "expOp",
318
+ "var1": {
319
+ "expType": "variableChain",
320
+ "varType": "normal",
321
+ "content": "discount2"
322
+ },
323
+ "var2": {
324
+ "expType": "expParen",
325
+ "var1": {
326
+ "expType": "expOp",
327
+ "var1": {
328
+ "expType": "variableChain",
329
+ "varType": "normal",
330
+ "content": "sumAmounts"
331
+ },
332
+ "var2": {
333
+ "expType": "number",
334
+ "value": "2500"
335
+ },
336
+ "op": "-"
337
+ }
338
+ },
339
+ "op": "*"
340
+ },
341
+ "paramCondition": "sumAmountsgreater2500andsumAmountslessOrEqual10000",
342
+ "paramConditionObj": {
343
+ "expType": "expBooleanOpLogic",
344
+ "var1": {
345
+ "expType": "expBooleanOpCompare",
346
+ "var1": {
347
+ "expType": "variableChain",
348
+ "varType": "normal",
349
+ "content": "sumAmounts"
350
+ },
351
+ "var2": {
352
+ "expType": "number",
353
+ "value": "2500"
354
+ },
355
+ "op": "greater"
356
+ },
357
+ "var2": {
358
+ "expType": "expBooleanOpCompare",
359
+ "var1": {
360
+ "expType": "variableChain",
361
+ "varType": "normal",
362
+ "content": "sumAmounts"
363
+ },
364
+ "var2": {
365
+ "expType": "number",
366
+ "value": "10000"
367
+ },
368
+ "op": "lessOrEqual"
369
+ },
370
+ "op": "and"
371
+ }
372
+ },
373
+ {
374
+ "paramValue": "0",
375
+ "paramValueObj": {
376
+ "expType": "number",
377
+ "value": "0"
378
+ }
379
+ }
380
+ ]
381
+ },
382
+ "paramList": [
383
+ "sumAmounts",
384
+ "discount1",
385
+ "discount2"
386
+ ]
387
+ }
388
+ ],
12
389
  "stateMachine": [
13
390
  {
14
391
  "stateName": "Initial",
392
+ "assignments": [
393
+ {
394
+ "type": "varInitial",
395
+ "content": "letlabels=Query.EchoService.Labels({\"subject\":echoSubject,\"licensee\":contract.licensee})",
396
+ "varName": "labels",
397
+ "varValue": "Query.EchoService.Labels({\"subject\":echoSubject,\"licensee\":contract.licensee})",
398
+ "varValueObj": {
399
+ "funcName": "Labels",
400
+ "variableChainList": [
401
+ "echoSubject",
402
+ "contract.licensee"
403
+ ],
404
+ "paramList": [
405
+ {
406
+ "paramValue": "{\"subject\":echoSubject,\"licensee\":contract.licensee}",
407
+ "paramValueObj": {
408
+ "expType": "expArgsGroup",
409
+ "paramList": [
410
+ {
411
+ "paramName": "subject",
412
+ "paramValue": "echoSubject",
413
+ "paramValueObj": {
414
+ "expType": "variableChain",
415
+ "varType": "normal",
416
+ "content": "echoSubject"
417
+ }
418
+ },
419
+ {
420
+ "paramName": "licensee",
421
+ "paramValue": "contract.licensee",
422
+ "paramValueObj": {
423
+ "expType": "variableChain",
424
+ "varType": "normal",
425
+ "content": "contract.licensee"
426
+ }
427
+ }
428
+ ]
429
+ },
430
+ "content": "{\"subject\":echoSubject,\"licensee\":contract.licensee}"
431
+ }
432
+ ],
433
+ "expType": "functionCall",
434
+ "varChain": "Query.EchoService"
435
+ },
436
+ "varValueType": "array"
437
+ }
438
+ ],
439
+ "events": [
440
+ {
441
+ "type": "normal",
442
+ "content": "Event.Void(not(\"vip2\"inlabels))->AUTH_MEMBER{fun.setLabel({\"label\":\"vip2\",\"ttl\":7200})}",
443
+ "config_params": [
444
+ {
445
+ "name": "condition",
446
+ "type": "boolean",
447
+ "optional": true
448
+ }
449
+ ],
450
+ "eventName": "Void",
451
+ "variableChainList": [
452
+ "labels"
453
+ ],
454
+ "eventParamList": [
455
+ {
456
+ "paramValue": "not(\"vip2\"inlabels)",
457
+ "paramValueObj": {
458
+ "expType": "expBooleanOpLogic",
459
+ "var1": {
460
+ "expType": "expBooleanParen",
461
+ "var1": {
462
+ "expType": "expBooleanOpCollection",
463
+ "var1": {
464
+ "expType": "string",
465
+ "value": "vip2"
466
+ },
467
+ "var2": {
468
+ "expType": "variableChain",
469
+ "varType": "normal",
470
+ "content": "labels"
471
+ },
472
+ "op": "in"
473
+ }
474
+ },
475
+ "op": "not",
476
+ "variableChainList": [
477
+ "labels"
478
+ ]
479
+ },
480
+ "content": "not(\"vip2\"inlabels)"
481
+ }
482
+ ],
483
+ "toState": "AUTH_MEMBER",
484
+ "stateContextArgs": [],
485
+ "actions": [
486
+ {
487
+ "type": "functionCall",
488
+ "content": "fun.setLabel({\"label\":\"vip2\",\"ttl\":7200})",
489
+ "actionObj": {
490
+ "funcName": "setLabel",
491
+ "variableChainList": [],
492
+ "paramList": [
493
+ {
494
+ "paramValue": "{\"label\":\"vip2\",\"ttl\":7200}",
495
+ "paramValueObj": {
496
+ "expType": "expArgsGroup",
497
+ "paramList": [
498
+ {
499
+ "paramName": "label",
500
+ "paramValue": "\"vip2\"",
501
+ "paramValueObj": {
502
+ "expType": "string",
503
+ "value": "vip2"
504
+ }
505
+ },
506
+ {
507
+ "paramName": "ttl",
508
+ "paramValue": "7200",
509
+ "paramValueObj": {
510
+ "expType": "number",
511
+ "value": "7200"
512
+ }
513
+ }
514
+ ],
515
+ "variableChainList": []
516
+ },
517
+ "content": "{\"label\":\"vip2\",\"ttl\":7200}"
518
+ }
519
+ ],
520
+ "expType": "functionCall",
521
+ "varChain": "fun"
522
+ }
523
+ }
524
+ ],
525
+ "eventCode": "V101",
526
+ "eventId": "b3449b02"
527
+ }
528
+ ],
529
+ "serviceStateSection": {
530
+ "serviceState": "None"
531
+ },
532
+ "stateContextArgs": []
533
+ },
534
+ {
535
+ "stateName": "AUTH_MEMBER",
536
+ "assignments": [],
537
+ "events": [
538
+ {
539
+ "type": "normal",
540
+ "content": "Event.Transaction.Pay(amount=unitPrice,elemsNum=1)->AUTH_MEMBER{fun.addElements(setUnlocked,contract.licenseeSelectedElems,false)}",
541
+ "config_params": [
542
+ {
543
+ "name": "amount",
544
+ "type": "number"
545
+ },
546
+ {
547
+ "name": "elemsNum",
548
+ "type": "number"
549
+ }
550
+ ],
551
+ "eventName": "Pay",
552
+ "variableChainList": [
553
+ "unitPrice"
554
+ ],
555
+ "eventParamList": [
556
+ {
557
+ "paramValue": "unitPrice",
558
+ "paramValueObj": {
559
+ "expType": "variableChain",
560
+ "varType": "normal",
561
+ "content": "unitPrice",
562
+ "variableChainList": [
563
+ "unitPrice"
564
+ ]
565
+ },
566
+ "content": "amount=unitPrice",
567
+ "paramName": "amount"
568
+ },
569
+ {
570
+ "paramValue": "1",
571
+ "paramValueObj": {
572
+ "expType": "number",
573
+ "value": "1",
574
+ "variableChainList": []
575
+ },
576
+ "content": "elemsNum=1",
577
+ "paramName": "elemsNum"
578
+ }
579
+ ],
580
+ "toState": "AUTH_MEMBER",
581
+ "stateContextArgs": [],
582
+ "actions": [
583
+ {
584
+ "type": "functionCall",
585
+ "content": "fun.addElements(setUnlocked,contract.licenseeSelectedElems,false)",
586
+ "actionObj": {
587
+ "funcName": "addElements",
588
+ "variableChainList": [
589
+ "setUnlocked",
590
+ "contract.licenseeSelectedElems"
591
+ ],
592
+ "paramList": [
593
+ {
594
+ "paramValue": "setUnlocked",
595
+ "paramValueObj": {
596
+ "expType": "variableChain",
597
+ "varType": "normal",
598
+ "content": "setUnlocked",
599
+ "variableChainList": [
600
+ "setUnlocked"
601
+ ]
602
+ },
603
+ "content": "setUnlocked"
604
+ },
605
+ {
606
+ "paramValue": "contract.licenseeSelectedElems",
607
+ "paramValueObj": {
608
+ "expType": "variableChain",
609
+ "varType": "normal",
610
+ "content": "contract.licenseeSelectedElems",
611
+ "variableChainList": [
612
+ "contract.licenseeSelectedElems"
613
+ ]
614
+ },
615
+ "content": "contract.licenseeSelectedElems"
616
+ },
617
+ {
618
+ "paramValue": "false",
619
+ "paramValueObj": {
620
+ "expType": "boolean",
621
+ "value": "false",
622
+ "variableChainList": []
623
+ },
624
+ "content": "false"
625
+ }
626
+ ],
627
+ "expType": "functionCall",
628
+ "varChain": "fun"
629
+ }
630
+ }
631
+ ],
632
+ "eventPath": "Transaction",
633
+ "eventCode": "T101",
634
+ "eventId": "b103eb03"
635
+ },
636
+ {
637
+ "type": "normal",
638
+ "content": "Event.Transaction.Pay(amount=unitPrice*10*0.8,elemsNum=10)->AUTH_MEMBER{fun.addElements(setUnlocked,contract.licenseeSelectedElems,false)}",
639
+ "config_params": [
640
+ {
641
+ "name": "amount",
642
+ "type": "number"
643
+ },
644
+ {
645
+ "name": "elemsNum",
646
+ "type": "number"
647
+ }
648
+ ],
649
+ "eventName": "Pay",
650
+ "variableChainList": [
651
+ "unitPrice"
652
+ ],
653
+ "eventParamList": [
654
+ {
655
+ "paramValue": "unitPrice*10*0.8",
656
+ "paramValueObj": {
657
+ "expType": "expOp",
658
+ "var1": {
659
+ "expType": "expOp",
660
+ "var1": {
661
+ "expType": "variableChain",
662
+ "varType": "normal",
663
+ "content": "unitPrice"
664
+ },
665
+ "var2": {
666
+ "expType": "number",
667
+ "value": "10"
668
+ },
669
+ "op": "*"
670
+ },
671
+ "var2": {
672
+ "expType": "number",
673
+ "value": "0.8"
674
+ },
675
+ "op": "*",
676
+ "variableChainList": [
677
+ "unitPrice"
678
+ ]
679
+ },
680
+ "content": "amount=unitPrice*10*0.8",
681
+ "paramName": "amount"
682
+ },
683
+ {
684
+ "paramValue": "10",
685
+ "paramValueObj": {
686
+ "expType": "number",
687
+ "value": "10",
688
+ "variableChainList": []
689
+ },
690
+ "content": "elemsNum=10",
691
+ "paramName": "elemsNum"
692
+ }
693
+ ],
694
+ "toState": "AUTH_MEMBER",
695
+ "stateContextArgs": [],
696
+ "actions": [
697
+ {
698
+ "type": "functionCall",
699
+ "content": "fun.addElements(setUnlocked,contract.licenseeSelectedElems,false)",
700
+ "actionObj": {
701
+ "funcName": "addElements",
702
+ "variableChainList": [
703
+ "setUnlocked",
704
+ "contract.licenseeSelectedElems"
705
+ ],
706
+ "paramList": [
707
+ {
708
+ "paramValue": "setUnlocked",
709
+ "paramValueObj": {
710
+ "expType": "variableChain",
711
+ "varType": "normal",
712
+ "content": "setUnlocked",
713
+ "variableChainList": [
714
+ "setUnlocked"
715
+ ]
716
+ },
717
+ "content": "setUnlocked"
718
+ },
719
+ {
720
+ "paramValue": "contract.licenseeSelectedElems",
721
+ "paramValueObj": {
722
+ "expType": "variableChain",
723
+ "varType": "normal",
724
+ "content": "contract.licenseeSelectedElems",
725
+ "variableChainList": [
726
+ "contract.licenseeSelectedElems"
727
+ ]
728
+ },
729
+ "content": "contract.licenseeSelectedElems"
730
+ },
731
+ {
732
+ "paramValue": "false",
733
+ "paramValueObj": {
734
+ "expType": "boolean",
735
+ "value": "false",
736
+ "variableChainList": []
737
+ },
738
+ "content": "false"
739
+ }
740
+ ],
741
+ "expType": "functionCall",
742
+ "varChain": "fun"
743
+ }
744
+ }
745
+ ],
746
+ "eventPath": "Transaction",
747
+ "eventCode": "T101",
748
+ "eventId": "1f954422"
749
+ },
750
+ {
751
+ "type": "normal",
752
+ "content": "Event.Custom.AcceptEvent({\"title\":\"MembershipChange\",\"subject\":echoSubject,\"label\":\"vip1\"})->AUTH_VIP1",
753
+ "config_params": [
754
+ {
755
+ "name": "condition",
756
+ "type": "argsGroup"
757
+ }
758
+ ],
759
+ "eventName": "AcceptEvent",
760
+ "variableChainList": [
761
+ "echoSubject"
762
+ ],
763
+ "eventParamList": [
764
+ {
765
+ "paramValue": "{\"title\":\"MembershipChange\",\"subject\":echoSubject,\"label\":\"vip1\"}",
766
+ "paramValueObj": {
767
+ "expType": "expArgsGroup",
768
+ "paramList": [
769
+ {
770
+ "paramName": "title",
771
+ "paramValue": "\"MembershipChange\"",
772
+ "paramValueObj": {
773
+ "expType": "string",
774
+ "value": "MembershipChange"
775
+ }
776
+ },
777
+ {
778
+ "paramName": "subject",
779
+ "paramValue": "echoSubject",
780
+ "paramValueObj": {
781
+ "expType": "variableChain",
782
+ "varType": "normal",
783
+ "content": "echoSubject"
784
+ }
785
+ },
786
+ {
787
+ "paramName": "label",
788
+ "paramValue": "\"vip1\"",
789
+ "paramValueObj": {
790
+ "expType": "string",
791
+ "value": "vip1"
792
+ }
793
+ }
794
+ ],
795
+ "variableChainList": [
796
+ "echoSubject"
797
+ ]
798
+ },
799
+ "content": "{\"title\":\"MembershipChange\",\"subject\":echoSubject,\"label\":\"vip1\"}"
800
+ }
801
+ ],
802
+ "toState": "AUTH_VIP1",
803
+ "stateContextArgs": [],
804
+ "actions": [],
805
+ "eventPath": "Custom",
806
+ "eventCode": "C103",
807
+ "eventId": "a237f57a"
808
+ },
809
+ {
810
+ "type": "normal",
811
+ "content": "Event.Custom.WatchAD(elemsNum=1)->AUTH_MEMBER{fun.addElements(setTemp,contract.licenseeSelectedElems,false)}",
812
+ "config_params": [
813
+ {
814
+ "name": "elemsNum",
815
+ "type": "number"
816
+ }
817
+ ],
818
+ "eventName": "WatchAD",
819
+ "variableChainList": [],
820
+ "eventParamList": [
821
+ {
822
+ "paramValue": "1",
823
+ "paramValueObj": {
824
+ "expType": "number",
825
+ "value": "1",
826
+ "variableChainList": []
827
+ },
828
+ "content": "elemsNum=1",
829
+ "paramName": "elemsNum"
830
+ }
831
+ ],
832
+ "toState": "AUTH_MEMBER",
833
+ "stateContextArgs": [],
834
+ "actions": [
835
+ {
836
+ "type": "functionCall",
837
+ "content": "fun.addElements(setTemp,contract.licenseeSelectedElems,false)",
838
+ "actionObj": {
839
+ "funcName": "addElements",
840
+ "variableChainList": [
841
+ "setTemp",
842
+ "contract.licenseeSelectedElems"
843
+ ],
844
+ "paramList": [
845
+ {
846
+ "paramValue": "setTemp",
847
+ "paramValueObj": {
848
+ "expType": "variableChain",
849
+ "varType": "normal",
850
+ "content": "setTemp",
851
+ "variableChainList": [
852
+ "setTemp"
853
+ ]
854
+ },
855
+ "content": "setTemp"
856
+ },
857
+ {
858
+ "paramValue": "contract.licenseeSelectedElems",
859
+ "paramValueObj": {
860
+ "expType": "variableChain",
861
+ "varType": "normal",
862
+ "content": "contract.licenseeSelectedElems",
863
+ "variableChainList": [
864
+ "contract.licenseeSelectedElems"
865
+ ]
866
+ },
867
+ "content": "contract.licenseeSelectedElems"
868
+ },
869
+ {
870
+ "paramValue": "false",
871
+ "paramValueObj": {
872
+ "expType": "boolean",
873
+ "value": "false",
874
+ "variableChainList": []
875
+ },
876
+ "content": "false"
877
+ }
878
+ ],
879
+ "expType": "functionCall",
880
+ "varChain": "fun"
881
+ }
882
+ }
883
+ ],
884
+ "eventPath": "Custom",
885
+ "eventCode": "C101",
886
+ "eventId": "ab73e554"
887
+ },
888
+ {
889
+ "type": "normal",
890
+ "content": "Event.Time.Schedule(Time.AddTime(Time.GetTime(Time.Now(),\"day\"),1,\"day\"))->AUTH_MEMBER{fun.clearElems(setTemp)}",
891
+ "config_params": [
892
+ {
893
+ "name": "dateTime",
894
+ "type": "string"
895
+ }
896
+ ],
897
+ "eventName": "Schedule",
898
+ "variableChainList": [],
899
+ "eventParamList": [
900
+ {
901
+ "paramValue": "Time.AddTime(Time.GetTime(Time.Now(),\"day\"),1,\"day\")",
902
+ "paramValueObj": {
903
+ "funcName": "AddTime",
904
+ "variableChainList": [],
905
+ "paramList": [
906
+ {
907
+ "paramValue": "Time.GetTime(Time.Now(),\"day\")",
908
+ "paramValueObj": {
909
+ "funcName": "GetTime",
910
+ "variableChainList": [],
911
+ "paramList": [
912
+ {
913
+ "paramValue": "Time.Now()",
914
+ "paramValueObj": {
915
+ "funcName": "Now",
916
+ "variableChainList": [],
917
+ "paramList": [],
918
+ "expType": "functionCall",
919
+ "varChain": "Time"
920
+ },
921
+ "content": "Time.Now()"
922
+ },
923
+ {
924
+ "paramValue": "\"day\"",
925
+ "paramValueObj": {
926
+ "expType": "string",
927
+ "value": "day"
928
+ },
929
+ "content": "\"day\""
930
+ }
931
+ ],
932
+ "expType": "functionCall",
933
+ "varChain": "Time"
934
+ },
935
+ "content": "Time.GetTime(Time.Now(),\"day\")"
936
+ },
937
+ {
938
+ "paramValue": "1",
939
+ "paramValueObj": {
940
+ "expType": "number",
941
+ "value": "1"
942
+ },
943
+ "content": "1"
944
+ },
945
+ {
946
+ "paramValue": "\"day\"",
947
+ "paramValueObj": {
948
+ "expType": "string",
949
+ "value": "day"
950
+ },
951
+ "content": "\"day\""
952
+ }
953
+ ],
954
+ "expType": "functionCall",
955
+ "varChain": "Time"
956
+ },
957
+ "content": "Time.AddTime(Time.GetTime(Time.Now(),\"day\"),1,\"day\")"
958
+ }
959
+ ],
960
+ "toState": "AUTH_MEMBER",
961
+ "stateContextArgs": [],
962
+ "actions": [
963
+ {
964
+ "type": "functionCall",
965
+ "content": "fun.clearElems(setTemp)",
966
+ "actionObj": {
967
+ "funcName": "clearElems",
968
+ "variableChainList": [
969
+ "setTemp"
970
+ ],
971
+ "paramList": [
972
+ {
973
+ "paramValue": "setTemp",
974
+ "paramValueObj": {
975
+ "expType": "variableChain",
976
+ "varType": "normal",
977
+ "content": "setTemp",
978
+ "variableChainList": [
979
+ "setTemp"
980
+ ]
981
+ },
982
+ "content": "setTemp"
983
+ }
984
+ ],
985
+ "expType": "functionCall",
986
+ "varChain": "fun"
987
+ }
988
+ }
989
+ ],
990
+ "eventPath": "Time",
991
+ "eventCode": "T202",
992
+ "eventId": "490d5f83"
993
+ }
994
+ ],
995
+ "serviceStateSection": {
996
+ "serviceState": "Partial",
997
+ "serviceStateCollection": [
998
+ "setUnlocked",
999
+ "setTemp"
1000
+ ]
1001
+ },
1002
+ "stateContextArgs": []
1003
+ },
1004
+ {
1005
+ "stateName": "AUTH_VIP1",
1006
+ "assignments": [
1007
+ {
1008
+ "type": "varInitial",
1009
+ "content": "leta=1",
1010
+ "varName": "a",
1011
+ "varValue": "1",
1012
+ "varValueObj": {
1013
+ "expType": "number",
1014
+ "value": "1",
1015
+ "variableChainList": []
1016
+ },
1017
+ "varValueType": "number"
1018
+ },
1019
+ {
1020
+ "type": "varInitial",
1021
+ "content": "letb=[]",
1022
+ "varName": "b",
1023
+ "varValue": "[]",
1024
+ "varValueObj": {
1025
+ "expType": "expCondition",
1026
+ "paramList": [],
1027
+ "variableChainList": []
1028
+ },
1029
+ "varValueType": "array"
1030
+ },
1031
+ {
1032
+ "type": "varAssigment",
1033
+ "content": "a=3",
1034
+ "varName": "a",
1035
+ "varValue": "3",
1036
+ "varValueObj": {
1037
+ "expType": "number",
1038
+ "value": "3",
1039
+ "variableChainList": []
1040
+ },
1041
+ "varValueType": "number"
1042
+ }
1043
+ ],
1044
+ "events": [
1045
+ {
1046
+ "type": "normal",
1047
+ "content": "Event.Transaction.Pay(amount=unitPrice*0.75,elemsNum=1)->AUTH_VIP1{fun.addElements(setUnlocked,contract.licenseeSelectedElems,false)}",
1048
+ "config_params": [
1049
+ {
1050
+ "name": "amount",
1051
+ "type": "number"
1052
+ },
1053
+ {
1054
+ "name": "elemsNum",
1055
+ "type": "number"
1056
+ }
1057
+ ],
1058
+ "eventName": "Pay",
1059
+ "variableChainList": [
1060
+ "unitPrice"
1061
+ ],
1062
+ "eventParamList": [
1063
+ {
1064
+ "paramValue": "unitPrice*0.75",
1065
+ "paramValueObj": {
1066
+ "expType": "expOp",
1067
+ "var1": {
1068
+ "expType": "variableChain",
1069
+ "varType": "normal",
1070
+ "content": "unitPrice"
1071
+ },
1072
+ "var2": {
1073
+ "expType": "number",
1074
+ "value": "0.75"
1075
+ },
1076
+ "op": "*",
1077
+ "variableChainList": [
1078
+ "unitPrice"
1079
+ ]
1080
+ },
1081
+ "content": "amount=unitPrice*0.75",
1082
+ "paramName": "amount"
1083
+ },
1084
+ {
1085
+ "paramValue": "1",
1086
+ "paramValueObj": {
1087
+ "expType": "number",
1088
+ "value": "1",
1089
+ "variableChainList": []
1090
+ },
1091
+ "content": "elemsNum=1",
1092
+ "paramName": "elemsNum"
1093
+ }
1094
+ ],
1095
+ "toState": "AUTH_VIP1",
1096
+ "stateContextArgs": [],
1097
+ "actions": [
1098
+ {
1099
+ "type": "functionCall",
1100
+ "content": "fun.addElements(setUnlocked,contract.licenseeSelectedElems,false)",
1101
+ "actionObj": {
1102
+ "funcName": "addElements",
1103
+ "variableChainList": [
1104
+ "setUnlocked",
1105
+ "contract.licenseeSelectedElems"
1106
+ ],
1107
+ "paramList": [
1108
+ {
1109
+ "paramValue": "setUnlocked",
1110
+ "paramValueObj": {
1111
+ "expType": "variableChain",
1112
+ "varType": "normal",
1113
+ "content": "setUnlocked",
1114
+ "variableChainList": [
1115
+ "setUnlocked"
1116
+ ]
1117
+ },
1118
+ "content": "setUnlocked"
1119
+ },
1120
+ {
1121
+ "paramValue": "contract.licenseeSelectedElems",
1122
+ "paramValueObj": {
1123
+ "expType": "variableChain",
1124
+ "varType": "normal",
1125
+ "content": "contract.licenseeSelectedElems",
1126
+ "variableChainList": [
1127
+ "contract.licenseeSelectedElems"
1128
+ ]
1129
+ },
1130
+ "content": "contract.licenseeSelectedElems"
1131
+ },
1132
+ {
1133
+ "paramValue": "false",
1134
+ "paramValueObj": {
1135
+ "expType": "boolean",
1136
+ "value": "false",
1137
+ "variableChainList": []
1138
+ },
1139
+ "content": "false"
1140
+ }
1141
+ ],
1142
+ "expType": "functionCall",
1143
+ "varChain": "fun"
1144
+ }
1145
+ }
1146
+ ],
1147
+ "eventPath": "Transaction",
1148
+ "eventCode": "T101",
1149
+ "eventId": "301cb339"
1150
+ },
1151
+ {
1152
+ "type": "normal",
1153
+ "content": "Event.Transaction.Pay(amount=unitPrice*10*0.6,elemsNum=10)->AUTH_VIP1{fun.addElements(setUnlocked,contract.licenseeSelectedElems,false)}",
1154
+ "config_params": [
1155
+ {
1156
+ "name": "amount",
1157
+ "type": "number"
1158
+ },
1159
+ {
1160
+ "name": "elemsNum",
1161
+ "type": "number"
1162
+ }
1163
+ ],
1164
+ "eventName": "Pay",
1165
+ "variableChainList": [
1166
+ "unitPrice"
1167
+ ],
1168
+ "eventParamList": [
1169
+ {
1170
+ "paramValue": "unitPrice*10*0.6",
1171
+ "paramValueObj": {
1172
+ "expType": "expOp",
1173
+ "var1": {
1174
+ "expType": "expOp",
1175
+ "var1": {
1176
+ "expType": "variableChain",
1177
+ "varType": "normal",
1178
+ "content": "unitPrice"
1179
+ },
1180
+ "var2": {
1181
+ "expType": "number",
1182
+ "value": "10"
1183
+ },
1184
+ "op": "*"
1185
+ },
1186
+ "var2": {
1187
+ "expType": "number",
1188
+ "value": "0.6"
1189
+ },
1190
+ "op": "*",
1191
+ "variableChainList": [
1192
+ "unitPrice"
1193
+ ]
1194
+ },
1195
+ "content": "amount=unitPrice*10*0.6",
1196
+ "paramName": "amount"
1197
+ },
1198
+ {
1199
+ "paramValue": "10",
1200
+ "paramValueObj": {
1201
+ "expType": "number",
1202
+ "value": "10",
1203
+ "variableChainList": []
1204
+ },
1205
+ "content": "elemsNum=10",
1206
+ "paramName": "elemsNum"
1207
+ }
1208
+ ],
1209
+ "toState": "AUTH_VIP1",
1210
+ "stateContextArgs": [],
1211
+ "actions": [
1212
+ {
1213
+ "type": "functionCall",
1214
+ "content": "fun.addElements(setUnlocked,contract.licenseeSelectedElems,false)",
1215
+ "actionObj": {
1216
+ "funcName": "addElements",
1217
+ "variableChainList": [
1218
+ "setUnlocked",
1219
+ "contract.licenseeSelectedElems"
1220
+ ],
1221
+ "paramList": [
1222
+ {
1223
+ "paramValue": "setUnlocked",
1224
+ "paramValueObj": {
1225
+ "expType": "variableChain",
1226
+ "varType": "normal",
1227
+ "content": "setUnlocked",
1228
+ "variableChainList": [
1229
+ "setUnlocked"
1230
+ ]
1231
+ },
1232
+ "content": "setUnlocked"
1233
+ },
1234
+ {
1235
+ "paramValue": "contract.licenseeSelectedElems",
1236
+ "paramValueObj": {
1237
+ "expType": "variableChain",
1238
+ "varType": "normal",
1239
+ "content": "contract.licenseeSelectedElems",
1240
+ "variableChainList": [
1241
+ "contract.licenseeSelectedElems"
1242
+ ]
1243
+ },
1244
+ "content": "contract.licenseeSelectedElems"
1245
+ },
1246
+ {
1247
+ "paramValue": "false",
1248
+ "paramValueObj": {
1249
+ "expType": "boolean",
1250
+ "value": "false",
1251
+ "variableChainList": []
1252
+ },
1253
+ "content": "false"
1254
+ }
1255
+ ],
1256
+ "expType": "functionCall",
1257
+ "varChain": "fun"
1258
+ }
1259
+ }
1260
+ ],
1261
+ "eventPath": "Transaction",
1262
+ "eventCode": "T101",
1263
+ "eventId": "329de03c"
1264
+ },
1265
+ {
1266
+ "type": "normal",
1267
+ "content": "Event.Custom.AcceptEvent({\"title\":\"MembershipChange\",\"subject\":echoSubject,\"label\":\"member\"})->AUTH_MEMBER",
1268
+ "config_params": [
1269
+ {
1270
+ "name": "condition",
1271
+ "type": "argsGroup"
1272
+ }
1273
+ ],
1274
+ "eventName": "AcceptEvent",
1275
+ "variableChainList": [
1276
+ "echoSubject"
1277
+ ],
1278
+ "eventParamList": [
1279
+ {
1280
+ "paramValue": "{\"title\":\"MembershipChange\",\"subject\":echoSubject,\"label\":\"member\"}",
1281
+ "paramValueObj": {
1282
+ "expType": "expArgsGroup",
1283
+ "paramList": [
1284
+ {
1285
+ "paramName": "title",
1286
+ "paramValue": "\"MembershipChange\"",
1287
+ "paramValueObj": {
1288
+ "expType": "string",
1289
+ "value": "MembershipChange"
1290
+ }
1291
+ },
1292
+ {
1293
+ "paramName": "subject",
1294
+ "paramValue": "echoSubject",
1295
+ "paramValueObj": {
1296
+ "expType": "variableChain",
1297
+ "varType": "normal",
1298
+ "content": "echoSubject"
1299
+ }
1300
+ },
1301
+ {
1302
+ "paramName": "label",
1303
+ "paramValue": "\"member\"",
1304
+ "paramValueObj": {
1305
+ "expType": "string",
1306
+ "value": "member"
1307
+ }
1308
+ }
1309
+ ],
1310
+ "variableChainList": [
1311
+ "echoSubject"
1312
+ ]
1313
+ },
1314
+ "content": "{\"title\":\"MembershipChange\",\"subject\":echoSubject,\"label\":\"member\"}"
1315
+ }
1316
+ ],
1317
+ "toState": "AUTH_MEMBER",
1318
+ "stateContextArgs": [],
1319
+ "actions": [],
1320
+ "eventPath": "Custom",
1321
+ "eventCode": "C103",
1322
+ "eventId": "19dbb6d2"
1323
+ },
1324
+ {
1325
+ "type": "normal",
1326
+ "content": "Event.Custom.WatchAD(elemsNum=1)->AUTH_VIP1{fun.addElements(setTemp,contract.licenseeSelectedElems,false)}",
1327
+ "config_params": [
1328
+ {
1329
+ "name": "elemsNum",
1330
+ "type": "number"
1331
+ }
1332
+ ],
1333
+ "eventName": "WatchAD",
1334
+ "variableChainList": [],
1335
+ "eventParamList": [
1336
+ {
1337
+ "paramValue": "1",
1338
+ "paramValueObj": {
1339
+ "expType": "number",
1340
+ "value": "1",
1341
+ "variableChainList": []
1342
+ },
1343
+ "content": "elemsNum=1",
1344
+ "paramName": "elemsNum"
1345
+ }
1346
+ ],
1347
+ "toState": "AUTH_VIP1",
1348
+ "stateContextArgs": [],
1349
+ "actions": [
1350
+ {
1351
+ "type": "functionCall",
1352
+ "content": "fun.addElements(setTemp,contract.licenseeSelectedElems,false)",
1353
+ "actionObj": {
1354
+ "funcName": "addElements",
1355
+ "variableChainList": [
1356
+ "setTemp",
1357
+ "contract.licenseeSelectedElems"
1358
+ ],
1359
+ "paramList": [
1360
+ {
1361
+ "paramValue": "setTemp",
1362
+ "paramValueObj": {
1363
+ "expType": "variableChain",
1364
+ "varType": "normal",
1365
+ "content": "setTemp",
1366
+ "variableChainList": [
1367
+ "setTemp"
1368
+ ]
1369
+ },
1370
+ "content": "setTemp"
1371
+ },
1372
+ {
1373
+ "paramValue": "contract.licenseeSelectedElems",
1374
+ "paramValueObj": {
1375
+ "expType": "variableChain",
1376
+ "varType": "normal",
1377
+ "content": "contract.licenseeSelectedElems",
1378
+ "variableChainList": [
1379
+ "contract.licenseeSelectedElems"
1380
+ ]
1381
+ },
1382
+ "content": "contract.licenseeSelectedElems"
1383
+ },
1384
+ {
1385
+ "paramValue": "false",
1386
+ "paramValueObj": {
1387
+ "expType": "boolean",
1388
+ "value": "false",
1389
+ "variableChainList": []
1390
+ },
1391
+ "content": "false"
1392
+ }
1393
+ ],
1394
+ "expType": "functionCall",
1395
+ "varChain": "fun"
1396
+ }
1397
+ }
1398
+ ],
1399
+ "eventPath": "Custom",
1400
+ "eventCode": "C101",
1401
+ "eventId": "9f56692f"
1402
+ },
1403
+ {
1404
+ "type": "normal",
1405
+ "content": "Event.Time.Schedule(Time.AddTime(Time.GetTime(Time.Now(),\"day\"),1,\"day\"))->AUTH_VIP1{fun.clearElems(setTemp)}",
1406
+ "config_params": [
1407
+ {
1408
+ "name": "dateTime",
1409
+ "type": "string"
1410
+ }
1411
+ ],
1412
+ "eventName": "Schedule",
1413
+ "variableChainList": [],
1414
+ "eventParamList": [
1415
+ {
1416
+ "paramValue": "Time.AddTime(Time.GetTime(Time.Now(),\"day\"),1,\"day\")",
1417
+ "paramValueObj": {
1418
+ "funcName": "AddTime",
1419
+ "variableChainList": [],
1420
+ "paramList": [
1421
+ {
1422
+ "paramValue": "Time.GetTime(Time.Now(),\"day\")",
1423
+ "paramValueObj": {
1424
+ "funcName": "GetTime",
1425
+ "variableChainList": [],
1426
+ "paramList": [
1427
+ {
1428
+ "paramValue": "Time.Now()",
1429
+ "paramValueObj": {
1430
+ "funcName": "Now",
1431
+ "variableChainList": [],
1432
+ "paramList": [],
1433
+ "expType": "functionCall",
1434
+ "varChain": "Time"
1435
+ },
1436
+ "content": "Time.Now()"
1437
+ },
1438
+ {
1439
+ "paramValue": "\"day\"",
1440
+ "paramValueObj": {
1441
+ "expType": "string",
1442
+ "value": "day"
1443
+ },
1444
+ "content": "\"day\""
1445
+ }
1446
+ ],
1447
+ "expType": "functionCall",
1448
+ "varChain": "Time"
1449
+ },
1450
+ "content": "Time.GetTime(Time.Now(),\"day\")"
1451
+ },
1452
+ {
1453
+ "paramValue": "1",
1454
+ "paramValueObj": {
1455
+ "expType": "number",
1456
+ "value": "1"
1457
+ },
1458
+ "content": "1"
1459
+ },
1460
+ {
1461
+ "paramValue": "\"day\"",
1462
+ "paramValueObj": {
1463
+ "expType": "string",
1464
+ "value": "day"
1465
+ },
1466
+ "content": "\"day\""
1467
+ }
1468
+ ],
1469
+ "expType": "functionCall",
1470
+ "varChain": "Time"
1471
+ },
1472
+ "content": "Time.AddTime(Time.GetTime(Time.Now(),\"day\"),1,\"day\")"
1473
+ }
1474
+ ],
1475
+ "toState": "AUTH_VIP1",
1476
+ "stateContextArgs": [],
1477
+ "actions": [
1478
+ {
1479
+ "type": "functionCall",
1480
+ "content": "fun.clearElems(setTemp)",
1481
+ "actionObj": {
1482
+ "funcName": "clearElems",
1483
+ "variableChainList": [
1484
+ "setTemp"
1485
+ ],
1486
+ "paramList": [
1487
+ {
1488
+ "paramValue": "setTemp",
1489
+ "paramValueObj": {
1490
+ "expType": "variableChain",
1491
+ "varType": "normal",
1492
+ "content": "setTemp",
1493
+ "variableChainList": [
1494
+ "setTemp"
1495
+ ]
1496
+ },
1497
+ "content": "setTemp"
1498
+ }
1499
+ ],
1500
+ "expType": "functionCall",
1501
+ "varChain": "fun"
1502
+ }
1503
+ }
1504
+ ],
1505
+ "eventPath": "Time",
1506
+ "eventCode": "T202",
1507
+ "eventId": "7e14c1c9"
1508
+ },
1509
+ {
1510
+ "type": "normal",
1511
+ "content": "Event.Transaction.Pay(amount=0,elemsNum=1)->FREE_UNLOCK_ROUTE[elems:contract.licenseeSelectedElems]{a=2;b=fun.addElements(b,[a],false);Kit.Min(1,2)}",
1512
+ "config_params": [
1513
+ {
1514
+ "name": "amount",
1515
+ "type": "number"
1516
+ },
1517
+ {
1518
+ "name": "elemsNum",
1519
+ "type": "number"
1520
+ }
1521
+ ],
1522
+ "eventName": "Pay",
1523
+ "variableChainList": [],
1524
+ "eventParamList": [
1525
+ {
1526
+ "paramValue": "0",
1527
+ "paramValueObj": {
1528
+ "expType": "number",
1529
+ "value": "0",
1530
+ "variableChainList": []
1531
+ },
1532
+ "content": "amount=0",
1533
+ "paramName": "amount"
1534
+ },
1535
+ {
1536
+ "paramValue": "1",
1537
+ "paramValueObj": {
1538
+ "expType": "number",
1539
+ "value": "1",
1540
+ "variableChainList": []
1541
+ },
1542
+ "content": "elemsNum=1",
1543
+ "paramName": "elemsNum"
1544
+ }
1545
+ ],
1546
+ "toState": "FREE_UNLOCK_ROUTE",
1547
+ "stateContextArgs": [
1548
+ {
1549
+ "paramName": "elems",
1550
+ "paramValue": "contract.licenseeSelectedElems",
1551
+ "paramValueObj": {
1552
+ "expType": "variableChain",
1553
+ "varType": "normal",
1554
+ "content": "contract.licenseeSelectedElems",
1555
+ "variableChainList": [
1556
+ "contract.licenseeSelectedElems"
1557
+ ]
1558
+ },
1559
+ "content": "elems:contract.licenseeSelectedElems"
1560
+ }
1561
+ ],
1562
+ "actions": [
1563
+ {
1564
+ "type": "varAssignment",
1565
+ "content": "a=2",
1566
+ "actionObj": {
1567
+ "varName": "a",
1568
+ "varValue": "2",
1569
+ "varValueObj": {
1570
+ "expType": "number",
1571
+ "value": "2",
1572
+ "variableChainList": []
1573
+ },
1574
+ "varValueType": "number"
1575
+ }
1576
+ },
1577
+ {
1578
+ "type": "varAssignment",
1579
+ "content": "b=fun.addElements(b,[a],false)",
1580
+ "actionObj": {
1581
+ "varName": "b",
1582
+ "varValue": "fun.addElements(b,[a],false)",
1583
+ "varValueObj": {
1584
+ "funcName": "addElements",
1585
+ "variableChainList": [
1586
+ "b",
1587
+ "a"
1588
+ ],
1589
+ "paramList": [
1590
+ {
1591
+ "paramValue": "b",
1592
+ "paramValueObj": {
1593
+ "expType": "variableChain",
1594
+ "varType": "normal",
1595
+ "content": "b"
1596
+ },
1597
+ "content": "b"
1598
+ },
1599
+ {
1600
+ "paramValue": "[a]",
1601
+ "paramValueObj": {
1602
+ "expType": "expCondition",
1603
+ "paramList": [
1604
+ {
1605
+ "paramValue": "a",
1606
+ "paramValueObj": {
1607
+ "expType": "variableChain",
1608
+ "varType": "normal",
1609
+ "content": "a"
1610
+ }
1611
+ }
1612
+ ]
1613
+ },
1614
+ "content": "[a]"
1615
+ },
1616
+ {
1617
+ "paramValue": "false",
1618
+ "paramValueObj": {
1619
+ "expType": "boolean",
1620
+ "value": "false"
1621
+ },
1622
+ "content": "false"
1623
+ }
1624
+ ],
1625
+ "expType": "functionCall",
1626
+ "varChain": "fun"
1627
+ },
1628
+ "varValueType": "array"
1629
+ }
1630
+ },
1631
+ {
1632
+ "type": "functionCall",
1633
+ "content": "Kit.Min(1,2)",
1634
+ "actionObj": {
1635
+ "funcName": "Min",
1636
+ "variableChainList": [],
1637
+ "paramList": [
1638
+ {
1639
+ "paramValue": "1",
1640
+ "paramValueObj": {
1641
+ "expType": "number",
1642
+ "value": "1",
1643
+ "variableChainList": []
1644
+ },
1645
+ "content": "1"
1646
+ },
1647
+ {
1648
+ "paramValue": "2",
1649
+ "paramValueObj": {
1650
+ "expType": "number",
1651
+ "value": "2",
1652
+ "variableChainList": []
1653
+ },
1654
+ "content": "2"
1655
+ }
1656
+ ],
1657
+ "expType": "functionCall",
1658
+ "varChain": "Kit"
1659
+ }
1660
+ }
1661
+ ],
1662
+ "eventPath": "Transaction",
1663
+ "eventCode": "T101",
1664
+ "eventId": "93be49fd"
1665
+ },
1666
+ {
1667
+ "type": "normal",
1668
+ "content": "Event.Time.Schedule(Time.AddTime(Time.GetTime(Time.Now(),\"month\"),1,\"month\"))->AUTH_VIP1{fun.clearElems(setFree)}",
1669
+ "config_params": [
1670
+ {
1671
+ "name": "dateTime",
1672
+ "type": "string"
1673
+ }
1674
+ ],
1675
+ "eventName": "Schedule",
1676
+ "variableChainList": [],
1677
+ "eventParamList": [
1678
+ {
1679
+ "paramValue": "Time.AddTime(Time.GetTime(Time.Now(),\"month\"),1,\"month\")",
1680
+ "paramValueObj": {
1681
+ "funcName": "AddTime",
1682
+ "variableChainList": [],
1683
+ "paramList": [
1684
+ {
1685
+ "paramValue": "Time.GetTime(Time.Now(),\"month\")",
1686
+ "paramValueObj": {
1687
+ "funcName": "GetTime",
1688
+ "variableChainList": [],
1689
+ "paramList": [
1690
+ {
1691
+ "paramValue": "Time.Now()",
1692
+ "paramValueObj": {
1693
+ "funcName": "Now",
1694
+ "variableChainList": [],
1695
+ "paramList": [],
1696
+ "expType": "functionCall",
1697
+ "varChain": "Time"
1698
+ },
1699
+ "content": "Time.Now()"
1700
+ },
1701
+ {
1702
+ "paramValue": "\"month\"",
1703
+ "paramValueObj": {
1704
+ "expType": "string",
1705
+ "value": "month"
1706
+ },
1707
+ "content": "\"month\""
1708
+ }
1709
+ ],
1710
+ "expType": "functionCall",
1711
+ "varChain": "Time"
1712
+ },
1713
+ "content": "Time.GetTime(Time.Now(),\"month\")"
1714
+ },
1715
+ {
1716
+ "paramValue": "1",
1717
+ "paramValueObj": {
1718
+ "expType": "number",
1719
+ "value": "1"
1720
+ },
1721
+ "content": "1"
1722
+ },
1723
+ {
1724
+ "paramValue": "\"month\"",
1725
+ "paramValueObj": {
1726
+ "expType": "string",
1727
+ "value": "month"
1728
+ },
1729
+ "content": "\"month\""
1730
+ }
1731
+ ],
1732
+ "expType": "functionCall",
1733
+ "varChain": "Time"
1734
+ },
1735
+ "content": "Time.AddTime(Time.GetTime(Time.Now(),\"month\"),1,\"month\")"
1736
+ }
1737
+ ],
1738
+ "toState": "AUTH_VIP1",
1739
+ "stateContextArgs": [],
1740
+ "actions": [
1741
+ {
1742
+ "type": "functionCall",
1743
+ "content": "fun.clearElems(setFree)",
1744
+ "actionObj": {
1745
+ "funcName": "clearElems",
1746
+ "variableChainList": [
1747
+ "setFree"
1748
+ ],
1749
+ "paramList": [
1750
+ {
1751
+ "paramValue": "setFree",
1752
+ "paramValueObj": {
1753
+ "expType": "variableChain",
1754
+ "varType": "normal",
1755
+ "content": "setFree",
1756
+ "variableChainList": [
1757
+ "setFree"
1758
+ ]
1759
+ },
1760
+ "content": "setFree"
1761
+ }
1762
+ ],
1763
+ "expType": "functionCall",
1764
+ "varChain": "fun"
1765
+ }
1766
+ }
1767
+ ],
1768
+ "eventPath": "Time",
1769
+ "eventCode": "T202",
1770
+ "eventId": "19b19cc9"
1771
+ }
1772
+ ],
1773
+ "serviceStateSection": {
1774
+ "serviceState": "Partial",
1775
+ "serviceStateCollection": [
1776
+ "setUnlocked",
1777
+ "setTemp",
1778
+ "setFree"
1779
+ ]
1780
+ },
1781
+ "stateContextArgs": []
1782
+ },
1783
+ {
1784
+ "stateName": "FREE_UNLOCK_ROUTE",
1785
+ "assignments": [
1786
+ {
1787
+ "type": "varInitial",
1788
+ "content": "letfreeUnlockedSize=Kit.Array.Size(setFree)",
1789
+ "varName": "freeUnlockedSize",
1790
+ "varValue": "Kit.Array.Size(setFree)",
1791
+ "varValueObj": {
1792
+ "funcName": "Size",
1793
+ "variableChainList": [
1794
+ "setFree"
1795
+ ],
1796
+ "paramList": [
1797
+ {
1798
+ "paramValue": "setFree",
1799
+ "paramValueObj": {
1800
+ "expType": "variableChain",
1801
+ "varType": "normal",
1802
+ "content": "setFree"
1803
+ },
1804
+ "content": "setFree"
1805
+ }
1806
+ ],
1807
+ "expType": "functionCall",
1808
+ "varChain": "Kit.Array"
1809
+ },
1810
+ "varValueType": "number"
1811
+ }
1812
+ ],
1813
+ "events": [
1814
+ {
1815
+ "type": "normal",
1816
+ "content": "Event.Void(freeUnlockedSize<4)->AUTH_VIP1{fun.addElements(setFree,elems,false)}",
1817
+ "config_params": [
1818
+ {
1819
+ "name": "condition",
1820
+ "type": "boolean",
1821
+ "optional": true
1822
+ }
1823
+ ],
1824
+ "eventName": "Void",
1825
+ "variableChainList": [
1826
+ "freeUnlockedSize"
1827
+ ],
1828
+ "eventParamList": [
1829
+ {
1830
+ "paramValue": "freeUnlockedSize<4",
1831
+ "paramValueObj": {
1832
+ "expType": "expBooleanOpCompare",
1833
+ "var1": {
1834
+ "expType": "variableChain",
1835
+ "varType": "normal",
1836
+ "content": "freeUnlockedSize"
1837
+ },
1838
+ "var2": {
1839
+ "expType": "number",
1840
+ "value": "4"
1841
+ },
1842
+ "op": "<",
1843
+ "variableChainList": [
1844
+ "freeUnlockedSize"
1845
+ ]
1846
+ },
1847
+ "content": "freeUnlockedSize<4"
1848
+ }
1849
+ ],
1850
+ "toState": "AUTH_VIP1",
1851
+ "stateContextArgs": [],
1852
+ "actions": [
1853
+ {
1854
+ "type": "functionCall",
1855
+ "content": "fun.addElements(setFree,elems,false)",
1856
+ "actionObj": {
1857
+ "funcName": "addElements",
1858
+ "variableChainList": [
1859
+ "setFree",
1860
+ "elems"
1861
+ ],
1862
+ "paramList": [
1863
+ {
1864
+ "paramValue": "setFree",
1865
+ "paramValueObj": {
1866
+ "expType": "variableChain",
1867
+ "varType": "normal",
1868
+ "content": "setFree",
1869
+ "variableChainList": [
1870
+ "setFree"
1871
+ ]
1872
+ },
1873
+ "content": "setFree"
1874
+ },
1875
+ {
1876
+ "paramValue": "elems",
1877
+ "paramValueObj": {
1878
+ "expType": "variableChain",
1879
+ "varType": "normal",
1880
+ "content": "elems",
1881
+ "variableChainList": [
1882
+ "elems"
1883
+ ]
1884
+ },
1885
+ "content": "elems"
1886
+ },
1887
+ {
1888
+ "paramValue": "false",
1889
+ "paramValueObj": {
1890
+ "expType": "boolean",
1891
+ "value": "false",
1892
+ "variableChainList": []
1893
+ },
1894
+ "content": "false"
1895
+ }
1896
+ ],
1897
+ "expType": "functionCall",
1898
+ "varChain": "fun"
1899
+ }
1900
+ }
1901
+ ],
1902
+ "eventCode": "V101",
1903
+ "eventId": "9a0de136"
1904
+ },
1905
+ {
1906
+ "type": "normal",
1907
+ "content": "Event.Void(freeUnlockedSize>=4)->AUTH_VIP1",
1908
+ "config_params": [
1909
+ {
1910
+ "name": "condition",
1911
+ "type": "boolean",
1912
+ "optional": true
1913
+ }
1914
+ ],
1915
+ "eventName": "Void",
1916
+ "variableChainList": [
1917
+ "freeUnlockedSize"
1918
+ ],
1919
+ "eventParamList": [
1920
+ {
1921
+ "paramValue": "freeUnlockedSize>=4",
1922
+ "paramValueObj": {
1923
+ "expType": "expBooleanOpCompare",
1924
+ "var1": {
1925
+ "expType": "variableChain",
1926
+ "varType": "normal",
1927
+ "content": "freeUnlockedSize"
1928
+ },
1929
+ "var2": {
1930
+ "expType": "number",
1931
+ "value": "4"
1932
+ },
1933
+ "op": ">=",
1934
+ "variableChainList": [
1935
+ "freeUnlockedSize"
1936
+ ]
1937
+ },
1938
+ "content": "freeUnlockedSize>=4"
1939
+ }
1940
+ ],
1941
+ "toState": "AUTH_VIP1",
1942
+ "stateContextArgs": [],
1943
+ "actions": [],
1944
+ "eventCode": "V101",
1945
+ "eventId": "7fa963ab"
1946
+ }
1947
+ ],
1948
+ "serviceStateSection": {
1949
+ "serviceState": "None"
1950
+ },
1951
+ "stateContextArgs": [
1952
+ "elems"
1953
+ ]
1954
+ },
1955
+ {
1956
+ "stateName": "ABC",
15
1957
  "assignments": [],
16
1958
  "events": [
17
1959
  {
@@ -20,9 +1962,7 @@
20
1962
  "eventName": "terminate"
21
1963
  }
22
1964
  ],
23
- "serviceStateSection": {
24
- "serviceState": "Full"
25
- },
1965
+ "serviceStateSection": {},
26
1966
  "stateContextArgs": []
27
1967
  }
28
1968
  ]