-
Notifications
You must be signed in to change notification settings - Fork 3
/
Copy pathПредмет.ц
1520 lines (1458 loc) · 157 KB
/
Предмет.ц
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
взяти визначення МаМа;
секція МаМа {
// мітка: прохід по типах предметів
місцева дія звільнити_предмет(предмет: адреса<Предмет>, М: адреса<Машина>) {
// вивести_Ю8(М, ю8"[МАВКА] звільнюємо предмет ");
// надрукувати_предмет(предмет, М, 1);
якщо предмет.тип == М.предмет_структури_Структура {
звільнити_предмет_структури(предмет як адреса<ПредметСтруктури>, М);
} інакше якщо предмет.тип == М.предмет_структури_Дія {
звільнити_предмет_дії(предмет як адреса<ПредметДії>, М);
} інакше якщо предмет.тип == М.предмет_структури_НативнаДія {
звільнити_предмет_нативної_дії(предмет як адреса<ПредметНативноїДії>, М);
} інакше якщо предмет.тип == М.предмет_структури_число {
звільнити_предмет_числа(предмет як адреса<ПредметЧисла>, М);
} інакше якщо предмет.тип == М.предмет_структури_текст {
звільнити_предмет_тексту(предмет як адреса<ПредметТексту>, М);
} інакше якщо предмет.тип == М.предмет_структури_юнікод {
звільнити_предмет_юнікоду(предмет як адреса<ПредметЮнікоду>, М);
} інакше якщо предмет.тип == М.предмет_структури_Модуль {
звільнити_предмет_модуля(предмет як адреса<ПредметМодуля>, М);
} інакше якщо предмет.тип == М.предмет_структури_список {
звільнити_предмет_списку(предмет як адреса<ПредметСписку>, М);
} інакше якщо предмет.тип == М.предмет_структури_словник {
звільнити_предмет_словника(предмет як адреса<ПредметСловника>, М);
} інакше якщо предмет.тип == М.предмет_структури_логічне {
звільнити_предмет_логічного(предмет як адреса<ПредметЛогічного>, М);
} інакше якщо предмет.тип == М.предмет_структури_байти {
звільнити_предмет_байтів(предмет як адреса<ПредметБайтів>, М);
} інакше якщо предмет.тип == М.предмет_структури_адреса {
звільнити_предмет_адреси(предмет як адреса<ПредметАдреси>, М);
} інакше {
звільнити_складений_предмет(предмет як адреса<СкладенийПредмет>, М);
}
}
місцева дія звільнити_реєстр_параметрів(М: адреса<Машина>, реєстр_параметрів: адреса<Реєстр<адреса<Назва>, Параметр>>) {
змінна ціль п: позитивне = 0;
поки п < реєстр_параметрів.розмір {
звільнити_значення_накопичувача<адреса<ПредметСтруктури>>(М, реєстр_параметрів.елементи[п].значення.типи);
п += 1;
}
звільнити_реєстр<адреса<Назва>, Параметр>(М, реєстр_параметрів);
}
// мітка: прохід по типах предметів
місцева дія предмет_виконати(предмет: адреса<Предмет>, М: адреса<Машина>, предмет_я: адреса<Предмет>, аргументи: адреса<Накопичувач<адреса<Предмет>>>, іменовані_аргументи: адреса<Реєстр<адреса<Назва>, адреса<Предмет>>>): предмет_або_стан_падіння {
якщо предмет == пусто {
увімкнути_стан_падіння(М, пусто);
вернути виділити_предмет_тексту_помилки_неможливо_виконати_пусто(М);
}
якщо предмет.тип == М.предмет_структури_Структура {
вернути предмет_структури_виконати(предмет як адреса<ПредметСтруктури>, М, предмет_я, аргументи, іменовані_аргументи);
} інакше якщо предмет.тип == М.предмет_структури_Дія {
вернути предмет_дії_виконати(предмет як адреса<ПредметДії>, М, предмет_я, аргументи, іменовані_аргументи);
} інакше якщо предмет.тип == М.предмет_структури_НативнаДія {
вернути предмет_нативної_дії_виконати(предмет як адреса<ПредметНативноїДії>, М, предмет_я, аргументи, іменовані_аргументи);
} інакше якщо предмет.тип == М.предмет_структури_число {
вернути предмет_числа_виконати(предмет як адреса<ПредметЧисла>, М, предмет_я, аргументи, іменовані_аргументи);
} інакше якщо предмет.тип == М.предмет_структури_текст {
вернути предмет_тексту_виконати(предмет як адреса<ПредметТексту>, М, предмет_я, аргументи, іменовані_аргументи);
} інакше якщо предмет.тип == М.предмет_структури_юнікод {
вернути предмет_юнікоду_виконати(предмет як адреса<ПредметЮнікоду>, М, предмет_я, аргументи, іменовані_аргументи);
} інакше якщо предмет.тип == М.предмет_структури_Модуль {
вернути предмет_модуля_виконати(предмет як адреса<ПредметМодуля>, М, предмет_я, аргументи, іменовані_аргументи);
} інакше якщо предмет.тип == М.предмет_структури_список {
вернути предмет_списку_виконати(предмет як адреса<ПредметСписку>, М, предмет_я, аргументи, іменовані_аргументи);
} інакше якщо предмет.тип == М.предмет_структури_словник {
вернути предмет_словника_виконати(предмет як адреса<ПредметСловника>, М, предмет_я, аргументи, іменовані_аргументи);
} інакше якщо предмет.тип == М.предмет_структури_логічне {
вернути предмет_логічного_виконати(предмет як адреса<ПредметЛогічного>, М, предмет_я, аргументи, іменовані_аргументи);
} інакше якщо предмет.тип == М.предмет_структури_байти {
вернути предмет_байтів_виконати(предмет як адреса<ПредметБайтів>, М, предмет_я, аргументи, іменовані_аргументи);
} інакше якщо предмет.тип == М.предмет_структури_адреса {
вернути предмет_адреси_виконати(предмет як адреса<ПредметАдреси>, М, предмет_я, аргументи, іменовані_аргументи);
}
вернути складений_предмет_виконати(предмет як адреса<СкладенийПредмет>, М, предмет_я, аргументи, іменовані_аргументи);
}
// мітка: прохід по типах предметів
місцева дія предмет_отримати_властивість(предмет: адреса<Предмет>, М: адреса<Машина>, назва: адреса<Назва>): адреса<Предмет> {
якщо предмет == пусто {
увімкнути_стан_падіння(М, пусто);
вернути виділити_предмет_тексту_помилки_неможливо_отримати_властивість_з_пусто(М);
}
якщо предмет.тип == М.предмет_структури_Структура {
вернути предмет_структури_отримати_властивість(предмет як адреса<ПредметСтруктури>, М, назва);
} інакше якщо предмет.тип == М.предмет_структури_Дія {
вернути предмет_дії_отримати_властивість(предмет як адреса<ПредметДії>, М, назва);
} інакше якщо предмет.тип == М.предмет_структури_НативнаДія {
вернути предмет_нативної_дії_отримати_властивість(предмет як адреса<ПредметНативноїДії>, М, назва);
} інакше якщо предмет.тип == М.предмет_структури_число {
вернути предмет_числа_отримати_властивість(предмет як адреса<ПредметЧисла>, М, назва);
} інакше якщо предмет.тип == М.предмет_структури_текст {
вернути предмет_тексту_отримати_властивість(предмет як адреса<ПредметТексту>, М, назва);
} інакше якщо предмет.тип == М.предмет_структури_юнікод {
вернути предмет_юнікоду_отримати_властивість(предмет як адреса<ПредметЮнікоду>, М, назва);
} інакше якщо предмет.тип == М.предмет_структури_Модуль {
вернути предмет_модуля_отримати_властивість(предмет як адреса<ПредметМодуля>, М, назва);
} інакше якщо предмет.тип == М.предмет_структури_список {
вернути предмет_списку_отримати_властивість(предмет як адреса<ПредметСписку>, М, назва);
} інакше якщо предмет.тип == М.предмет_структури_словник {
вернути предмет_словника_отримати_властивість(предмет як адреса<ПредметСловника>, М, назва);
} інакше якщо предмет.тип == М.предмет_структури_логічне {
вернути предмет_логічного_отримати_властивість(предмет як адреса<ПредметЛогічного>, М, назва);
} інакше якщо предмет.тип == М.предмет_структури_байти {
вернути предмет_байтів_отримати_властивість(предмет як адреса<ПредметБайтів>, М, назва);
} інакше якщо предмет.тип == М.предмет_структури_адреса {
вернути предмет_адреси_отримати_властивість(предмет як адреса<ПредметАдреси>, М, назва);
}
вернути складений_предмет_отримати_властивість(предмет як адреса<СкладенийПредмет>, М, назва);
}
// мітка: прохід по типах предметів
місцева дія предмет_змінити_властивість(предмет: адреса<Предмет>, М: адреса<Машина>, назва: адреса<Назва>, аргумент: адреса<Предмет>): предмет_або_стан_падіння {
якщо предмет == пусто {
увімкнути_стан_падіння(М, пусто);
вернути виділити_предмет_тексту_помилки_неможливо_змінити_властивість_в_пусто(М);
}
якщо предмет.тип == М.предмет_структури_Структура {
вернути предмет_структури_змінити_властивість(предмет як адреса<ПредметСтруктури>, М, назва, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_Дія {
вернути предмет_дії_змінити_властивість(предмет як адреса<ПредметДії>, М, назва, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_НативнаДія {
вернути предмет_нативної_дії_змінити_властивість(предмет як адреса<ПредметНативноїДії>, М, назва, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_число {
вернути предмет_числа_змінити_властивість(предмет як адреса<ПредметЧисла>, М, назва, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_текст {
вернути предмет_тексту_змінити_властивість(предмет як адреса<ПредметТексту>, М, назва, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_юнікод {
вернути предмет_юнікоду_змінити_властивість(предмет як адреса<ПредметЮнікоду>, М, назва, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_Модуль {
вернути предмет_модуля_змінити_властивість(предмет як адреса<ПредметМодуля>, М, назва, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_список {
вернути предмет_списку_змінити_властивість(предмет як адреса<ПредметСписку>, М, назва, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_словник {
вернути предмет_словника_змінити_властивість(предмет як адреса<ПредметСловника>, М, назва, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_логічне {
вернути предмет_логічного_змінити_властивість(предмет як адреса<ПредметЛогічного>, М, назва, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_байти {
вернути предмет_байтів_змінити_властивість(предмет як адреса<ПредметБайтів>, М, назва, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_адреса {
вернути предмет_адреси_змінити_властивість(предмет як адреса<ПредметАдреси>, М, назва, аргумент);
}
вернути складений_предмет_змінити_властивість(предмет як адреса<СкладенийПредмет>, М, назва, аргумент);
}
// мітка: прохід по типах предметів
місцева дія предмет_видалити_властивість(предмет: адреса<Предмет>, М: адреса<Машина>, назва: адреса<Назва>): адреса<Предмет> {
якщо предмет == пусто {
увімкнути_стан_падіння(М, пусто);
вернути виділити_предмет_тексту_помилки_неможливо_видалити_властивість_з_пусто(М);
}
якщо предмет.тип == М.предмет_структури_Структура {
вернути предмет_структури_видалити_властивість(предмет як адреса<ПредметСтруктури>, М, назва);
} інакше якщо предмет.тип == М.предмет_структури_Дія {
вернути предмет_дії_видалити_властивість(предмет як адреса<ПредметДії>, М, назва);
} інакше якщо предмет.тип == М.предмет_структури_НативнаДія {
вернути предмет_нативної_дії_видалити_властивість(предмет як адреса<ПредметНативноїДії>, М, назва);
} інакше якщо предмет.тип == М.предмет_структури_число {
вернути предмет_числа_видалити_властивість(предмет як адреса<ПредметЧисла>, М, назва);
} інакше якщо предмет.тип == М.предмет_структури_текст {
вернути предмет_тексту_видалити_властивість(предмет як адреса<ПредметТексту>, М, назва);
} інакше якщо предмет.тип == М.предмет_структури_юнікод {
вернути предмет_юнікоду_видалити_властивість(предмет як адреса<ПредметЮнікоду>, М, назва);
} інакше якщо предмет.тип == М.предмет_структури_Модуль {
вернути предмет_модуля_видалити_властивість(предмет як адреса<ПредметМодуля>, М, назва);
} інакше якщо предмет.тип == М.предмет_структури_список {
вернути предмет_списку_видалити_властивість(предмет як адреса<ПредметСписку>, М, назва);
} інакше якщо предмет.тип == М.предмет_структури_словник {
вернути предмет_словника_видалити_властивість(предмет як адреса<ПредметСловника>, М, назва);
} інакше якщо предмет.тип == М.предмет_структури_логічне {
вернути предмет_логічного_видалити_властивість(предмет як адреса<ПредметЛогічного>, М, назва);
} інакше якщо предмет.тип == М.предмет_структури_байти {
вернути предмет_байтів_видалити_властивість(предмет як адреса<ПредметБайтів>, М, назва);
} інакше якщо предмет.тип == М.предмет_структури_адреса {
вернути предмет_адреси_видалити_властивість(предмет як адреса<ПредметАдреси>, М, назва);
}
вернути складений_предмет_видалити_властивість(предмет як адреса<СкладенийПредмет>, М, назва);
}
// мітка: прохід по типах предметів
місцева дія предмет_виконати_властивість(предмет: адреса<Предмет>, М: адреса<Машина>, назва_властивості: адреса<Назва>, аргументи: адреса<Накопичувач<адреса<Предмет>>>, іменовані_аргументи: адреса<Реєстр<адреса<Назва>, адреса<Предмет>>>): предмет_або_стан_падіння {
якщо предмет.тип == М.предмет_структури_Структура {
вернути предмет_структури_виконати_властивість(предмет як адреса<ПредметСтруктури>, М, назва_властивості, аргументи, іменовані_аргументи);
} інакше якщо предмет.тип == М.предмет_структури_Дія {
вернути предмет_дії_виконати_властивість(предмет як адреса<ПредметДії>, М, назва_властивості, аргументи, іменовані_аргументи);
} інакше якщо предмет.тип == М.предмет_структури_НативнаДія {
вернути предмет_нативної_дії_виконати_властивість(предмет як адреса<ПредметНативноїДії>, М, назва_властивості, аргументи, іменовані_аргументи);
} інакше якщо предмет.тип == М.предмет_структури_число {
вернути предмет_числа_виконати_властивість(предмет як адреса<ПредметЧисла>, М, назва_властивості, аргументи, іменовані_аргументи);
} інакше якщо предмет.тип == М.предмет_структури_текст {
вернути предмет_тексту_виконати_властивість(предмет як адреса<ПредметТексту>, М, назва_властивості, аргументи, іменовані_аргументи);
} інакше якщо предмет.тип == М.предмет_структури_юнікод {
вернути предмет_юнікоду_виконати_властивість(предмет як адреса<ПредметЮнікоду>, М, назва_властивості, аргументи, іменовані_аргументи);
} інакше якщо предмет.тип == М.предмет_структури_Модуль {
вернути предмет_модуля_виконати_властивість(предмет як адреса<ПредметМодуля>, М, назва_властивості, аргументи, іменовані_аргументи);
} інакше якщо предмет.тип == М.предмет_структури_список {
вернути предмет_списку_виконати_властивість(предмет як адреса<ПредметСписку>, М, назва_властивості, аргументи, іменовані_аргументи);
} інакше якщо предмет.тип == М.предмет_структури_словник {
вернути предмет_словника_виконати_властивість(предмет як адреса<ПредметСловника>, М, назва_властивості, аргументи, іменовані_аргументи);
} інакше якщо предмет.тип == М.предмет_структури_логічне {
вернути предмет_логічного_виконати_властивість(предмет як адреса<ПредметЛогічного>, М, назва_властивості, аргументи, іменовані_аргументи);
} інакше якщо предмет.тип == М.предмет_структури_байти {
вернути предмет_байтів_виконати_властивість(предмет як адреса<ПредметБайтів>, М, назва_властивості, аргументи, іменовані_аргументи);
} інакше якщо предмет.тип == М.предмет_структури_адреса {
вернути предмет_адреси_виконати_властивість(предмет як адреса<ПредметАдреси>, М, назва_властивості, аргументи, іменовані_аргументи);
}
вернути складений_предмет_виконати_властивість(предмет як адреса<СкладенийПредмет>, М, назва_властивості, аргументи, іменовані_аргументи);
}
// мітка: прохід по типах предметів
місцева дія предмет_отримати_елемент(предмет: адреса<Предмет>, М: адреса<Машина>, ключ: адреса<Предмет>): предмет_або_стан_падіння {
якщо предмет.тип == М.предмет_структури_Структура {
вернути предмет_структури_отримати_елемент(предмет як адреса<ПредметСтруктури>, М, ключ);
} інакше якщо предмет.тип == М.предмет_структури_Дія {
вернути предмет_дії_отримати_елемент(предмет як адреса<ПредметДії>, М, ключ);
} інакше якщо предмет.тип == М.предмет_структури_НативнаДія {
вернути предмет_нативної_дії_отримати_елемент(предмет як адреса<ПредметНативноїДії>, М, ключ);
} інакше якщо предмет.тип == М.предмет_структури_число {
вернути предмет_числа_отримати_елемент(предмет як адреса<ПредметЧисла>, М, ключ);
} інакше якщо предмет.тип == М.предмет_структури_текст {
вернути предмет_тексту_отримати_елемент(предмет як адреса<ПредметТексту>, М, ключ);
} інакше якщо предмет.тип == М.предмет_структури_юнікод {
вернути предмет_юнікоду_отримати_елемент(предмет як адреса<ПредметЮнікоду>, М, ключ);
} інакше якщо предмет.тип == М.предмет_структури_Модуль {
вернути предмет_модуля_отримати_елемент(предмет як адреса<ПредметМодуля>, М, ключ);
} інакше якщо предмет.тип == М.предмет_структури_список {
вернути предмет_списку_отримати_елемент(предмет як адреса<ПредметСписку>, М, ключ);
} інакше якщо предмет.тип == М.предмет_структури_словник {
вернути предмет_словника_отримати_елемент(предмет як адреса<ПредметСловника>, М, ключ);
} інакше якщо предмет.тип == М.предмет_структури_логічне {
вернути предмет_логічного_отримати_елемент(предмет як адреса<ПредметЛогічного>, М, ключ);
} інакше якщо предмет.тип == М.предмет_структури_байти {
вернути предмет_байтів_отримати_елемент(предмет як адреса<ПредметБайтів>, М, ключ);
} інакше якщо предмет.тип == М.предмет_структури_адреса {
вернути предмет_адреси_отримати_елемент(предмет як адреса<ПредметАдреси>, М, ключ);
}
вернути складений_предмет_отримати_елемент(предмет як адреса<СкладенийПредмет>, М, ключ);
}
// мітка: прохід по типах предметів
місцева дія предмет_змінити_елемент(предмет: адреса<Предмет>, М: адреса<Машина>, ключ: адреса<Предмет>, значення: адреса<Предмет>): предмет_або_стан_падіння {
якщо предмет.тип == М.предмет_структури_Структура {
вернути предмет_структури_змінити_елемент(предмет як адреса<ПредметСтруктури>, М, ключ, значення);
} інакше якщо предмет.тип == М.предмет_структури_Дія {
вернути предмет_дії_змінити_елемент(предмет як адреса<ПредметДії>, М, ключ, значення);
} інакше якщо предмет.тип == М.предмет_структури_НативнаДія {
вернути предмет_нативної_дії_змінити_елемент(предмет як адреса<ПредметНативноїДії>, М, ключ, значення);
} інакше якщо предмет.тип == М.предмет_структури_число {
вернути предмет_числа_змінити_елемент(предмет як адреса<ПредметЧисла>, М, ключ, значення);
} інакше якщо предмет.тип == М.предмет_структури_текст {
вернути предмет_тексту_змінити_елемент(предмет як адреса<ПредметТексту>, М, ключ, значення);
} інакше якщо предмет.тип == М.предмет_структури_юнікод {
вернути предмет_юнікоду_змінити_елемент(предмет як адреса<ПредметЮнікоду>, М, ключ, значення);
} інакше якщо предмет.тип == М.предмет_структури_Модуль {
вернути предмет_модуля_змінити_елемент(предмет як адреса<ПредметМодуля>, М, ключ, значення);
} інакше якщо предмет.тип == М.предмет_структури_список {
вернути предмет_списку_змінити_елемент(предмет як адреса<ПредметСписку>, М, ключ, значення);
} інакше якщо предмет.тип == М.предмет_структури_словник {
вернути предмет_словника_змінити_елемент(предмет як адреса<ПредметСловника>, М, ключ, значення);
} інакше якщо предмет.тип == М.предмет_структури_логічне {
вернути предмет_логічного_змінити_елемент(предмет як адреса<ПредметЛогічного>, М, ключ, значення);
} інакше якщо предмет.тип == М.предмет_структури_байти {
вернути предмет_байтів_змінити_елемент(предмет як адреса<ПредметБайтів>, М, ключ, значення);
} інакше якщо предмет.тип == М.предмет_структури_адреса {
вернути предмет_адреси_змінити_елемент(предмет як адреса<ПредметАдреси>, М, ключ, значення);
}
вернути складений_предмет_змінити_елемент(предмет як адреса<СкладенийПредмет>, М, ключ, значення);
}
// мітка: прохід по типах предметів
місцева дія предмет_видалити_елемент(предмет: адреса<Предмет>, М: адреса<Машина>, ключ: адреса<Предмет>): предмет_або_стан_падіння {
якщо предмет.тип == М.предмет_структури_Структура {
вернути предмет_структури_видалити_елемент(предмет як адреса<ПредметСтруктури>, М, ключ);
} інакше якщо предмет.тип == М.предмет_структури_Дія {
вернути предмет_дії_видалити_елемент(предмет як адреса<ПредметДії>, М, ключ);
} інакше якщо предмет.тип == М.предмет_структури_НативнаДія {
вернути предмет_нативної_дії_видалити_елемент(предмет як адреса<ПредметНативноїДії>, М, ключ);
} інакше якщо предмет.тип == М.предмет_структури_число {
вернути предмет_числа_видалити_елемент(предмет як адреса<ПредметЧисла>, М, ключ);
} інакше якщо предмет.тип == М.предмет_структури_текст {
вернути предмет_тексту_видалити_елемент(предмет як адреса<ПредметТексту>, М, ключ);
} інакше якщо предмет.тип == М.предмет_структури_юнікод {
вернути предмет_юнікоду_видалити_елемент(предмет як адреса<ПредметЮнікоду>, М, ключ);
} інакше якщо предмет.тип == М.предмет_структури_Модуль {
вернути предмет_модуля_видалити_елемент(предмет як адреса<ПредметМодуля>, М, ключ);
} інакше якщо предмет.тип == М.предмет_структури_список {
вернути предмет_списку_видалити_елемент(предмет як адреса<ПредметСписку>, М, ключ);
} інакше якщо предмет.тип == М.предмет_структури_словник {
вернути предмет_словника_видалити_елемент(предмет як адреса<ПредметСловника>, М, ключ);
} інакше якщо предмет.тип == М.предмет_структури_логічне {
вернути предмет_логічного_видалити_елемент(предмет як адреса<ПредметЛогічного>, М, ключ);
} інакше якщо предмет.тип == М.предмет_структури_байти {
вернути предмет_байтів_видалити_елемент(предмет як адреса<ПредметБайтів>, М, ключ);
} інакше якщо предмет.тип == М.предмет_структури_адреса {
вернути предмет_адреси_видалити_елемент(предмет як адреса<ПредметАдреси>, М, ключ);
}
вернути складений_предмет_видалити_елемент(предмет як адреса<СкладенийПредмет>, М, ключ);
}
// мітка: прохід по типах предметів
місцева дія предмет_отримати_перебір(предмет: адреса<Предмет>, М: адреса<Машина>): предмет_або_стан_падіння {
якщо предмет.тип == М.предмет_структури_Структура {
вернути предмет_структури_отримати_перебір(предмет як адреса<ПредметСтруктури>, М);
} інакше якщо предмет.тип == М.предмет_структури_Дія {
вернути предмет_дії_отримати_перебір(предмет як адреса<ПредметДії>, М);
} інакше якщо предмет.тип == М.предмет_структури_НативнаДія {
вернути предмет_нативної_дії_отримати_перебір(предмет як адреса<ПредметНативноїДії>, М);
} інакше якщо предмет.тип == М.предмет_структури_число {
вернути предмет_числа_отримати_перебір(предмет як адреса<ПредметЧисла>, М);
} інакше якщо предмет.тип == М.предмет_структури_текст {
вернути предмет_тексту_отримати_перебір(предмет як адреса<ПредметТексту>, М);
} інакше якщо предмет.тип == М.предмет_структури_юнікод {
вернути предмет_юнікоду_отримати_перебір(предмет як адреса<ПредметЮнікоду>, М);
} інакше якщо предмет.тип == М.предмет_структури_Модуль {
вернути предмет_модуля_отримати_перебір(предмет як адреса<ПредметМодуля>, М);
} інакше якщо предмет.тип == М.предмет_структури_список {
вернути предмет_списку_отримати_перебір(предмет як адреса<ПредметСписку>, М);
} інакше якщо предмет.тип == М.предмет_структури_словник {
вернути предмет_словника_отримати_перебір(предмет як адреса<ПредметСловника>, М);
} інакше якщо предмет.тип == М.предмет_структури_логічне {
вернути предмет_логічного_отримати_перебір(предмет як адреса<ПредметЛогічного>, М);
} інакше якщо предмет.тип == М.предмет_структури_байти {
вернути предмет_байтів_отримати_перебір(предмет як адреса<ПредметБайтів>, М);
} інакше якщо предмет.тип == М.предмет_структури_адреса {
вернути предмет_адреси_отримати_перебір(предмет як адреса<ПредметАдреси>, М);
}
вернути складений_предмет_отримати_перебір(предмет як адреса<СкладенийПредмет>, М);
}
// мітка: прохід по типах предметів
місцева дія предмет_додати(предмет: адреса<Предмет>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння {
якщо предмет == пусто {
увімкнути_стан_падіння(М, пусто);
вернути виділити_предмет_тексту_помилки_неможливо_додати_до_пусто(М);
}
якщо предмет.тип == М.предмет_структури_Структура {
вернути предмет_структури_додати(предмет як адреса<ПредметСтруктури>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_Дія {
вернути предмет_дії_додати(предмет як адреса<ПредметДії>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_НативнаДія {
вернути предмет_нативної_дії_додати(предмет як адреса<ПредметНативноїДії>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_число {
вернути предмет_числа_додати(предмет як адреса<ПредметЧисла>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_текст {
вернути предмет_тексту_додати(предмет як адреса<ПредметТексту>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_юнікод {
вернути предмет_юнікоду_додати(предмет як адреса<ПредметЮнікоду>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_Модуль {
вернути предмет_модуля_додати(предмет як адреса<ПредметМодуля>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_список {
вернути предмет_списку_додати(предмет як адреса<ПредметСписку>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_словник {
вернути предмет_словника_додати(предмет як адреса<ПредметСловника>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_логічне {
вернути предмет_логічного_додати(предмет як адреса<ПредметЛогічного>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_байти {
вернути предмет_байтів_додати(предмет як адреса<ПредметБайтів>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_адреса {
вернути предмет_адреси_додати(предмет як адреса<ПредметАдреси>, М, аргумент);
}
вернути складений_предмет_додати(предмет як адреса<СкладенийПредмет>, М, аргумент);
}
// мітка: прохід по типах предметів
місцева дія предмет_відняти(предмет: адреса<Предмет>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння {
якщо предмет == пусто {
увімкнути_стан_падіння(М, пусто);
вернути виділити_предмет_тексту_помилки_неможливо_відняти_від_пусто(М);
}
якщо предмет.тип == М.предмет_структури_Структура {
вернути предмет_структури_відняти(предмет як адреса<ПредметСтруктури>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_Дія {
вернути предмет_дії_відняти(предмет як адреса<ПредметДії>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_НативнаДія {
вернути предмет_нативної_дії_відняти(предмет як адреса<ПредметНативноїДії>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_число {
вернути предмет_числа_відняти(предмет як адреса<ПредметЧисла>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_текст {
вернути предмет_тексту_відняти(предмет як адреса<ПредметТексту>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_юнікод {
вернути предмет_юнікоду_відняти(предмет як адреса<ПредметЮнікоду>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_Модуль {
вернути предмет_модуля_відняти(предмет як адреса<ПредметМодуля>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_список {
вернути предмет_списку_відняти(предмет як адреса<ПредметСписку>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_словник {
вернути предмет_словника_відняти(предмет як адреса<ПредметСловника>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_логічне {
вернути предмет_логічного_відняти(предмет як адреса<ПредметЛогічного>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_байти {
вернути предмет_байтів_відняти(предмет як адреса<ПредметБайтів>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_адреса {
вернути предмет_адреси_відняти(предмет як адреса<ПредметАдреси>, М, аргумент);
}
вернути складений_предмет_відняти(предмет як адреса<СкладенийПредмет>, М, аргумент);
}
// мітка: прохід по типах предметів
місцева дія предмет_помножити(предмет: адреса<Предмет>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння {
якщо предмет == пусто {
увімкнути_стан_падіння(М, пусто);
вернути виділити_предмет_тексту_помилки_неможливо_помножити_пусто(М);
}
якщо предмет.тип == М.предмет_структури_Структура {
вернути предмет_структури_помножити(предмет як адреса<ПредметСтруктури>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_Дія {
вернути предмет_дії_помножити(предмет як адреса<ПредметДії>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_НативнаДія {
вернути предмет_нативної_дії_помножити(предмет як адреса<ПредметНативноїДії>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_число {
вернути предмет_числа_помножити(предмет як адреса<ПредметЧисла>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_текст {
вернути предмет_тексту_помножити(предмет як адреса<ПредметТексту>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_юнікод {
вернути предмет_юнікоду_помножити(предмет як адреса<ПредметЮнікоду>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_Модуль {
вернути предмет_модуля_помножити(предмет як адреса<ПредметМодуля>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_список {
вернути предмет_списку_помножити(предмет як адреса<ПредметСписку>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_словник {
вернути предмет_словника_помножити(предмет як адреса<ПредметСловника>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_логічне {
вернути предмет_логічного_помножити(предмет як адреса<ПредметЛогічного>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_байти {
вернути предмет_байтів_помножити(предмет як адреса<ПредметБайтів>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_адреса {
вернути предмет_адреси_помножити(предмет як адреса<ПредметАдреси>, М, аргумент);
}
вернути складений_предмет_помножити(предмет як адреса<СкладенийПредмет>, М, аргумент);
}
// мітка: прохід по типах предметів
місцева дія предмет_поділити(предмет: адреса<Предмет>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння {
якщо предмет == пусто {
увімкнути_стан_падіння(М, пусто);
вернути виділити_предмет_тексту_помилки_неможливо_поділити_пусто(М);
}
якщо предмет.тип == М.предмет_структури_Структура {
вернути предмет_структури_поділити(предмет як адреса<ПредметСтруктури>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_Дія {
вернути предмет_дії_поділити(предмет як адреса<ПредметДії>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_НативнаДія {
вернути предмет_нативної_дії_поділити(предмет як адреса<ПредметНативноїДії>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_число {
вернути предмет_числа_поділити(предмет як адреса<ПредметЧисла>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_текст {
вернути предмет_тексту_поділити(предмет як адреса<ПредметТексту>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_юнікод {
вернути предмет_юнікоду_поділити(предмет як адреса<ПредметЮнікоду>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_Модуль {
вернути предмет_модуля_поділити(предмет як адреса<ПредметМодуля>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_список {
вернути предмет_списку_поділити(предмет як адреса<ПредметСписку>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_словник {
вернути предмет_словника_поділити(предмет як адреса<ПредметСловника>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_логічне {
вернути предмет_логічного_поділити(предмет як адреса<ПредметЛогічного>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_байти {
вернути предмет_байтів_поділити(предмет як адреса<ПредметБайтів>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_адреса {
вернути предмет_адреси_поділити(предмет як адреса<ПредметАдреси>, М, аргумент);
}
вернути складений_предмет_поділити(предмет як адреса<СкладенийПредмет>, М, аргумент);
}
// мітка: прохід по типах предметів
місцева дія предмет_отримати_остачу_ділення(предмет: адреса<Предмет>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння {
якщо предмет == пусто {
увімкнути_стан_падіння(М, пусто);
вернути виділити_предмет_тексту_помилки_неможливо_отримати_остачу_ділення_від_пусто(М);
}
якщо предмет.тип == М.предмет_структури_Структура {
вернути предмет_структури_отримати_остачу_ділення(предмет як адреса<ПредметСтруктури>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_Дія {
вернути предмет_дії_отримати_остачу_ділення(предмет як адреса<ПредметДії>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_НативнаДія {
вернути предмет_нативної_дії_отримати_остачу_ділення(предмет як адреса<ПредметНативноїДії>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_число {
вернути предмет_числа_отримати_остачу_ділення(предмет як адреса<ПредметЧисла>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_текст {
вернути предмет_тексту_отримати_остачу_ділення(предмет як адреса<ПредметТексту>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_юнікод {
вернути предмет_юнікоду_отримати_остачу_ділення(предмет як адреса<ПредметЮнікоду>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_Модуль {
вернути предмет_модуля_отримати_остачу_ділення(предмет як адреса<ПредметМодуля>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_список {
вернути предмет_списку_отримати_остачу_ділення(предмет як адреса<ПредметСписку>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_словник {
вернути предмет_словника_отримати_остачу_ділення(предмет як адреса<ПредметСловника>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_логічне {
вернути предмет_логічного_отримати_остачу_ділення(предмет як адреса<ПредметЛогічного>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_байти {
вернути предмет_байтів_отримати_остачу_ділення(предмет як адреса<ПредметБайтів>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_адреса {
вернути предмет_адреси_отримати_остачу_ділення(предмет як адреса<ПредметАдреси>, М, аргумент);
}
вернути складений_предмет_отримати_остачу_ділення(предмет як адреса<СкладенийПредмет>, М, аргумент);
}
// мітка: прохід по типах предметів
місцева дія предмет_отримати_неповну_частку_ділення(предмет: адреса<Предмет>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння {
якщо предмет == пусто {
увімкнути_стан_падіння(М, пусто);
вернути виділити_предмет_тексту_помилки_неможливо_отримати_частку_ділення_від_пусто(М);
}
якщо предмет.тип == М.предмет_структури_Структура {
вернути предмет_структури_отримати_частку_ділення(предмет як адреса<ПредметСтруктури>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_Дія {
вернути предмет_дії_отримати_частку_ділення(предмет як адреса<ПредметДії>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_НативнаДія {
вернути предмет_нативної_дії_отримати_частку_ділення(предмет як адреса<ПредметНативноїДії>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_число {
вернути предмет_числа_отримати_частку_ділення(предмет як адреса<ПредметЧисла>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_текст {
вернути предмет_тексту_отримати_частку_ділення(предмет як адреса<ПредметТексту>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_юнікод {
вернути предмет_юнікоду_отримати_частку_ділення(предмет як адреса<ПредметЮнікоду>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_Модуль {
вернути предмет_модуля_отримати_частку_ділення(предмет як адреса<ПредметМодуля>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_список {
вернути предмет_списку_отримати_частку_ділення(предмет як адреса<ПредметСписку>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_словник {
вернути предмет_словника_отримати_частку_ділення(предмет як адреса<ПредметСловника>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_логічне {
вернути предмет_логічного_отримати_частку_ділення(предмет як адреса<ПредметЛогічного>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_байти {
вернути предмет_байтів_отримати_частку_ділення(предмет як адреса<ПредметБайтів>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_адреса {
вернути предмет_адреси_отримати_частку_ділення(предмет як адреса<ПредметАдреси>, М, аргумент);
}
вернути складений_предмет_отримати_неповну_частку_ділення(предмет як адреса<СкладенийПредмет>, М, аргумент);
}
// мітка: прохід по типах предметів
місцева дія предмет_піднести_до_степеня(предмет: адреса<Предмет>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння {
якщо предмет == пусто {
увімкнути_стан_падіння(М, пусто);
вернути виділити_предмет_тексту_помилки_неможливо_піднести_до_степеня_пусто(М);
}
якщо предмет.тип == М.предмет_структури_Структура {
вернути предмет_структури_піднести_до_степеня(предмет як адреса<ПредметСтруктури>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_Дія {
вернути предмет_дії_піднести_до_степеня(предмет як адреса<ПредметДії>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_НативнаДія {
вернути предмет_нативної_дії_піднести_до_степеня(предмет як адреса<ПредметНативноїДії>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_число {
вернути предмет_числа_піднести_до_степеня(предмет як адреса<ПредметЧисла>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_текст {
вернути предмет_тексту_піднести_до_степеня(предмет як адреса<ПредметТексту>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_юнікод {
вернути предмет_юнікоду_піднести_до_степеня(предмет як адреса<ПредметЮнікоду>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_Модуль {
вернути предмет_модуля_піднести_до_степеня(предмет як адреса<ПредметМодуля>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_список {
вернути предмет_списку_піднести_до_степеня(предмет як адреса<ПредметСписку>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_словник {
вернути предмет_словника_піднести_до_степеня(предмет як адреса<ПредметСловника>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_логічне {
вернути предмет_логічного_піднести_до_степеня(предмет як адреса<ПредметЛогічного>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_байти {
вернути предмет_байтів_піднести_до_степеня(предмет як адреса<ПредметБайтів>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_адреса {
вернути предмет_адреси_піднести_до_степеня(предмет як адреса<ПредметАдреси>, М, аргумент);
}
вернути складений_предмет_піднести_до_степеня(предмет як адреса<СкладенийПредмет>, М, аргумент);
}
// мітка: прохід по типах предметів
місцева дія предмет_зсунути_вліво(предмет: адреса<Предмет>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння {
якщо предмет == пусто {
увімкнути_стан_падіння(М, пусто);
вернути виділити_предмет_тексту_помилки_неможливо_зсунути_вліво_пусто(М);
}
якщо предмет.тип == М.предмет_структури_Структура {
вернути предмет_структури_зсунути_вліво(предмет як адреса<ПредметСтруктури>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_Дія {
вернути предмет_дії_зсунути_вліво(предмет як адреса<ПредметДії>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_НативнаДія {
вернути предмет_нативної_дії_зсунути_вліво(предмет як адреса<ПредметНативноїДії>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_число {
вернути предмет_числа_зсунути_вліво(предмет як адреса<ПредметЧисла>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_текст {
вернути предмет_тексту_зсунути_вліво(предмет як адреса<ПредметТексту>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_юнікод {
вернути предмет_юнікоду_зсунути_вліво(предмет як адреса<ПредметЮнікоду>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_Модуль {
вернути предмет_модуля_зсунути_вліво(предмет як адреса<ПредметМодуля>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_список {
вернути предмет_списку_зсунути_вліво(предмет як адреса<ПредметСписку>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_словник {
вернути предмет_словника_зсунути_вліво(предмет як адреса<ПредметСловника>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_логічне {
вернути предмет_логічного_зсунути_вліво(предмет як адреса<ПредметЛогічного>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_байти {
вернути предмет_байтів_зсунути_вліво(предмет як адреса<ПредметБайтів>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_адреса {
вернути предмет_адреси_зсунути_вліво(предмет як адреса<ПредметАдреси>, М, аргумент);
}
вернути складений_предмет_зсунути_вліво(предмет як адреса<СкладенийПредмет>, М, аргумент);
}
// мітка: прохід по типах предметів
місцева дія предмет_зсунути_вправо(предмет: адреса<Предмет>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння {
якщо предмет == пусто {
увімкнути_стан_падіння(М, пусто);
вернути виділити_предмет_тексту_помилки_неможливо_зсунути_вправо_пусто(М);
}
якщо предмет.тип == М.предмет_структури_Структура {
вернути предмет_структури_зсунути_вправо(предмет як адреса<ПредметСтруктури>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_Дія {
вернути предмет_дії_зсунути_вправо(предмет як адреса<ПредметДії>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_НативнаДія {
вернути предмет_нативної_дії_зсунути_вправо(предмет як адреса<ПредметНативноїДії>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_число {
вернути предмет_числа_зсунути_вправо(предмет як адреса<ПредметЧисла>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_текст {
вернути предмет_тексту_зсунути_вправо(предмет як адреса<ПредметТексту>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_юнікод {
вернути предмет_юнікоду_зсунути_вправо(предмет як адреса<ПредметЮнікоду>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_Модуль {
вернути предмет_модуля_зсунути_вправо(предмет як адреса<ПредметМодуля>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_список {
вернути предмет_списку_зсунути_вправо(предмет як адреса<ПредметСписку>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_словник {
вернути предмет_словника_зсунути_вправо(предмет як адреса<ПредметСловника>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_логічне {
вернути предмет_логічного_зсунути_вправо(предмет як адреса<ПредметЛогічного>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_байти {
вернути предмет_байтів_зсунути_вправо(предмет як адреса<ПредметБайтів>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_адреса {
вернути предмет_адреси_зсунути_вправо(предмет як адреса<ПредметАдреси>, М, аргумент);
}
вернути складений_предмет_зсунути_вправо(предмет як адреса<СкладенийПредмет>, М, аргумент);
}
// мітка: прохід по типах предметів
місцева дія предмет_зсунути_вправо_зі_заповненням(предмет: адреса<Предмет>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння {
якщо предмет == пусто {
увімкнути_стан_падіння(М, пусто);
вернути виділити_предмет_тексту_помилки_неможливо_зсунути_вправо_зі_заповненням_пусто(М);
}
якщо предмет.тип == М.предмет_структури_Структура {
вернути предмет_структури_зсунути_вправо_зі_заповненням(предмет як адреса<ПредметСтруктури>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_Дія {
вернути предмет_дії_зсунути_вправо_зі_заповненням(предмет як адреса<ПредметДії>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_НативнаДія {
вернути предмет_нативної_дії_зсунути_вправо_зі_заповненням(предмет як адреса<ПредметНативноїДії>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_число {
вернути предмет_числа_зсунути_вправо_зі_заповненням(предмет як адреса<ПредметЧисла>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_текст {
вернути предмет_тексту_зсунути_вправо_зі_заповненням(предмет як адреса<ПредметТексту>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_юнікод {
вернути предмет_юнікоду_зсунути_вправо_зі_заповненням(предмет як адреса<ПредметЮнікоду>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_Модуль {
вернути предмет_модуля_зсунути_вправо_зі_заповненням(предмет як адреса<ПредметМодуля>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_список {
вернути предмет_списку_зсунути_вправо_зі_заповненням(предмет як адреса<ПредметСписку>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_словник {
вернути предмет_словника_зсунути_вправо_зі_заповненням(предмет як адреса<ПредметСловника>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_логічне {
вернути предмет_логічного_зсунути_вправо_зі_заповненням(предмет як адреса<ПредметЛогічного>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_байти {
вернути предмет_байтів_зсунути_вправо_зі_заповненням(предмет як адреса<ПредметБайтів>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_адреса {
вернути предмет_адреси_зсунути_вправо_зі_заповненням(предмет як адреса<ПредметАдреси>, М, аргумент);
}
вернути складений_предмет_зсунути_вправо_зі_заповненням(предмет як адреса<СкладенийПредмет>, М, аргумент);
}
// мітка: прохід по типах предметів
місцева дія предмет_двійкове_і(предмет: адреса<Предмет>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння {
якщо предмет == пусто {
увімкнути_стан_падіння(М, пусто);
вернути виділити_предмет_тексту_помилки_неможливо_виконати_двійкове_і_для_пусто(М);
}
якщо предмет.тип == М.предмет_структури_Структура {
вернути предмет_структури_двійкове_і(предмет як адреса<ПредметСтруктури>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_Дія {
вернути предмет_дії_двійкове_і(предмет як адреса<ПредметДії>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_НативнаДія {
вернути предмет_нативної_дії_двійкове_і(предмет як адреса<ПредметНативноїДії>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_число {
вернути предмет_числа_двійкове_і(предмет як адреса<ПредметЧисла>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_текст {
вернути предмет_тексту_двійкове_і(предмет як адреса<ПредметТексту>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_юнікод {
вернути предмет_юнікоду_двійкове_і(предмет як адреса<ПредметЮнікоду>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_Модуль {
вернути предмет_модуля_двійкове_і(предмет як адреса<ПредметМодуля>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_список {
вернути предмет_списку_двійкове_і(предмет як адреса<ПредметСписку>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_словник {
вернути предмет_словника_двійкове_і(предмет як адреса<ПредметСловника>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_логічне {
вернути предмет_логічного_двійкове_і(предмет як адреса<ПредметЛогічного>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_байти {
вернути предмет_байтів_двійкове_і(предмет як адреса<ПредметБайтів>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_адреса {
вернути предмет_адреси_двійкове_і(предмет як адреса<ПредметАдреси>, М, аргумент);
}
вернути складений_предмет_двійкове_і(предмет як адреса<СкладенийПредмет>, М, аргумент);
}
// мітка: прохід по типах предметів
місцева дія предмет_двійкове_або(предмет: адреса<Предмет>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння {
якщо предмет == пусто {
увімкнути_стан_падіння(М, пусто);
вернути виділити_предмет_тексту_помилки_неможливо_виконати_двійкове_або_для_пусто(М);
}
якщо предмет.тип == М.предмет_структури_Структура {
вернути предмет_структури_двійкове_або(предмет як адреса<ПредметСтруктури>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_Дія {
вернути предмет_дії_двійкове_або(предмет як адреса<ПредметДії>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_НативнаДія {
вернути предмет_нативної_дії_двійкове_або(предмет як адреса<ПредметНативноїДії>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_число {
вернути предмет_числа_двійкове_або(предмет як адреса<ПредметЧисла>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_текст {
вернути предмет_тексту_двійкове_або(предмет як адреса<ПредметТексту>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_юнікод {
вернути предмет_юнікоду_двійкове_або(предмет як адреса<ПредметЮнікоду>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_Модуль {
вернути предмет_модуля_двійкове_або(предмет як адреса<ПредметМодуля>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_список {
вернути предмет_списку_двійкове_або(предмет як адреса<ПредметСписку>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_словник {
вернути предмет_словника_двійкове_або(предмет як адреса<ПредметСловника>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_логічне {
вернути предмет_логічного_двійкове_або(предмет як адреса<ПредметЛогічного>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_байти {
вернути предмет_байтів_двійкове_або(предмет як адреса<ПредметБайтів>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_адреса {
вернути предмет_адреси_двійкове_або(предмет як адреса<ПредметАдреси>, М, аргумент);
}
вернути складений_предмет_двійкове_або(предмет як адреса<СкладенийПредмет>, М, аргумент);
}
// мітка: прохід по типах предметів
місцева дія предмет_двійкове_виключне_або(предмет: адреса<Предмет>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння {
якщо предмет == пусто {
увімкнути_стан_падіння(М, пусто);
вернути виділити_предмет_тексту_помилки_неможливо_виконати_двійкове_виключне_або_для_пусто(М);
}
якщо предмет.тип == М.предмет_структури_Структура {
вернути предмет_структури_двійкове_виключне_або(предмет як адреса<ПредметСтруктури>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_Дія {
вернути предмет_дії_двійкове_виключне_або(предмет як адреса<ПредметДії>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_НативнаДія {
вернути предмет_нативної_дії_двійкове_виключне_або(предмет як адреса<ПредметНативноїДії>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_число {
вернути предмет_числа_двійкове_виключне_або(предмет як адреса<ПредметЧисла>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_текст {
вернути предмет_тексту_двійкове_виключне_або(предмет як адреса<ПредметТексту>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_юнікод {
вернути предмет_юнікоду_двійкове_виключне_або(предмет як адреса<ПредметЮнікоду>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_Модуль {
вернути предмет_модуля_двійкове_виключне_або(предмет як адреса<ПредметМодуля>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_список {
вернути предмет_списку_двійкове_виключне_або(предмет як адреса<ПредметСписку>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_словник {
вернути предмет_словника_двійкове_виключне_або(предмет як адреса<ПредметСловника>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_логічне {
вернути предмет_логічного_двійкове_виключне_або(предмет як адреса<ПредметЛогічного>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_байти {
вернути предмет_байтів_двійкове_виключне_або(предмет як адреса<ПредметБайтів>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_адреса {
вернути предмет_адреси_двійкове_виключне_або(предмет як адреса<ПредметАдреси>, М, аргумент);
}
вернути складений_предмет_двійкове_виключне_або(предмет як адреса<СкладенийПредмет>, М, аргумент);
}
// мітка: прохід по типах предметів
місцева дія предмет_двійкове_не(предмет: адреса<Предмет>, М: адреса<Машина>): предмет_або_стан_падіння {
якщо предмет == пусто {
увімкнути_стан_падіння(М, пусто);
вернути виділити_предмет_тексту_помилки_неможливо_виконати_двійкове_не_для_пусто(М);
}
якщо предмет.тип == М.предмет_структури_Структура {
вернути предмет_структури_двійкове_не(предмет як адреса<ПредметСтруктури>, М);
} інакше якщо предмет.тип == М.предмет_структури_Дія {
вернути предмет_дії_двійкове_не(предмет як адреса<ПредметДії>, М);
} інакше якщо предмет.тип == М.предмет_структури_НативнаДія {
вернути предмет_нативної_дії_двійкове_не(предмет як адреса<ПредметНативноїДії>, М);
} інакше якщо предмет.тип == М.предмет_структури_число {
вернути предмет_числа_двійкове_не(предмет як адреса<ПредметЧисла>, М);
} інакше якщо предмет.тип == М.предмет_структури_текст {
вернути предмет_тексту_двійкове_не(предмет як адреса<ПредметТексту>, М);
} інакше якщо предмет.тип == М.предмет_структури_юнікод {
вернути предмет_юнікоду_двійкове_не(предмет як адреса<ПредметЮнікоду>, М);
} інакше якщо предмет.тип == М.предмет_структури_Модуль {
вернути предмет_модуля_двійкове_не(предмет як адреса<ПредметМодуля>, М);
} інакше якщо предмет.тип == М.предмет_структури_список {
вернути предмет_списку_двійкове_не(предмет як адреса<ПредметСписку>, М);
} інакше якщо предмет.тип == М.предмет_структури_словник {
вернути предмет_словника_двійкове_не(предмет як адреса<ПредметСловника>, М);
} інакше якщо предмет.тип == М.предмет_структури_логічне {
вернути предмет_логічного_двійкове_не(предмет як адреса<ПредметЛогічного>, М);
} інакше якщо предмет.тип == М.предмет_структури_байти {
вернути предмет_байтів_двійкове_не(предмет як адреса<ПредметБайтів>, М);
} інакше якщо предмет.тип == М.предмет_структури_адреса {
вернути предмет_адреси_двійкове_не(предмет як адреса<ПредметАдреси>, М);
}
вернути складений_предмет_двійкове_не(предмет як адреса<СкладенийПредмет>, М);
}
// мітка: прохід по типах предметів
місцева дія предмет_більше(предмет: адреса<Предмет>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння {
якщо предмет == пусто {
увімкнути_стан_падіння(М, пусто);
вернути виділити_предмет_тексту_помилки_неможливо_виконати_перевірку_на_більше_для_пусто(М);
}
якщо предмет.тип == М.предмет_структури_Структура {
вернути предмет_структури_більше(предмет як адреса<ПредметСтруктури>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_Дія {
вернути предмет_дії_більше(предмет як адреса<ПредметДії>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_НативнаДія {
вернути предмет_нативної_дії_більше(предмет як адреса<ПредметНативноїДії>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_число {
вернути предмет_числа_більше(предмет як адреса<ПредметЧисла>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_текст {
вернути предмет_тексту_більше(предмет як адреса<ПредметТексту>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_юнікод {
вернути предмет_юнікоду_більше(предмет як адреса<ПредметЮнікоду>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_Модуль {
вернути предмет_модуля_більше(предмет як адреса<ПредметМодуля>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_список {
вернути предмет_списку_більше(предмет як адреса<ПредметСписку>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_словник {
вернути предмет_словника_більше(предмет як адреса<ПредметСловника>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_логічне {
вернути предмет_логічного_більше(предмет як адреса<ПредметЛогічного>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_байти {
вернути предмет_байтів_більше(предмет як адреса<ПредметБайтів>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_адреса {
вернути предмет_адреси_більше(предмет як адреса<ПредметАдреси>, М, аргумент);
}
вернути складений_предмет_більше(предмет як адреса<СкладенийПредмет>, М, аргумент);
}
// мітка: прохід по типах предметів
місцева дія предмет_менше(предмет: адреса<Предмет>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння {
якщо предмет == пусто {
увімкнути_стан_падіння(М, пусто);
вернути виділити_предмет_тексту_помилки_неможливо_виконати_перевірку_на_менше_для_пусто(М);
}
якщо предмет.тип == М.предмет_структури_Структура {
вернути предмет_структури_менше(предмет як адреса<ПредметСтруктури>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_Дія {
вернути предмет_дії_менше(предмет як адреса<ПредметДії>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_НативнаДія {
вернути предмет_нативної_дії_менше(предмет як адреса<ПредметНативноїДії>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_число {
вернути предмет_числа_менше(предмет як адреса<ПредметЧисла>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_текст {
вернути предмет_тексту_менше(предмет як адреса<ПредметТексту>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_юнікод {
вернути предмет_юнікоду_менше(предмет як адреса<ПредметЮнікоду>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_Модуль {
вернути предмет_модуля_менше(предмет як адреса<ПредметМодуля>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_список {
вернути предмет_списку_менше(предмет як адреса<ПредметСписку>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_словник {
вернути предмет_словника_менше(предмет як адреса<ПредметСловника>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_логічне {
вернути предмет_логічного_менше(предмет як адреса<ПредметЛогічного>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_байти {
вернути предмет_байтів_менше(предмет як адреса<ПредметБайтів>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_адреса {
вернути предмет_адреси_менше(предмет як адреса<ПредметАдреси>, М, аргумент);
}
вернути складений_предмет_менше(предмет як адреса<СкладенийПредмет>, М, аргумент);
}
// мітка: прохід по типах предметів
місцева дія предмет_рівно(предмет: адреса<Предмет>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння {
якщо предмет == пусто {
якщо аргумент == пусто {
вернути М.предмет_логічного_так як адреса<Предмет>;
}
вернути М.предмет_логічного_ні як адреса<Предмет>;
}
якщо предмет.тип == М.предмет_структури_Структура {
вернути предмет_структури_рівно(предмет як адреса<ПредметСтруктури>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_Дія {
вернути предмет_дії_рівно(предмет як адреса<ПредметДії>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_НативнаДія {
вернути предмет_нативної_дії_рівно(предмет як адреса<ПредметНативноїДії>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_число {
вернути предмет_числа_рівно(предмет як адреса<ПредметЧисла>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_текст {
вернути предмет_тексту_рівно(предмет як адреса<ПредметТексту>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_юнікод {
вернути предмет_юнікоду_рівно(предмет як адреса<ПредметЮнікоду>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_Модуль {
вернути предмет_модуля_рівно(предмет як адреса<ПредметМодуля>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_список {
вернути предмет_списку_рівно(предмет як адреса<ПредметСписку>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_словник {
вернути предмет_словника_рівно(предмет як адреса<ПредметСловника>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_логічне {
вернути предмет_логічного_рівно(предмет як адреса<ПредметЛогічного>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_байти {
вернути предмет_байтів_рівно(предмет як адреса<ПредметБайтів>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_адреса {
вернути предмет_адреси_рівно(предмет як адреса<ПредметАдреси>, М, аргумент);
}
вернути складений_предмет_рівно(предмет як адреса<СкладенийПредмет>, М, аргумент);
}
// мітка: прохід по типах предметів
місцева дія предмет_містить(предмет: адреса<Предмет>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння {
якщо предмет == пусто {
увімкнути_стан_падіння(М, пусто);
вернути виділити_предмет_тексту_помилки_неможливо_виконати_перевірку_чи_містить_для_пусто(М);
}
якщо предмет.тип == М.предмет_структури_Структура {
вернути предмет_структури_містить(предмет як адреса<ПредметСтруктури>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_Дія {
вернути предмет_дії_містить(предмет як адреса<ПредметДії>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_НативнаДія {
вернути предмет_нативної_дії_містить(предмет як адреса<ПредметНативноїДії>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_число {
вернути предмет_числа_містить(предмет як адреса<ПредметЧисла>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_текст {
вернути предмет_тексту_містить(предмет як адреса<ПредметТексту>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_юнікод {
вернути предмет_юнікоду_містить(предмет як адреса<ПредметЮнікоду>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_Модуль {
вернути предмет_модуля_містить(предмет як адреса<ПредметМодуля>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_список {
вернути предмет_списку_містить(предмет як адреса<ПредметСписку>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_словник {
вернути предмет_словника_містить(предмет як адреса<ПредметСловника>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_логічне {
вернути предмет_логічного_містить(предмет як адреса<ПредметЛогічного>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_байти {
вернути предмет_байтів_містить(предмет як адреса<ПредметБайтів>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_адреса {
вернути предмет_адреси_містить(предмет як адреса<ПредметАдреси>, М, аргумент);
}
вернути складений_предмет_містить(предмет як адреса<СкладенийПредмет>, М, аргумент);
}
// мітка: прохід по типах предметів
місцева дія предмет_є(предмет: адреса<Предмет>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння {
якщо предмет == пусто {
якщо аргумент == пусто {
вернути М.предмет_логічного_так як адреса<Предмет>;
}
вернути М.предмет_логічного_ні як адреса<Предмет>;
}
якщо предмет.тип == М.предмет_структури_Структура {
вернути предмет_структури_є(предмет як адреса<ПредметСтруктури>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_Дія {
вернути предмет_дії_є(предмет як адреса<ПредметДії>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_НативнаДія {
вернути предмет_нативної_дії_є(предмет як адреса<ПредметНативноїДії>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_число {
вернути предмет_числа_є(предмет як адреса<ПредметЧисла>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_текст {
вернути предмет_тексту_є(предмет як адреса<ПредметТексту>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_юнікод {
вернути предмет_юнікоду_є(предмет як адреса<ПредметЮнікоду>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_Модуль {
вернути предмет_модуля_є(предмет як адреса<ПредметМодуля>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_список {
вернути предмет_списку_є(предмет як адреса<ПредметСписку>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_словник {
вернути предмет_словника_є(предмет як адреса<ПредметСловника>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_логічне {
вернути предмет_логічного_є(предмет як адреса<ПредметЛогічного>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_байти {
вернути предмет_байтів_є(предмет як адреса<ПредметБайтів>, М, аргумент);
} інакше якщо предмет.тип == М.предмет_структури_адреса {
вернути предмет_адреси_є(предмет як адреса<ПредметАдреси>, М, аргумент);
}
вернути складений_предмет_є(предмет як адреса<СкладенийПредмет>, М, аргумент);
}
// мітка: прохід по типах предметів
місцева дія предмет_відʼємне(предмет: адреса<Предмет>, М: адреса<Машина>): предмет_або_стан_падіння {
якщо предмет == пусто {
увімкнути_стан_падіння(М, пусто);
вернути виділити_предмет_тексту_помилки_неможливо_виконати_відʼємне_для_пусто(М);
}
якщо предмет.тип == М.предмет_структури_Структура {
вернути предмет_структури_відʼємне(предмет як адреса<ПредметСтруктури>, М);
} інакше якщо предмет.тип == М.предмет_структури_Дія {
вернути предмет_дії_відʼємне(предмет як адреса<ПредметДії>, М);
} інакше якщо предмет.тип == М.предмет_структури_НативнаДія {
вернути предмет_нативної_дії_відʼємне(предмет як адреса<ПредметНативноїДії>, М);
} інакше якщо предмет.тип == М.предмет_структури_число {
вернути предмет_числа_відʼємне(предмет як адреса<ПредметЧисла>, М);
} інакше якщо предмет.тип == М.предмет_структури_текст {
вернути предмет_тексту_відʼємне(предмет як адреса<ПредметТексту>, М);
} інакше якщо предмет.тип == М.предмет_структури_юнікод {
вернути предмет_юнікоду_відʼємне(предмет як адреса<ПредметЮнікоду>, М);
} інакше якщо предмет.тип == М.предмет_структури_Модуль {