-
Notifications
You must be signed in to change notification settings - Fork 3
/
Copy pathМаМа.в
1672 lines (1565 loc) · 247 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
////
// Автор це Богданович Давид Когут Прихожденко та Організація М та Організація Організацій
////
взяти визначення ./допоміжне/біб;
взяти визначення ./допоміжне/різне;
взяти визначення ./КД;
// Перелік усіх вказівок МаМа, їх код та опис.
секція МаМа {
синонім ВПокластиПусто = 1; // [](){} -> [пусто]{}
синонім ВПокластиТак = 2; // [](){} -> [так]{}
синонім ВПокластиНі = 3; // [](){} -> [ні]{}
синонім ВПокластиКонстанту = 4; // [](позиція_константи){} -> [константа]{}
синонім ВСтворитиДію = 5; // [](позиція_коду){НаРПар: [параметри_дії], НаОТ: [...], ТрН: назва_дії} -> [предмет_дії]{НаРПар: [], НаОТ: [], ТрН: пусто}
синонім ВСтворитиСтруктуру = 6; // [предок](){НаРПар: [параметри_структури], ТрН: назва_структури} -> [предмет_структури]{НаРПар: [], ТрН: пусто}
синонім ВСтворитиМодуль = 7; // [](позиція_коду){ТрН: назва_модуля} -> [предмет_модуля]{ТрН: пусто}
синонім ВСтворитиСписок = 8; // [](довжина){} -> [предмет_списку]{}
синонім ВПокластиВСписок = 9; // [предмет_списку, елемент](){} -> [предмет_списку]{}
синонім ВСтворитиСловник = 10; // [](довжина){} -> [предмет_словника]{}
синонім ВПокластиВСловник = 11; // [предмет_словника, ключ, значення](){} -> [предмет_словника]{}
синонім ВПокластиСтруктуруПредмет = 12; // [](){} -> [предмет_структури_предмет]{}
синонім ВПокластиЯ = 13; // [](){} -> [предмет_я]{}
синонім ВЗаписатиМетод = 14; // [предмет_дії, предмет_структури](позиція_назви){} -> [предмет_дії]{}
// 15-19
синонім ВВизначити = 20; // [предмет](позиція_назви){} -> []{}
синонім ВЗвернутись = 21; // [](позиція_назви){} -> [предмет]{}
синонім ВВиконати = 22; // [предмет_дії, ...](кількість_аргументів){} -> [результат]{}
синонім ВВиконатиЗНазвами = 23; // [предмет_дії, ...](кількість_аргументів){НаРАрг: [аргументи_з_назвами]} -> [результат]{НаРАрг: []}
синонім ВОтриматиВластивість = 24; // [предмет](позиція_назви){} -> [значення_аргумента]{}
синонім ВЗмінитиВластивість = 25; // [предмет, значення](позиція_назви){} -> []{}
синонім ВВиконатиВластивість = 26; // [предмет, ...](позиція_назви, кількість_аргументів){} -> [результат]{}
синонім ВВиконатиВластивістьЗНазвами = 27; // [предмет, ...](позиція_назви, кількість_аргументів){НаРАрг: [аргументи_з_назвами]} -> [результат]{НаРАрг: []}
синонім ВОтриматиЕлемент = 28; // [предмет, ключ](){} -> [елемент]{}
синонім ВЗмінитиЕлемент = 29; // [предмет, ключ, значення](){} -> []{}
синонім ВОтриматиПеребір = 30; // [предмет](){} -> [предмет_перебору]{}
синонім ВВизначитиЗзовні = 31; // [предмет](позиція_назви){} -> []{}
синонім ВВиконатиЗПредка = 32; // [предмет, ...](позиція_назви, кількість_аргументів){} -> [результат]{}
синонім ВВиконатиЗПредкаЗНазвами = 33; // [предмет, ...](позиція_назви, кількість_аргументів){НаРАрг: [аргументи_з_назвами]} -> [результат]{НаРАрг: []}
синонім ВВидалити = 34; // [](позиція_назви){} -> [результат]{}
синонім ВВидалитиВластивість = 35; // [предмет](позиція_назви){} -> [результат]{}
синонім ВВидалитиЕлемент = 36; // [предмет, ключ](){} -> [результат]{}
// 37-49
синонім ВДодати = 50; // [а, б](){} -> [результат]{}
синонім ВВідняти = 51; // [а, б](){} -> [результат]{}
синонім ВПомножити = 52; // [а, б](){} -> [результат]{}
синонім ВПоділити = 53; // [а, б](){} -> [результат]{}
синонім ВОтриматиОстачуДілення = 54; // [а, б](){} -> [результат]{}
синонім ВОтриматиНеповнуЧасткуДілення = 55; // [а, б](){} -> [результат]{}
синонім ВПіднестиДоСтепеня = 56; // [а, б](){} -> [результат]{}
синонім ВЗсунутиВліво = 57; // [а, б](){} -> [результат]{}
синонім ВЗсунутиВправо = 58; // [а, б](){} -> [результат]{}
синонім ВЗсунутиВправоЗіЗаповненням = 59; // [а, б](){} -> [результат]{}
синонім ВДвійковеІ = 60; // [а, б](){} -> [результат]{}
синонім ВДвійковеАБО = 61; // [а, б](){} -> [результат]{}
синонім ВДвійковеВиключнеАБО = 62; // [а, б](){} -> [результат]{}
синонім ВДвійковеНЕ = 63; // [а](){} -> [результат]{}
синонім ВМенше = 70; // [а, б](){} -> [результат]{}
синонім ВБільше = 71; // [а, б](){} -> [результат]{}
синонім ВНеБільше = 72; // [а, б](){} -> [результат]{}
синонім ВНеМенше = 73; // [а, б](){} -> [результат]{}
синонім ВРівно = 74; // [а, б](){} -> [результат]{}
синонім ВНеРівно = 75; // [а, б](){} -> [результат]{}
синонім ВМістить = 76; // [а, б](){} -> [результат]{}
синонім ВНеМістить = 77; // [а, б](){} -> [результат]{}
синонім ВЄ = 78; // [а, б](){} -> [результат]{}
синонім ВНеЄ = 79; // [а, б](){} -> [результат]{}
синонім ВВідʼємне = 80; // [а](){} -> [результат]{}
синонім ВЧислове = 81; // [а](){} -> [результат]{}
синонім ВЗаперечити = 82; // [а](){} -> [результат]{}
синонім ВЗбільшити = 83; // [а](){} -> [результат]{}
синонім ВЗбільшитиПопереднє = 84; // [а, б](){} -> [результат, б]{}
синонім ВЗменшити = 85; // [а](){} -> [результат]{}
// 86-99
синонім ВПочатиСпробу = 100; // [](позиція_вказівки_зловити){} -> []{}
синонім ВВпасти = 101; // [предмет_помилки](){} -> []{}
синонім ВЗакінчитиСпробу = 102; // [](позиція_вказівки_виходу){} -> []{}
синонім ВВзяти = 103; // [](позиція_назви){НаН: [...]} -> [предмет_модуля]{НаН: []}
синонім ВДати = 104; // [предмет](позиція_назви){} -> []{}
синонім ВПочатиСпробуЗНазвою = 105; // [](позиція_вказівки_зловити, позиція_назви){} -> []{}
синонім ВПеребратиДалі = 106; // [предмет_перебору](){} -> [предмет_перебору, результат_виконання]{}
// 107-129
синонім ВПокластиРеєстрАргументівЗНазвами = 130; // [](){НаРАрг: []} -> []{НаРАрг: [аргументи_з_назвами]}
синонім ВЗареєструватиАргументЗНазвою = 131; // [предмет](позиція_назви){НаРАрг: [аргументи_з_назвами]} -> []{НаРАрг: [аргументи_з_назвами]}
синонім ВПокластиРеєстрПараметрів = 132; // [](){НаРПар: []} -> []{НаРПар: [параметри]}
синонім ВЗареєструватиПараметр = 133; // [...](позиція_назви, кількість_типів){НаРПар: [параметри], ТрК: код_значення_за_замовчуванням} -> []{НаРПар: [параметри], ТрК: пусто}
синонім ВТриматиКод = 134; // [](позиція_коду){ТрК: пусто} -> []{ТрК: код}
синонім ВНакопичитиНазву = 135; // [](позиція_назви){НаН: []} -> []{НаН: [назва]}
синонім ВТриматиНазву = 136; // [](позиція_назви){ТрН: пусто} -> []{ТрН: назва}
// 137-199
синонім ВСтрибнути = 200; // [](позиція_вказівки){} -> []{}
синонім ВСтрибнутиЯкщоНі = 201; // [предмет](позиція_вказівки){} -> []{}
синонім ВЗабрати = 202; // [предмет](){} -> []{}
синонім ВВернути = 203; // [предмет](){} -> []{}
синонім ВСтрибнутиЯкщоНіЗалишивши = 204; // [предмет](позиція_вказівки){} -> [предмет]{}
синонім ВСтрибнутиЯкщоТак = 205; // [предмет](позиція_вказівки){} -> [предмет]{}
синонім ВСтрибнутиЯкщоТакЗалишивши = 206; // [предмет](позиція_вказівки){} -> [предмет]{}
синонім ВДублювати = 207; // [предмет](){} -> [предмет, предмет]{}
синонім ВДублюватиПопереднє = 208; // [предмет, предмет2](){} -> [предмет, предмет2, предмет]{}
}
// Перелік усіх структур і синонімів, що використовуються в МаМа.
секція МаМа {
структура Накопичувач<Т>;
структура ЕлементРеєстру<К, З>;
структура Реєстр<К, З>;
структура ЕлементРеєстру2<К, З>;
структура Реєстр2<К, З>;
структура Назва;
структура Код;
структура МісцезнаходженняВказівки;
структура Утилізатор;
структура Параметр;
структура Предмет;
структура ПредметСтруктури;
структура ПредметДії;
структура ПредметНативноїДії;
структура ПредметЧисла;
структура ПредметТексту;
структура ПредметЮнікоду;
структура ПредметМодуля;
структура ПредметСписку;
структура ПредметСловника;
структура ПредметЛогічного;
структура ПредметБайтів;
структура ПредметАдреси;
структура СкладенийПредмет;
структура СтатичніНазви;
структура БазаНазв;
структура МісцезнаходженняПадіння;
структура ЕлементІсторіїВиконання;
структура Середовище;
структура Машина;
структура Накопичувач<Т> {
розмір: позитивне;
дані: памʼять<Т>;
}
синонім НакопичувачЮ8 = Накопичувач<п8>;
структура ЕлементРеєстру<К, З> {
ключ: К;
значення: З;
}
структура Реєстр<К, З> {
розмір: позитивне;
елементи: памʼять<ЕлементРеєстру<К, З>>;
дія_перевірки_ключа: (а: К, б: К) -> логічне;
}
структура ЕлементРеєстру2<К, З> {
ключ: К;
значення: З;
}
структура Реєстр2<К, З> {
розмір: позитивне;
елементи: памʼять<ЕлементРеєстру2<К, З>>;
дія_перевірки_ключа: (а: К, б: К, дані: адреса) -> логічне;
дані: адреса;
}
синонім предмет_або_стан_падіння = адреса<Предмет>; // дії, що вертають предмет_або_стан_падіння можуть вмикати стан падіння Машини, який необхідно обробляти
синонім НативнаДія = (предмет_нативної_дії: адреса<ПредметНативноїДії>, М: адреса<Машина>, предмет_я: адреса<Предмет>, аргументи: адреса<Накопичувач<адреса<Предмет>>>, іменовані_аргументи: адреса<Реєстр<адреса<Назва>, адреса<Предмет>>>) -> предмет_або_стан_падіння;
синонім ВідкликПередЗвільненнямПредметаНативноїДії = (предмет_нативної_дії: адреса<ПредметНативноїДії>, М: адреса<Машина>) -> ніщо;
синонім КОДУВАННЯ_НАЗВИ_КД = 1;
синонім КОДУВАННЯ_НАЗВИ_Ю8 = 2;
структура Назва {
кодування: позитивне; // 1 - КД, 2 - Ю8
значення: текст | ю8;
}
структура МісцезнаходженняВказівки {
позиція_вказівки: позитивне;
рядок: позитивне;
}
структура Код {
шлях_до_файлу: ю8;
накопичувач_вказівок: Накопичувач<позитивне>;
накопичувач_місцезнаходжень_вказівок: Накопичувач<МісцезнаходженняВказівки>;
}
структура Параметр {
типи: Накопичувач<адреса<ПредметСтруктури>>;
код_значення_за_замовчуванням: адреса<Код>;
}
структура Утилізатор {
останній_предмет: адреса<Предмет>;
кількість_предметів: позитивне;
кількість_предметів_щоб_запустити_утилізацію: позитивне;
кількість_середовищ_щоб_запустити_утилізацію: позитивне;
початок_середовищ: адреса<Середовище>;
кількість_середовищ: позитивне;
}
структура Предмет {
попередній_предмет: адреса<Предмет>;
позначено: позитивне;
тип: адреса<ПредметСтруктури>;
}
структура ПредметСтруктури {
попередній_предмет: адреса<Предмет>;
позначено: позитивне;
тип: адреса<ПредметСтруктури>;
властивості: Реєстр<адреса<Назва>, адреса<Предмет>>;
назва: адреса<Назва>;
предок: адреса<ПредметСтруктури>;
параметри: адреса<Реєстр<адреса<Назва>, Параметр>>;
методи: Реєстр<адреса<Назва>, адреса<Предмет>>;
середовище_створення: адреса<Середовище>;
}
структура ПредметДії {
попередній_предмет: адреса<Предмет>;
позначено: позитивне;
тип: адреса<ПредметСтруктури>;
властивості: Реєстр<адреса<Назва>, адреса<Предмет>>;
назва: адреса<Назва>;
параметри: адреса<Реєстр<адреса<Назва>, Параметр>>;
середовище_створення: адреса<Середовище>;
код: адреса<Код>;
типи_результату: Накопичувач<адреса<ПредметСтруктури>>;
}
структура ПредметНативноїДії {
попередній_предмет: адреса<Предмет>;
позначено: позитивне;
тип: адреса<ПредметСтруктури>;
властивості: Реєстр<адреса<Назва>, адреса<Предмет>>;
назва: адреса<Назва>;
нативна_дія: НативнаДія;
дані: адреса;
відклик_перед_звільненням: ВідкликПередЗвільненнямПредметаНативноїДії;
}
структура ПредметЧисла {
попередній_предмет: адреса<Предмет>;
позначено: позитивне;
тип: адреса<ПредметСтруктури>;
значення: д64;
}
структура ПредметТексту {
попередній_предмет: адреса<Предмет>;
позначено: позитивне;
тип: адреса<ПредметСтруктури>;
значення: текст;
}
структура ПредметЮнікоду {
попередній_предмет: адреса<Предмет>;
позначено: позитивне;
тип: адреса<ПредметСтруктури>;
довжина: позитивне;
значення: памʼять<п32>;
}
структура ПредметМодуля {
попередній_предмет: адреса<Предмет>;
позначено: позитивне;
тип: адреса<ПредметСтруктури>;
властивості: Реєстр<адреса<Назва>, адреса<Предмет>>;
назва: адреса<Назва>;
назва_паку: адреса<Назва>;
}
структура ПредметСписку {
попередній_предмет: адреса<Предмет>;
позначено: позитивне;
тип: адреса<ПредметСтруктури>;
властивості: Реєстр<адреса<Назва>, адреса<Предмет>>;
елементи: Накопичувач<адреса<Предмет>>;
}
структура ПредметСловника {
попередній_предмет: адреса<Предмет>;
позначено: позитивне;
тип: адреса<ПредметСтруктури>;
властивості: Реєстр<адреса<Назва>, адреса<Предмет>>;
елементи: Реєстр2<адреса<Предмет>, адреса<Предмет>>;
}
структура ПредметЛогічного {
попередній_предмет: адреса<Предмет>;
позначено: позитивне;
тип: адреса<ПредметСтруктури>;
значення: позитивне;
}
структура ПредметБайтів {
попередній_предмет: адреса<Предмет>;
позначено: позитивне;
тип: адреса<ПредметСтруктури>;
властивості: Реєстр<адреса<Назва>, адреса<Предмет>>;
дані: Накопичувач<п8>;
}
структура ПредметАдреси {
попередній_предмет: адреса<Предмет>;
позначено: позитивне;
тип: адреса<ПредметСтруктури>;
значення: адреса;
}
структура СкладенийПредмет {
попередній_предмет: адреса<Предмет>;
позначено: позитивне;
тип: адреса<ПредметСтруктури>;
властивості: Реєстр<адреса<Назва>, адреса<Предмет>>;
}
структура СтатичніНазви {
чародія_отримати_елемент: адреса<Назва>;
чародія_змінити_елемент: адреса<Назва>;
чародія_видалити_елемент: адреса<Назва>;
чародія_виконати: адреса<Назва>;
чародія_перебір: адреса<Назва>;
чародія_додати: адреса<Назва>;
чародія_відняти: адреса<Назва>;
чародія_помножити: адреса<Назва>;
чародія_поділити: адреса<Назва>;
чародія_остача: адреса<Назва>;
чародія_неповна_частка: адреса<Назва>;
чародія_степінь: адреса<Назва>;
чародія_вліво: адреса<Назва>;
чародія_вправо: адреса<Назва>;
чародія_вправо_зі_заповненням: адреса<Назва>;
чародія_двійкове_і: адреса<Назва>;
чародія_двійкове_або: адреса<Назва>;
чародія_двійкове_виключне_або: адреса<Назва>;
чародія_двійкове_не: адреса<Назва>;
чародія_більше: адреса<Назва>;
чародія_менше: адреса<Назва>;
чародія_містить: адреса<Назва>;
чародія_відʼємне: адреса<Назва>;
чародія_число: адреса<Назва>;
чародія_текст: адреса<Назва>;
чародія_юнікод: адреса<Назва>;
чародія_список: адреса<Назва>;
чародія_словник: адреса<Назва>;
чародія_збільшити: адреса<Назва>;
чародія_зменшити: адреса<Назва>;
чародія_байти: адреса<Назва>;
предок: адреса<Назва>;
предмет: адреса<Назва>;
Структура: адреса<Назва>;
НативнаДія: адреса<Назва>;
Дія: адреса<Назва>;
число: адреса<Назва>;
текст: адреса<Назва>;
юнікод: адреса<Назва>;
друк: адреса<Назва>;
модуль: адреса<Назва>;
біб: адреса<Назва>;
пак: адреса<Назва>;
Модуль: адреса<Назва>;
список: адреса<Назва>;
словник: адреса<Назва>;
логічне: адреса<Назва>;
так: адреса<Назва>;
ні: адреса<Назва>;
додати: адреса<Назва>;
значення: адреса<Назва>;
назва: адреса<Назва>;
забрати: адреса<Назва>;
ключ: адреса<Назва>;
розмір: адреса<Назва>;
довжина: адреса<Назва>;
фільтрувати: адреса<Назва>;
д: адреса<Назва>;
новий_список: адреса<Назва>;
знайти: адреса<Назва>;
знайти_позицію: адреса<Назва>;
перетворити: адреса<Назва>;
обернути: адреса<Назва>;
М: адреса<Назва>;
мавка: адреса<Назва>;
МаМа: адреса<Назва>;
перебір: адреса<Назва>;
далі: адреса<Назва>;
сп: адреса<Назва>;
позиція: адреса<Назва>;
визначення: адреса<Назва>;
ключі: адреса<Назва>;
видалити: адреса<Назва>;
байти: адреса<Назва>;
байт: адреса<Назва>;
читати: адреса<Назва>;
читати_юнікод: адреса<Назва>;
префікс: адреса<Назва>;
додати_символ: адреса<Назва>;
адреса: адреса<Назва>;
чародія_адреса: адреса<Назва>;
}
структура БазаНазв {
дані: Накопичувач<адреса<Назва>>;
С: СтатичніНазви;
}
структура МісцезнаходженняПадіння {
шлях_до_файлу: ю8;
рядок: позитивне;
}
структура ЕлементІсторіїВиконання {
предмет_дії: адреса<ПредметДії>;
середовище: адреса<Середовище>;
}
структура Середовище {
наступне_середовище: адреса<Середовище>;
позначено: позитивне;
батьківське: адреса<Середовище>;
підмети: Реєстр<адреса<Назва>, адреса<Предмет>>;
предмет_модуля: адреса<ПредметМодуля>;
предмет_я: адреса<Предмет>;
}
структура Система {
виділити_памʼять: (М: адреса<Машина>, розмір: позитивне) -> памʼять<п8>;
перевиділити_памʼять: (М: адреса<Машина>, значення: памʼять<п8>, новий_розмір: позитивне) -> памʼять<п8>;
звільнити_памʼять: (М: адреса<Машина>, значення: памʼять<п8>) -> ніщо;
вивести: (М: адреса<Машина>, значення: текст) -> ніщо;
вивести_Ю8: (М: адреса<Машина>, значення: ю8) -> ніщо;
померти: (М: адреса<Машина>, код: ц32) -> ніщо;
підлога_д64: (М: адреса<Машина>, значення: д64) -> д64;
піднести_до_степеня_д64: (М: адреса<Машина>, база: д64, експонента: д64) -> д64;
негація_д64: (М: адреса<Машина>, значення: д64) -> д64;
двійкова_негація_д64: (М: адреса<Машина>, значення: д64) -> д64;
д64_в_Ю8: (М: адреса<Машина>, значення: д64, вихід: адреса<ю8>, розмір_виходу: адреса<позитивне>) -> ніщо;
}
структура Машина {
БН: БазаНазв;
система: Система;
утилізатор: Утилізатор;
сховище_констант: Накопичувач<адреса<Предмет>>; // накопичувач констант під час компіляції
сховище_кодів: Накопичувач<адреса<Код>>; // накопичувач кодів під час компіляції
історія: Накопичувач<ЕлементІсторіїВиконання>; // накопичувач історії виконання
НатО: Накопичувач<адреса<Предмет>>; // накопичувач тимчасових предметів під час виконання
НаО: Накопичувач<адреса<Предмет>>; // загальний накопичувач предметів під час виконання
НаРАрг: Накопичувач<адреса<Реєстр<адреса<Назва>, адреса<Предмет>>>>; // накопичувач реєстрів аргументів під час виконання
НаРПар: Накопичувач<адреса<Реєстр<адреса<Назва>, Параметр>>>; // накопичувач реєстрів параметрів під час виконання
НаН: Накопичувач<адреса<Назва>>; // накопичувач назв під час виконання
ТрК: адреса<Код>; // тримач коду
ТрН: адреса<Назва>; // тримач назви
НаОТ: Накопичувач<адреса<Предмет>>; // накопичувач предметів типів під час виконання
стан_падіння: позитивне; // стан падіння під час виконання
місцезнаходження_падіння: адреса<МісцезнаходженняПадіння>; // місцезнаходження падіння під час виконання (якщо є стан падіння)
історія_виконання_перед_падінням: Накопичувач<адреса<Предмет>>; // історія виконання перед падінням під час виконання (якщо є стан падіння)
глобальне_середовище: адреса<Середовище>;
обробник_отримання_шляху_до_модуля: (М: адреса<Машина>, назва_паку: адреса<Назва>, шлях: Накопичувач<адреса<Назва>>, вихід: адреса<ю8>) -> логічне;
обробник_взяття_модуля: (М: адреса<Машина>, предмет_модуля_запису: адреса<ПредметМодуля>, ю8_шлях: ю8) -> предмет_або_стан_падіння;
обробник_взяття_біб: (М: адреса<Машина>, предмет_модуля_запису: адреса<ПредметМодуля>, шлях: Накопичувач<адреса<Назва>>) -> предмет_або_стан_падіння;
взяті_модулі: Реєстр<ю8, адреса<ПредметМодуля>>;
дані_виконувача: адреса;
предмет_структури_предмет: адреса<ПредметСтруктури>;
предмет_структури_Структура: адреса<ПредметСтруктури>;
предмет_структури_Дія: адреса<ПредметСтруктури>;
предмет_структури_НативнаДія: адреса<ПредметСтруктури>;
предмет_структури_число: адреса<ПредметСтруктури>;
предмет_структури_текст: адреса<ПредметСтруктури>;
предмет_структури_юнікод: адреса<ПредметСтруктури>;
предмет_структури_Модуль: адреса<ПредметСтруктури>;
предмет_структури_список: адреса<ПредметСтруктури>;
предмет_структури_словник: адреса<ПредметСтруктури>;
предмет_структури_логічне: адреса<ПредметСтруктури>;
предмет_структури_байти: адреса<ПредметСтруктури>;
предмет_структури_адреса: адреса<ПредметСтруктури>;
предмет_логічного_так: адреса<ПредметЛогічного>;
предмет_логічного_ні: адреса<ПредметЛогічного>;
вивести: (М: адреса<Машина>, значення: текст, розмір: позитивне) -> ніщо;
вивести_Ю8: (М: адреса<Машина>, значення: ю8, розмір: позитивне) -> ніщо;
померти: (М: адреса<Машина>, код: ц32) -> ніщо;
}
структура СтанРозмірівНакопичувачівМашини {
розмір_історії: позитивне;
розмір_НатО: позитивне;
розмір_НаО: позитивне;
розмір_НаРАрг: позитивне;
розмір_НаРПар: позитивне;
розмір_НаН: позитивне;
значення_ТрК: адреса<Код>;
значення_ТрН: адреса<Назва>;
розмір_НаОТ: позитивне;
}
місцева дія зберегти_СРНМ(М: адреса<Машина>): СтанРозмірівНакопичувачівМашини;
місцева дія відновити_СРНМ(М: адреса<Машина>, СРНМ: СтанРозмірівНакопичувачівМашини);
}
секція МаМа {
місцева дія порахувати_розмір_Ю8(значення: памʼять<п8>): позитивне;
місцева дія порахувати_розмір_Ю32(значення: памʼять<п32>): позитивне;
місцева дія порівняти_Ю32(а: памʼять<п32>, б: памʼять<п32>): ціле;
місцева дія вивести_Ю8(М: адреса<Машина>, значення: ю8);
місцева дія надрукувати_Ю8(М: адреса<Машина>, значення: ю8);
місцева дія перетворити_д64_в_Ю8(М: адреса<Машина>, значення: д64, вихід: адреса<ю8>): позитивне;
місцева дія перетворити_п64_в_ю8(М: адреса<Машина>, значення: п64): ю8;
місцева дія вивести_п64(М: адреса<Машина>, значення: п64);
місцева дія надрукувати_п64(М: адреса<Машина>, значення: п64);
місцева дія вивести_д64(М: адреса<Машина>, значення: д64);
місцева дія надрукувати_д64(М: адреса<Машина>, значення: д64);
місцева дія перевірити_чи_ю8_рівні(а: ю8, б: ю8): логічне;
місцева дія перевірити_чи_тексти_рівні(а: текст, б: текст): логічне;
місцева дія виділити_копію_байтів(М: адреса<Машина>, вхід: памʼять<п8>, розмір_входу: позитивне, вихід: адреса<памʼять<п8>>): позитивне;
місцева дія виділити_копію_Ю8(М: адреса<Машина>, вхід: памʼять<п8>, розмір_входу: позитивне, вихід: адреса<памʼять<п8>>): позитивне;
місцева дія виділити_копію_Ю32(М: адреса<Машина>, вхід: памʼять<п32>, розмір_входу: позитивне, вихід: адреса<памʼять<п32>>): позитивне;
місцева дія дізнатись_розмір_символа_юнікоду(перший_байт: п8): п8;
місцева дія перекодувати_Ю8_в_Ю32(М: адреса<Машина>, вхід: памʼять<п8>, розмір_входу: позитивне, адреса_виходу: адреса<памʼять<п32>>): позитивне;
місцева дія перекодувати_Ю32_в_Ю8(М: адреса<Машина>, вхід: памʼять<п32>, розмір_входу: позитивне, адреса_виходу: адреса<памʼять<п8>>): позитивне;
дія fmod(a: д64, b: д64): д64 {
вернути a - (a / b) * b;
}
}
// Публічні дії, які можна безпечно використовувати для створення мови.
секція МаМа {
дія виділити<Т>(М: адреса<Машина>): адреса<Т>;
дія виділити<Т>(М: адреса<Машина>, кількість: позитивне): памʼять<Т>;
дія перевиділити<Т>(М: адреса<Машина>, значення: памʼять<Т>, кількість: позитивне): памʼять<Т>;
дія звільнити(М: адреса<Машина>, значення: адреса);
дія виділити<Т>(М: адреса<Машина>): адреса<Т> {
вернути М.система.виділити_памʼять(М, Т.розмір) як адреса<Т>;
}
дія виділити<Т>(М: адреса<Машина>, кількість: позитивне): памʼять<Т> {
вернути М.система.виділити_памʼять(М, позитивне(кількість) * Т.розмір) як памʼять<Т>;
}
дія перевиділити<Т>(М: адреса<Машина>, значення: памʼять<Т>, кількість: позитивне): памʼять<Т> {
вернути М.система.перевиділити_памʼять(М, значення як памʼять<п8>, позитивне(кількість) * Т.розмір) як памʼять<Т>;
}
дія звільнити(М: адреса<Машина>, значення: адреса) {
М.система.звільнити_памʼять(М, значення як памʼять<п8>);
}
дія ПОМЕРТИ(М: адреса<Машина>, повідомлення: ю8) {
вивести_Ю8(М, ю8"ПРИЧИНА СМЕРТІ: ");
надрукувати_Ю8(М, повідомлення);
М.померти(М, 1);
}
// Машина
місцева дія налаштувати_машину(М: адреса<Машина>, дані_виконувача: адреса, система: Система);
місцева дія розлаштувати_машину(М: адреса<Машина>);
місцева дія виконати_код(М: адреса<Машина>, середовище: адреса<Середовище>, код: адреса<Код>, предмет_дії: адреса<ПредметДії>, предмет_модуля: адреса<ПредметМодуля>, предмет_я: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія виконати_код_в_середовищі(М: адреса<Машина>, середовище: адреса<Середовище>, код: адреса<Код>): предмет_або_стан_падіння;
місцева дія увімкнути_стан_падіння(М: адреса<Машина>, місцезнаходження_падіння: адреса<МісцезнаходженняПадіння>);
місцева дія вимкнути_стан_падіння(М: адреса<Машина>);
місцева дія покласти_константу(М: адреса<Машина>, предмет: адреса<Предмет>): позитивне;
місцева дія взяти_модуль(М: адреса<Машина>, середовище: адреса<Середовище>, назва_паку: адреса<Назва>, шлях: Накопичувач<адреса<Назва>>): предмет_або_стан_падіння;
місцева дія взяти_модуль_за_шляхом(М: адреса<Машина>, середовище: адреса<Середовище>, назва_модуля: адреса<Назва>, шлях_до_модуля: ю8): предмет_або_стан_падіння;
місцева дія взяти_біб(М: адреса<Машина>, шлях: Накопичувач<адреса<Назва>>): предмет_або_стан_падіння;
місцева дія покласти_тимчасове_середовище(М: адреса<Машина>): адреса<Середовище>;
місцева дія забрати_тимчасове_середовище(М: адреса<Машина>);
місцева дія зберегти_предмет(М: адреса<Машина>, предмет: адреса<Предмет>);
місцева дія видалити_збережений_предмет(М: адреса<Машина>);
// Середовище.
місцева дія виділити_середовище(М: адреса<Машина>, батьківське: адреса<Середовище>): адреса<Середовище>;
місцева дія змінити_в_середовищі(М: адреса<Машина>, середовище: адреса<Середовище>, назва: адреса<Назва>, предмет: адреса<Предмет>);
місцева дія видалити_з_середовища(М: адреса<Машина>, середовище: адреса<Середовище>, назва: адреса<Назва>): логічне;
місцева дія знайти_в_середовищі(М: адреса<Машина>, середовище: адреса<Середовище>, назва: адреса<Назва>): адреса<Предмет>;
місцева дія знайти_елемент_в_середовищі(М: адреса<Машина>, середовище: адреса<Середовище>, назва: адреса<Назва>): адреса<ЕлементРеєстру<адреса<Назва>, адреса<Предмет>>>;
// Назва!
// Назви використовуються всюди, де потрібно вказати ідентифікатор (наприклад назва дії, назва структури, назва параметра і тд).
// Кожна назва унікальна в межах Машини. Назва звільняється з памʼяті лише разом зі звільненням самої Машини.
місцева дія назва_з_Ю8(М: адреса<Машина>, значення: ю8): адреса<Назва>;
місцева дія позиція_назви_з_ю8(М: адреса<Машина>, значення: ю8): позитивне;
місцева дія виділити_ю8_з_назви(М: адреса<Машина>, назва: адреса<Назва>, вихід: адреса<ю8>): логічне;
місцева дія перевірити_чи_назва_чародія(М: адреса<Машина>, назва: адреса<Назва>): логічне;
// Код!
// Код зберігає вказівки які виконує Машина, а також їх місцезнаходження (рядок).
// Код наразі звільняється з памʼяті лише разом зі звільненням самої Машини.
місцева дія виділити_код(М: адреса<Машина>, шлях_до_файлу: ю8): адреса<Код>;
місцева дія звільнити_код(М: адреса<Машина>, код: адреса<Код>);
місцева дія надрукувати_код(М: адреса<Машина>, код: адреса<Код>);
місцева дія покласти_вказівку_ПокластиПусто(М: адреса<Машина>, код: адреса<Код>, рядок: позитивне): позитивне;
місцева дія покласти_вказівку_ПокластиТак(М: адреса<Машина>, код: адреса<Код>, рядок: позитивне): позитивне;
місцева дія покласти_вказівку_ПокластиНі(М: адреса<Машина>, код: адреса<Код>, рядок: позитивне): позитивне;
місцева дія покласти_вказівку_ПокластиКонстанту(М: адреса<Машина>, код: адреса<Код>, рядок: позитивне, позиція_константи: позитивне): позитивне;
місцева дія покласти_вказівку_СтворитиДію(М: адреса<Машина>, код: адреса<Код>, рядок: позитивне, позиція_коду: позитивне): позитивне;
місцева дія покласти_вказівку_СтворитиСтруктуру(М: адреса<Машина>, код: адреса<Код>, рядок: позитивне): позитивне;
місцева дія покласти_вказівку_СтворитиМодуль(М: адреса<Машина>, код: адреса<Код>, рядок: позитивне, позиція_коду: позитивне): позитивне;
місцева дія покласти_вказівку_СтворитиСписок(М: адреса<Машина>, код: адреса<Код>, рядок: позитивне, розмір: позитивне): позитивне;
місцева дія покласти_вказівку_ПокластиВСписок(М: адреса<Машина>, код: адреса<Код>, рядок: позитивне): позитивне;
місцева дія покласти_вказівку_СтворитиСловник(М: адреса<Машина>, код: адреса<Код>, рядок: позитивне, розмір: позитивне): позитивне;
місцева дія покласти_вказівку_ПокластиВСловник(М: адреса<Машина>, код: адреса<Код>, рядок: позитивне): позитивне;
місцева дія покласти_вказівку_ПокластиСтруктуруПредмет(М: адреса<Машина>, код: адреса<Код>, рядок: позитивне): позитивне;
місцева дія покласти_вказівку_ПокластиЯ(М: адреса<Машина>, код: адреса<Код>, рядок: позитивне): позитивне;
місцева дія покласти_вказівку_ЗаписатиМетод(М: адреса<Машина>, код: адреса<Код>, рядок: позитивне, позиція_назви: позитивне): позитивне;
місцева дія покласти_вказівку_Визначити(М: адреса<Машина>, код: адреса<Код>, рядок: позитивне, позиція_назви: позитивне): позитивне;
місцева дія покласти_вказівку_Звернутись(М: адреса<Машина>, код: адреса<Код>, рядок: позитивне, позиція_назви: позитивне): позитивне;
місцева дія покласти_вказівку_Виконати(М: адреса<Машина>, код: адреса<Код>, рядок: позитивне, кількість_аргументів: позитивне): позитивне;
місцева дія покласти_вказівку_ВиконатиЗНазвами(М: адреса<Машина>, код: адреса<Код>, рядок: позитивне, кількість_аргументів: позитивне): позитивне;
місцева дія покласти_вказівку_ОтриматиВластивість(М: адреса<Машина>, код: адреса<Код>, рядок: позитивне, позиція_назви: позитивне): позитивне;
місцева дія покласти_вказівку_ЗмінитиВластивість(М: адреса<Машина>, код: адреса<Код>, рядок: позитивне, позиція_назви: позитивне): позитивне;
місцева дія покласти_вказівку_ВиконатиВластивість(М: адреса<Машина>, код: адреса<Код>, рядок: позитивне, позиція_назви: позитивне, кількість_аргументів: позитивне): позитивне;
місцева дія покласти_вказівку_ВиконатиВластивістьЗНазвами(М: адреса<Машина>, код: адреса<Код>, рядок: позитивне, позиція_назви: позитивне, кількість_аргументів: позитивне): позитивне;
місцева дія покласти_вказівку_ОтриматиЕлемент(М: адреса<Машина>, код: адреса<Код>, рядок: позитивне): позитивне;
місцева дія покласти_вказівку_ЗмінитиЕлемент(М: адреса<Машина>, код: адреса<Код>, рядок: позитивне): позитивне;
місцева дія покласти_вказівку_ОтриматиПеребір(М: адреса<Машина>, код: адреса<Код>, рядок: позитивне): позитивне;
місцева дія покласти_вказівку_ВизначитиЗзовні(М: адреса<Машина>, код: адреса<Код>, рядок: позитивне, позиція_назви: позитивне): позитивне;
місцева дія покласти_вказівку_ВиконатиЗПредка(М: адреса<Машина>, код: адреса<Код>, рядок: позитивне, позиція_назви: позитивне, кількість_аргументів: позитивне): позитивне;
місцева дія покласти_вказівку_ВиконатиЗПредкаЗНазвами(М: адреса<Машина>, код: адреса<Код>, рядок: позитивне, позиція_назви: позитивне, кількість_аргументів: позитивне): позитивне;
місцева дія покласти_вказівку_Видалити(М: адреса<Машина>, код: адреса<Код>, рядок: позитивне, позиція_назви: позитивне): позитивне;
місцева дія покласти_вказівку_ВидалитиВластивість(М: адреса<Машина>, код: адреса<Код>, рядок: позитивне, позиція_назви: позитивне): позитивне;
місцева дія покласти_вказівку_ВидалитиЕлемент(М: адреса<Машина>, код: адреса<Код>, рядок: позитивне): позитивне;
місцева дія покласти_вказівку_Додати(М: адреса<Машина>, код: адреса<Код>, рядок: позитивне): позитивне;
місцева дія покласти_вказівку_Відняти(М: адреса<Машина>, код: адреса<Код>, рядок: позитивне): позитивне;
місцева дія покласти_вказівку_Помножити(М: адреса<Машина>, код: адреса<Код>, рядок: позитивне): позитивне;
місцева дія покласти_вказівку_Поділити(М: адреса<Машина>, код: адреса<Код>, рядок: позитивне): позитивне;
місцева дія покласти_вказівку_ОтриматиОстачуДілення(М: адреса<Машина>, код: адреса<Код>, рядок: позитивне): позитивне;
місцева дія покласти_вказівку_ОтриматиНеповнуЧасткуДілення(М: адреса<Машина>, код: адреса<Код>, рядок: позитивне): позитивне;
місцева дія покласти_вказівку_ПіднестиДоСтепеня(М: адреса<Машина>, код: адреса<Код>, рядок: позитивне): позитивне;
місцева дія покласти_вказівку_ЗсунутиВліво(М: адреса<Машина>, код: адреса<Код>, рядок: позитивне): позитивне;
місцева дія покласти_вказівку_ЗсунутиВправо(М: адреса<Машина>, код: адреса<Код>, рядок: позитивне): позитивне;
місцева дія покласти_вказівку_ЗсунутиВправоЗіЗаповненням(М: адреса<Машина>, код: адреса<Код>, рядок: позитивне): позитивне;
місцева дія покласти_вказівку_ДвійковеІ(М: адреса<Машина>, код: адреса<Код>, рядок: позитивне): позитивне;
місцева дія покласти_вказівку_ДвійковеАБО(М: адреса<Машина>, код: адреса<Код>, рядок: позитивне): позитивне;
місцева дія покласти_вказівку_ДвійковеВиключнеАБО(М: адреса<Машина>, код: адреса<Код>, рядок: позитивне): позитивне;
місцева дія покласти_вказівку_ДвійковеНЕ(М: адреса<Машина>, код: адреса<Код>, рядок: позитивне): позитивне;
місцева дія покласти_вказівку_Менше(М: адреса<Машина>, код: адреса<Код>, рядок: позитивне): позитивне;
місцева дія покласти_вказівку_Більше(М: адреса<Машина>, код: адреса<Код>, рядок: позитивне): позитивне;
місцева дія покласти_вказівку_НеБільше(М: адреса<Машина>, код: адреса<Код>, рядок: позитивне): позитивне;
місцева дія покласти_вказівку_НеМенше(М: адреса<Машина>, код: адреса<Код>, рядок: позитивне): позитивне;
місцева дія покласти_вказівку_Рівно(М: адреса<Машина>, код: адреса<Код>, рядок: позитивне): позитивне;
місцева дія покласти_вказівку_НеРівно(М: адреса<Машина>, код: адреса<Код>, рядок: позитивне): позитивне;
місцева дія покласти_вказівку_Містить(М: адреса<Машина>, код: адреса<Код>, рядок: позитивне): позитивне;
місцева дія покласти_вказівку_НеМістить(М: адреса<Машина>, код: адреса<Код>, рядок: позитивне): позитивне;
місцева дія покласти_вказівку_Є(М: адреса<Машина>, код: адреса<Код>, рядок: позитивне): позитивне;
місцева дія покласти_вказівку_НеЄ(М: адреса<Машина>, код: адреса<Код>, рядок: позитивне): позитивне;
місцева дія покласти_вказівку_Відʼємне(М: адреса<Машина>, код: адреса<Код>, рядок: позитивне): позитивне;
місцева дія покласти_вказівку_Числове(М: адреса<Машина>, код: адреса<Код>, рядок: позитивне): позитивне;
місцева дія покласти_вказівку_Заперечити(М: адреса<Машина>, код: адреса<Код>, рядок: позитивне): позитивне;
місцева дія покласти_вказівку_Збільшити(М: адреса<Машина>, код: адреса<Код>, рядок: позитивне): позитивне;
місцева дія покласти_вказівку_ЗбільшитиПопереднє(М: адреса<Машина>, код: адреса<Код>, рядок: позитивне): позитивне;
місцева дія покласти_вказівку_Зменшити(М: адреса<Машина>, код: адреса<Код>, рядок: позитивне): позитивне;
місцева дія покласти_вказівку_ПочатиСпробу(М: адреса<Машина>, код: адреса<Код>, рядок: позитивне, позиція_вказівки_зловити: позитивне): позитивне;
місцева дія покласти_вказівку_ПочатиСпробуЗНазвою(М: адреса<Машина>, код: адреса<Код>, рядок: позитивне, позиція_вказівки_зловити: позитивне, позиція_назви: позитивне): позитивне;
місцева дія покласти_вказівку_ПеребратиДалі(М: адреса<Машина>, код: адреса<Код>, рядок: позитивне): позитивне;
місцева дія покласти_вказівку_Впасти(М: адреса<Машина>, код: адреса<Код>, рядок: позитивне): позитивне;
місцева дія покласти_вказівку_ЗакінчитиСпробу(М: адреса<Машина>, код: адреса<Код>, рядок: позитивне, позиція_вказівки_виходу: позитивне): позитивне;
місцева дія покласти_вказівку_Взяти(М: адреса<Машина>, код: адреса<Код>, рядок: позитивне, позиція_назви: позитивне): позитивне;
місцева дія покласти_вказівку_Дати(М: адреса<Машина>, код: адреса<Код>, рядок: позитивне, позиція_назви: позитивне): позитивне;
місцева дія покласти_вказівку_ПокластиРеєстрАргументівЗНазвами(М: адреса<Машина>, код: адреса<Код>, рядок: позитивне): позитивне;
місцева дія покласти_вказівку_ЗареєструватиАргументЗНазвою(М: адреса<Машина>, код: адреса<Код>, рядок: позитивне, позиція_назви: позитивне): позитивне;
місцева дія покласти_вказівку_ПокластиРеєстрПараметрів(М: адреса<Машина>, код: адреса<Код>, рядок: позитивне): позитивне;
місцева дія покласти_вказівку_ЗареєструватиПараметр(М: адреса<Машина>, код: адреса<Код>, рядок: позитивне, позиція_назви: позитивне, кількість_типів: позитивне): позитивне;
місцева дія покласти_вказівку_ТриматиКод(М: адреса<Машина>, код: адреса<Код>, рядок: позитивне, позиція_коду: позитивне): позитивне;
місцева дія покласти_вказівку_НакопичитиНазву(М: адреса<Машина>, код: адреса<Код>, рядок: позитивне, позиція_назви: позитивне): позитивне;
місцева дія покласти_вказівку_ТриматиНазву(М: адреса<Машина>, код: адреса<Код>, рядок: позитивне, позиція_назви: позитивне): позитивне;
місцева дія покласти_вказівку_Стрибнути(М: адреса<Машина>, код: адреса<Код>, рядок: позитивне, позиція_вказівки: позитивне): позитивне;
місцева дія покласти_вказівку_СтрибнутиЯкщоНі(М: адреса<Машина>, код: адреса<Код>, рядок: позитивне, позиція_вказівки: позитивне): позитивне;
місцева дія покласти_вказівку_СтрибнутиЯкщоНіЗалишивши(М: адреса<Машина>, код: адреса<Код>, рядок: позитивне, позиція_вказівки: позитивне): позитивне;
місцева дія покласти_вказівку_СтрибнутиЯкщоТак(М: адреса<Машина>, код: адреса<Код>, рядок: позитивне, позиція_вказівки: позитивне): позитивне;
місцева дія покласти_вказівку_СтрибнутиЯкщоТакЗалишивши(М: адреса<Машина>, код: адреса<Код>, рядок: позитивне, позиція_вказівки: позитивне): позитивне;
місцева дія покласти_вказівку_Дублювати(М: адреса<Машина>, код: адреса<Код>, рядок: позитивне): позитивне;
місцева дія покласти_вказівку_ДублюватиПопереднє(М: адреса<Машина>, код: адреса<Код>, рядок: позитивне): позитивне;
місцева дія покласти_вказівку_Забрати(М: адреса<Машина>, код: адреса<Код>, рядок: позитивне): позитивне;
місцева дія покласти_вказівку_Вернути(М: адреса<Машина>, код: адреса<Код>, рядок: позитивне): позитивне;
// Предмети.
// Предмет є основою МаМа. Більшість вказівок Машини Мавки стосуються саме предметів.
// МаМа має декілька видів предметів: ПредметСтруктури, ПредметДії, ПредметНативноїДії, ПредметЧисла, ПредметТексту, ПредметЮнікоду, ПредметМодуля, ПредметСписку, ПредметСловника, ПредметЛогічного, ПредметБайтів, ПредметАдреси та СкладенийПредмет.
місцева дія виділити_предмет_структури(М: адреса<Машина>, назва: адреса<Назва>, предок: адреса<ПредметСтруктури>): адреса<ПредметСтруктури>;
місцева дія додати_метод_до_предмета_структури(предмет_структури: адреса<ПредметСтруктури>, М: адреса<Машина>, назва: адреса<Назва>, предмет_дії: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія виділити_предмет_дії(М: адреса<Машина>, назва: адреса<Назва>, параметри: адреса<Реєстр<адреса<Назва>, Параметр>>, середовище_створення: адреса<Середовище>, код: адреса<Код>, типи_результату: Накопичувач<адреса<ПредметСтруктури>>): адреса<ПредметДії>;
місцева дія виділити_предмет_нативної_дії(М: адреса<Машина>, назва: адреса<Назва>, нативна_дія: НативнаДія, дані: адреса, відклик_перед_звільненням: ВідкликПередЗвільненнямПредметаНативноїДії): адреса<ПредметНативноїДії>;
місцева дія виділити_предмет_числа(М: адреса<Машина>, значення: д64): адреса<ПредметЧисла>;
місцева дія виділити_предмет_тексту(М: адреса<Машина>, значення: текст): адреса<ПредметТексту>;
місцева дія виділити_предмет_тексту_з_ю8(М: адреса<Машина>, значення: ю8): адреса<ПредметТексту>;
місцева дія виділити_предмет_юнікоду(М: адреса<Машина>, значення: памʼять<п32>): адреса<ПредметЮнікоду>;
місцева дія виділити_предмет_юнікоду_з_ю8(М: адреса<Машина>, значення: ю8): адреса<ПредметЮнікоду>;
місцева дія виділити_предмет_юнікоду_з_байтів(М: адреса<Машина>, розмір: позитивне, значення: памʼять<п8>): адреса<ПредметЮнікоду>;
місцева дія виділити_предмет_модуля(М: адреса<Машина>, назва: адреса<Назва>): адреса<ПредметМодуля>;
місцева дія виділити_предмет_списку(М: адреса<Машина>): адреса<ПредметСписку>;
місцева дія виділити_предмет_словника(М: адреса<Машина>): адреса<ПредметСловника>;
місцева дія виділити_предмет_логічного(М: адреса<Машина>, значення: логічне): адреса<ПредметЛогічного>;
місцева дія виділити_предмет_байтів(М: адреса<Машина>, розмір: позитивне): адреса<ПредметБайтів>;
місцева дія виділити_предмет_адреси(М: адреса<Машина>, значення: адреса): адреса<ПредметАдреси>;
місцева дія виділити_складений_предмет(М: адреса<Машина>, тип: адреса<ПредметСтруктури>): адреса<СкладенийПредмет>;
// а()
місцева дія предмет_виконати(предмет: адреса<Предмет>, М: адреса<Машина>, предмет_я: адреса<Предмет>, аргументи: адреса<Накопичувач<адреса<Предмет>>>, іменовані_аргументи: адреса<Реєстр<адреса<Назва>, адреса<Предмет>>>): предмет_або_стан_падіння;
місцева дія предмет_структури_виконати(предмет_структури: адреса<ПредметСтруктури>, М: адреса<Машина>, предмет_я: адреса<Предмет>, аргументи: адреса<Накопичувач<адреса<Предмет>>>, іменовані_аргументи: адреса<Реєстр<адреса<Назва>, адреса<Предмет>>>): предмет_або_стан_падіння;
місцева дія предмет_дії_виконати(предмет_дії: адреса<ПредметДії>, М: адреса<Машина>, предмет_я: адреса<Предмет>, аргументи: адреса<Накопичувач<адреса<Предмет>>>, іменовані_аргументи: адреса<Реєстр<адреса<Назва>, адреса<Предмет>>>): предмет_або_стан_падіння;
місцева дія предмет_нативної_дії_виконати(предмет_нативної_дії: адреса<ПредметНативноїДії>, М: адреса<Машина>, предмет_я: адреса<Предмет>, аргументи: адреса<Накопичувач<адреса<Предмет>>>, іменовані_аргументи: адреса<Реєстр<адреса<Назва>, адреса<Предмет>>>): предмет_або_стан_падіння;
місцева дія предмет_числа_виконати(предмет_числа: адреса<ПредметЧисла>, М: адреса<Машина>, предмет_я: адреса<Предмет>, аргументи: адреса<Накопичувач<адреса<Предмет>>>, іменовані_аргументи: адреса<Реєстр<адреса<Назва>, адреса<Предмет>>>): предмет_або_стан_падіння;
місцева дія предмет_тексту_виконати(предмет_тексту: адреса<ПредметТексту>, М: адреса<Машина>, предмет_я: адреса<Предмет>, аргументи: адреса<Накопичувач<адреса<Предмет>>>, іменовані_аргументи: адреса<Реєстр<адреса<Назва>, адреса<Предмет>>>): предмет_або_стан_падіння;
місцева дія предмет_юнікоду_виконати(предмет_юнікоду: адреса<ПредметЮнікоду>, М: адреса<Машина>, предмет_я: адреса<Предмет>, аргументи: адреса<Накопичувач<адреса<Предмет>>>, іменовані_аргументи: адреса<Реєстр<адреса<Назва>, адреса<Предмет>>>): предмет_або_стан_падіння;
місцева дія предмет_модуля_виконати(предмет_модуля: адреса<ПредметМодуля>, М: адреса<Машина>, предмет_я: адреса<Предмет>, аргументи: адреса<Накопичувач<адреса<Предмет>>>, іменовані_аргументи: адреса<Реєстр<адреса<Назва>, адреса<Предмет>>>): предмет_або_стан_падіння;
місцева дія предмет_списку_виконати(предмет_списку: адреса<ПредметСписку>, М: адреса<Машина>, предмет_я: адреса<Предмет>, аргументи: адреса<Накопичувач<адреса<Предмет>>>, іменовані_аргументи: адреса<Реєстр<адреса<Назва>, адреса<Предмет>>>): предмет_або_стан_падіння;
місцева дія предмет_словника_виконати(предмет_словника: адреса<ПредметСловника>, М: адреса<Машина>, предмет_я: адреса<Предмет>, аргументи: адреса<Накопичувач<адреса<Предмет>>>, іменовані_аргументи: адреса<Реєстр<адреса<Назва>, адреса<Предмет>>>): предмет_або_стан_падіння;
місцева дія предмет_логічного_виконати(предмет_логічного: адреса<ПредметЛогічного>, М: адреса<Машина>, предмет_я: адреса<Предмет>, аргументи: адреса<Накопичувач<адреса<Предмет>>>, іменовані_аргументи: адреса<Реєстр<адреса<Назва>, адреса<Предмет>>>): предмет_або_стан_падіння;
місцева дія предмет_байтів_виконати(предмет_байтів: адреса<ПредметБайтів>, М: адреса<Машина>, предмет_я: адреса<Предмет>, аргументи: адреса<Накопичувач<адреса<Предмет>>>, іменовані_аргументи: адреса<Реєстр<адреса<Назва>, адреса<Предмет>>>): предмет_або_стан_падіння;
місцева дія предмет_адреси_виконати(предмет_адреси: адреса<ПредметАдреси>, М: адреса<Машина>, предмет_я: адреса<Предмет>, аргументи: адреса<Накопичувач<адреса<Предмет>>>, іменовані_аргументи: адреса<Реєстр<адреса<Назва>, адреса<Предмет>>>): предмет_або_стан_падіння;
місцева дія складений_предмет_виконати(складений_предмет: адреса<СкладенийПредмет>, М: адреса<Машина>, предмет_я: адреса<Предмет>, аргументи: адреса<Накопичувач<адреса<Предмет>>>, іменовані_аргументи: адреса<Реєстр<адреса<Назва>, адреса<Предмет>>>): предмет_або_стан_падіння;
// а.б
місцева дія предмет_отримати_властивість(предмет: адреса<Предмет>, М: адреса<Машина>, назва: адреса<Назва>): предмет_або_стан_падіння;
місцева дія предмет_структури_отримати_властивість(предмет_структури: адреса<ПредметСтруктури>, М: адреса<Машина>, назва: адреса<Назва>): предмет_або_стан_падіння;
місцева дія предмет_дії_отримати_властивість(предмет_дії: адреса<ПредметДії>, М: адреса<Машина>, назва: адреса<Назва>): предмет_або_стан_падіння;
місцева дія предмет_нативної_дії_отримати_властивість(предмет_нативної_дії: адреса<ПредметНативноїДії>, М: адреса<Машина>, назва: адреса<Назва>): предмет_або_стан_падіння;
місцева дія предмет_числа_отримати_властивість(предмет_числа: адреса<ПредметЧисла>, М: адреса<Машина>, назва: адреса<Назва>): предмет_або_стан_падіння;
місцева дія предмет_тексту_отримати_властивість(предмет_тексту: адреса<ПредметТексту>, М: адреса<Машина>, назва: адреса<Назва>): предмет_або_стан_падіння;
місцева дія предмет_юнікоду_отримати_властивість(предмет_юнікоду: адреса<ПредметЮнікоду>, М: адреса<Машина>, назва: адреса<Назва>): предмет_або_стан_падіння;
місцева дія предмет_модуля_отримати_властивість(предмет_модуля: адреса<ПредметМодуля>, М: адреса<Машина>, назва: адреса<Назва>): предмет_або_стан_падіння;
місцева дія предмет_списку_отримати_властивість(предмет_списку: адреса<ПредметСписку>, М: адреса<Машина>, назва: адреса<Назва>): предмет_або_стан_падіння;
місцева дія предмет_словника_отримати_властивість(предмет_словника: адреса<ПредметСловника>, М: адреса<Машина>, назва: адреса<Назва>): предмет_або_стан_падіння;
місцева дія предмет_логічного_отримати_властивість(предмет_логічного: адреса<ПредметЛогічного>, М: адреса<Машина>, назва: адреса<Назва>): предмет_або_стан_падіння;
місцева дія предмет_байтів_отримати_властивість(предмет_байтів: адреса<ПредметБайтів>, М: адреса<Машина>, назва: адреса<Назва>): предмет_або_стан_падіння;
місцева дія предмет_адреси_отримати_властивість(предмет_адреси: адреса<ПредметАдреси>, М: адреса<Машина>, назва: адреса<Назва>): предмет_або_стан_падіння;
місцева дія складений_предмет_отримати_властивість(складений_предмет: адреса<СкладенийПредмет>, М: адреса<Машина>, назва: адреса<Назва>): предмет_або_стан_падіння;
// а.б = в
місцева дія предмет_змінити_властивість(предмет: адреса<Предмет>, М: адреса<Машина>, назва: адреса<Назва>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_структури_змінити_властивість(предмет_структури: адреса<ПредметСтруктури>, М: адреса<Машина>, назва: адреса<Назва>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_дії_змінити_властивість(предмет_дії: адреса<ПредметДії>, М: адреса<Машина>, назва: адреса<Назва>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_нативної_дії_змінити_властивість(предмет_нативної_дії: адреса<ПредметНативноїДії>, М: адреса<Машина>, назва: адреса<Назва>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_числа_змінити_властивість(предмет_числа: адреса<ПредметЧисла>, М: адреса<Машина>, назва: адреса<Назва>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_тексту_змінити_властивість(предмет_тексту: адреса<ПредметТексту>, М: адреса<Машина>, назва: адреса<Назва>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_юнікоду_змінити_властивість(предмет_юнікоду: адреса<ПредметЮнікоду>, М: адреса<Машина>, назва: адреса<Назва>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_модуля_змінити_властивість(предмет_модуля: адреса<ПредметМодуля>, М: адреса<Машина>, назва: адреса<Назва>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_списку_змінити_властивість(предмет_списку: адреса<ПредметСписку>, М: адреса<Машина>, назва: адреса<Назва>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_словника_змінити_властивість(предмет_словника: адреса<ПредметСловника>, М: адреса<Машина>, назва: адреса<Назва>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_логічного_змінити_властивість(предмет_логічного: адреса<ПредметЛогічного>, М: адреса<Машина>, назва: адреса<Назва>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_байтів_змінити_властивість(предмет_байтів: адреса<ПредметБайтів>, М: адреса<Машина>, назва: адреса<Назва>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_адреси_змінити_властивість(предмет_адреси: адреса<ПредметАдреси>, М: адреса<Машина>, назва: адреса<Назва>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія складений_предмет_змінити_властивість(складений_предмет: адреса<СкладенийПредмет>, М: адреса<Машина>, назва: адреса<Назва>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
// видалити а.б
місцева дія предмет_видалити_властивість(предмет: адреса<Предмет>, М: адреса<Машина>, назва: адреса<Назва>): предмет_або_стан_падіння;
місцева дія предмет_структури_видалити_властивість(предмет_структури: адреса<ПредметСтруктури>, М: адреса<Машина>, назва: адреса<Назва>): предмет_або_стан_падіння;
місцева дія предмет_дії_видалити_властивість(предмет_дії: адреса<ПредметДії>, М: адреса<Машина>, назва: адреса<Назва>): предмет_або_стан_падіння;
місцева дія предмет_нативної_дії_видалити_властивість(предмет_нативної_дії: адреса<ПредметНативноїДії>, М: адреса<Машина>, назва: адреса<Назва>): предмет_або_стан_падіння;
місцева дія предмет_числа_видалити_властивість(предмет_числа: адреса<ПредметЧисла>, М: адреса<Машина>, назва: адреса<Назва>): предмет_або_стан_падіння;
місцева дія предмет_тексту_видалити_властивість(предмет_тексту: адреса<ПредметТексту>, М: адреса<Машина>, назва: адреса<Назва>): предмет_або_стан_падіння;
місцева дія предмет_юнікоду_видалити_властивість(предмет_юнікоду: адреса<ПредметЮнікоду>, М: адреса<Машина>, назва: адреса<Назва>): предмет_або_стан_падіння;
місцева дія предмет_модуля_видалити_властивість(предмет_модуля: адреса<ПредметМодуля>, М: адреса<Машина>, назва: адреса<Назва>): предмет_або_стан_падіння;
місцева дія предмет_списку_видалити_властивість(предмет_списку: адреса<ПредметСписку>, М: адреса<Машина>, назва: адреса<Назва>): предмет_або_стан_падіння;
місцева дія предмет_словника_видалити_властивість(предмет_словника: адреса<ПредметСловника>, М: адреса<Машина>, назва: адреса<Назва>): предмет_або_стан_падіння;
місцева дія предмет_логічного_видалити_властивість(предмет_логічного: адреса<ПредметЛогічного>, М: адреса<Машина>, назва: адреса<Назва>): предмет_або_стан_падіння;
місцева дія предмет_байтів_видалити_властивість(предмет_байтів: адреса<ПредметБайтів>, М: адреса<Машина>, назва: адреса<Назва>): предмет_або_стан_падіння;
місцева дія предмет_адреси_видалити_властивість(предмет_адреси: адреса<ПредметАдреси>, М: адреса<Машина>, назва: адреса<Назва>): предмет_або_стан_падіння;
місцева дія складений_предмет_видалити_властивість(складений_предмет: адреса<СкладенийПредмет>, М: адреса<Машина>, назва: адреса<Назва>): предмет_або_стан_падіння;
// а.б(в)
місцева дія предмет_виконати_властивість(предмет: адреса<Предмет>, М: адреса<Машина>, назва_властивості: адреса<Назва>, аргументи: адреса<Накопичувач<адреса<Предмет>>>, іменовані_аргументи: адреса<Реєстр<адреса<Назва>, адреса<Предмет>>>): предмет_або_стан_падіння;
місцева дія предмет_структури_виконати_властивість(предмет_структури: адреса<ПредметСтруктури>, М: адреса<Машина>, назва_властивості: адреса<Назва>, аргументи: адреса<Накопичувач<адреса<Предмет>>>, іменовані_аргументи: адреса<Реєстр<адреса<Назва>, адреса<Предмет>>>): предмет_або_стан_падіння;
місцева дія предмет_дії_виконати_властивість(предмет_дії: адреса<ПредметДії>, М: адреса<Машина>, назва_властивості: адреса<Назва>, аргументи: адреса<Накопичувач<адреса<Предмет>>>, іменовані_аргументи: адреса<Реєстр<адреса<Назва>, адреса<Предмет>>>): предмет_або_стан_падіння;
місцева дія предмет_нативної_дії_виконати_властивість(предмет_нативної_дії: адреса<ПредметНативноїДії>, М: адреса<Машина>, назва_властивості: адреса<Назва>, аргументи: адреса<Накопичувач<адреса<Предмет>>>, іменовані_аргументи: адреса<Реєстр<адреса<Назва>, адреса<Предмет>>>): предмет_або_стан_падіння;
місцева дія предмет_числа_виконати_властивість(предмет_числа: адреса<ПредметЧисла>, М: адреса<Машина>, назва_властивості: адреса<Назва>, аргументи: адреса<Накопичувач<адреса<Предмет>>>, іменовані_аргументи: адреса<Реєстр<адреса<Назва>, адреса<Предмет>>>): предмет_або_стан_падіння;
місцева дія предмет_тексту_виконати_властивість(предмет_тексту: адреса<ПредметТексту>, М: адреса<Машина>, назва_властивості: адреса<Назва>, аргументи: адреса<Накопичувач<адреса<Предмет>>>, іменовані_аргументи: адреса<Реєстр<адреса<Назва>, адреса<Предмет>>>): предмет_або_стан_падіння;
місцева дія предмет_юнікоду_виконати_властивість(предмет_юнікоду: адреса<ПредметЮнікоду>, М: адреса<Машина>, назва_властивості: адреса<Назва>, аргументи: адреса<Накопичувач<адреса<Предмет>>>, іменовані_аргументи: адреса<Реєстр<адреса<Назва>, адреса<Предмет>>>): предмет_або_стан_падіння;
місцева дія предмет_модуля_виконати_властивість(предмет_модуля: адреса<ПредметМодуля>, М: адреса<Машина>, назва_властивості: адреса<Назва>, аргументи: адреса<Накопичувач<адреса<Предмет>>>, іменовані_аргументи: адреса<Реєстр<адреса<Назва>, адреса<Предмет>>>): предмет_або_стан_падіння;
місцева дія предмет_списку_виконати_властивість(предмет_списку: адреса<ПредметСписку>, М: адреса<Машина>, назва_властивості: адреса<Назва>, аргументи: адреса<Накопичувач<адреса<Предмет>>>, іменовані_аргументи: адреса<Реєстр<адреса<Назва>, адреса<Предмет>>>): предмет_або_стан_падіння;
місцева дія предмет_словника_виконати_властивість(предмет_словника: адреса<ПредметСловника>, М: адреса<Машина>, назва_властивості: адреса<Назва>, аргументи: адреса<Накопичувач<адреса<Предмет>>>, іменовані_аргументи: адреса<Реєстр<адреса<Назва>, адреса<Предмет>>>): предмет_або_стан_падіння;
місцева дія предмет_логічного_виконати_властивість(предмет_логічного: адреса<ПредметЛогічного>, М: адреса<Машина>, назва_властивості: адреса<Назва>, аргументи: адреса<Накопичувач<адреса<Предмет>>>, іменовані_аргументи: адреса<Реєстр<адреса<Назва>, адреса<Предмет>>>): предмет_або_стан_падіння;
місцева дія предмет_байтів_виконати_властивість(предмет_байтів: адреса<ПредметБайтів>, М: адреса<Машина>, назва_властивості: адреса<Назва>, аргументи: адреса<Накопичувач<адреса<Предмет>>>, іменовані_аргументи: адреса<Реєстр<адреса<Назва>, адреса<Предмет>>>): предмет_або_стан_падіння;
місцева дія предмет_адреси_виконати_властивість(предмет_адреси: адреса<ПредметАдреси>, М: адреса<Машина>, назва_властивості: адреса<Назва>, аргументи: адреса<Накопичувач<адреса<Предмет>>>, іменовані_аргументи: адреса<Реєстр<адреса<Назва>, адреса<Предмет>>>): предмет_або_стан_падіння;
місцева дія складений_предмет_виконати_властивість(складений_предмет: адреса<СкладенийПредмет>, М: адреса<Машина>, назва_властивості: адреса<Назва>, аргументи: адреса<Накопичувач<адреса<Предмет>>>, іменовані_аргументи: адреса<Реєстр<адреса<Назва>, адреса<Предмет>>>): предмет_або_стан_падіння;
// чародія_отримати_елемент (а[б])
місцева дія предмет_отримати_елемент(предмет: адреса<Предмет>, М: адреса<Машина>, ключ: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_структури_отримати_елемент(предмет_структури: адреса<ПредметСтруктури>, М: адреса<Машина>, ключ: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_дії_отримати_елемент(предмет_дії: адреса<ПредметДії>, М: адреса<Машина>, ключ: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_нативної_дії_отримати_елемент(предмет_нативної_дії: адреса<ПредметНативноїДії>, М: адреса<Машина>, ключ: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_числа_отримати_елемент(предмет_числа: адреса<ПредметЧисла>, М: адреса<Машина>, ключ: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_тексту_отримати_елемент(предмет_тексту: адреса<ПредметТексту>, М: адреса<Машина>, ключ: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_юнікоду_отримати_елемент(предмет_юнікоду: адреса<ПредметЮнікоду>, М: адреса<Машина>, ключ: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_модуля_отримати_елемент(предмет_модуля: адреса<ПредметМодуля>, М: адреса<Машина>, ключ: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_списку_отримати_елемент(предмет_списку: адреса<ПредметСписку>, М: адреса<Машина>, ключ: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_словника_отримати_елемент(предмет_словника: адреса<ПредметСловника>, М: адреса<Машина>, ключ: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_логічного_отримати_елемент(предмет_логічного: адреса<ПредметЛогічного>, М: адреса<Машина>, ключ: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_байтів_отримати_елемент(предмет_байтів: адреса<ПредметБайтів>, М: адреса<Машина>, ключ: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_адреси_отримати_елемент(предмет_адреси: адреса<ПредметАдреси>, М: адреса<Машина>, ключ: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія складений_предмет_отримати_елемент(складений_предмет: адреса<СкладенийПредмет>, М: адреса<Машина>, ключ: адреса<Предмет>): предмет_або_стан_падіння;
// чародія_змінити_елемент (а[б] = в)
місцева дія предмет_змінити_елемент(предмет: адреса<Предмет>, М: адреса<Машина>, ключ: адреса<Предмет>, значення: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_структури_змінити_елемент(предмет_структури: адреса<ПредметСтруктури>, М: адреса<Машина>, ключ: адреса<Предмет>, значення: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_дії_змінити_елемент(предмет_дії: адреса<ПредметДії>, М: адреса<Машина>, ключ: адреса<Предмет>, значення: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_нативної_дії_змінити_елемент(предмет_нативної_дії: адреса<ПредметНативноїДії>, М: адреса<Машина>, ключ: адреса<Предмет>, значення: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_числа_змінити_елемент(предмет_числа: адреса<ПредметЧисла>, М: адреса<Машина>, ключ: адреса<Предмет>, значення: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_тексту_змінити_елемент(предмет_тексту: адреса<ПредметТексту>, М: адреса<Машина>, ключ: адреса<Предмет>, значення: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_юнікоду_змінити_елемент(предмет_юнікоду: адреса<ПредметЮнікоду>, М: адреса<Машина>, ключ: адреса<Предмет>, значення: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_модуля_змінити_елемент(предмет_модуля: адреса<ПредметМодуля>, М: адреса<Машина>, ключ: адреса<Предмет>, значення: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_списку_змінити_елемент(предмет_списку: адреса<ПредметСписку>, М: адреса<Машина>, ключ: адреса<Предмет>, значення: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_словника_змінити_елемент(предмет_словника: адреса<ПредметСловника>, М: адреса<Машина>, ключ: адреса<Предмет>, значення: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_логічного_змінити_елемент(предмет_логічного: адреса<ПредметЛогічного>, М: адреса<Машина>, ключ: адреса<Предмет>, значення: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_байтів_змінити_елемент(предмет_байтів: адреса<ПредметБайтів>, М: адреса<Машина>, ключ: адреса<Предмет>, значення: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_адреси_змінити_елемент(предмет_адреси: адреса<ПредметАдреси>, М: адреса<Машина>, ключ: адреса<Предмет>, значення: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія складений_предмет_змінити_елемент(складений_предмет: адреса<СкладенийПредмет>, М: адреса<Машина>, ключ: адреса<Предмет>, значення: адреса<Предмет>): предмет_або_стан_падіння;
// чародія_видалити_елемент (видалити а[б])
місцева дія предмет_видалити_елемент(предмет: адреса<Предмет>, М: адреса<Машина>, ключ: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_структури_видалити_елемент(предмет_структури: адреса<ПредметСтруктури>, М: адреса<Машина>, ключ: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_дії_видалити_елемент(предмет_дії: адреса<ПредметДії>, М: адреса<Машина>, ключ: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_нативної_дії_видалити_елемент(предмет_нативної_дії: адреса<ПредметНативноїДії>, М: адреса<Машина>, ключ: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_числа_видалити_елемент(предмет_числа: адреса<ПредметЧисла>, М: адреса<Машина>, ключ: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_тексту_видалити_елемент(предмет_тексту: адреса<ПредметТексту>, М: адреса<Машина>, ключ: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_юнікоду_видалити_елемент(предмет_юнікоду: адреса<ПредметЮнікоду>, М: адреса<Машина>, ключ: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_модуля_видалити_елемент(предмет_модуля: адреса<ПредметМодуля>, М: адреса<Машина>, ключ: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_списку_видалити_елемент(предмет_списку: адреса<ПредметСписку>, М: адреса<Машина>, ключ: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_словника_видалити_елемент(предмет_словника: адреса<ПредметСловника>, М: адреса<Машина>, ключ: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_логічного_видалити_елемент(предмет_логічного: адреса<ПредметЛогічного>, М: адреса<Машина>, ключ: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_байтів_видалити_елемент(предмет_байтів: адреса<ПредметБайтів>, М: адреса<Машина>, ключ: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_адреси_видалити_елемент(предмет_адреси: адреса<ПредметАдреси>, М: адреса<Машина>, ключ: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія складений_предмет_видалити_елемент(складений_предмет: адреса<СкладенийПредмет>, М: адреса<Машина>, ключ: адреса<Предмет>): предмет_або_стан_падіння;
// чародія_перебір (перебрати)
місцева дія предмет_отримати_перебір(предмет: адреса<Предмет>, М: адреса<Машина>): предмет_або_стан_падіння;
місцева дія предмет_структури_отримати_перебір(предмет_структури: адреса<ПредметСтруктури>, М: адреса<Машина>): предмет_або_стан_падіння;
місцева дія предмет_дії_отримати_перебір(предмет_дії: адреса<ПредметДії>, М: адреса<Машина>): предмет_або_стан_падіння;
місцева дія предмет_нативної_дії_отримати_перебір(предмет_нативної_дії: адреса<ПредметНативноїДії>, М: адреса<Машина>): предмет_або_стан_падіння;
місцева дія предмет_числа_отримати_перебір(предмет_числа: адреса<ПредметЧисла>, М: адреса<Машина>): предмет_або_стан_падіння;
місцева дія предмет_тексту_отримати_перебір(предмет_тексту: адреса<ПредметТексту>, М: адреса<Машина>): предмет_або_стан_падіння;
місцева дія предмет_юнікоду_отримати_перебір(предмет_юнікоду: адреса<ПредметЮнікоду>, М: адреса<Машина>): предмет_або_стан_падіння;
місцева дія предмет_модуля_отримати_перебір(предмет_модуля: адреса<ПредметМодуля>, М: адреса<Машина>): предмет_або_стан_падіння;
місцева дія предмет_списку_отримати_перебір(предмет_списку: адреса<ПредметСписку>, М: адреса<Машина>): предмет_або_стан_падіння;
місцева дія предмет_словника_отримати_перебір(предмет_словника: адреса<ПредметСловника>, М: адреса<Машина>): предмет_або_стан_падіння;
місцева дія предмет_логічного_отримати_перебір(предмет_логічного: адреса<ПредметЛогічного>, М: адреса<Машина>): предмет_або_стан_падіння;
місцева дія предмет_байтів_отримати_перебір(предмет_байтів: адреса<ПредметБайтів>, М: адреса<Машина>): предмет_або_стан_падіння;
місцева дія предмет_адреси_отримати_перебір(предмет_адреси: адреса<ПредметАдреси>, М: адреса<Машина>): предмет_або_стан_падіння;
місцева дія складений_предмет_отримати_перебір(складений_предмет: адреса<СкладенийПредмет>, М: адреса<Машина>): предмет_або_стан_падіння;
// чародія_додати (+)
місцева дія предмет_додати(предмет: адреса<Предмет>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_структури_додати(предмет_структури: адреса<ПредметСтруктури>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_дії_додати(предмет_дії: адреса<ПредметДії>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_нативної_дії_додати(предмет_нативної_дії: адреса<ПредметНативноїДії>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_числа_додати(предмет_числа: адреса<ПредметЧисла>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_тексту_додати(предмет_тексту: адреса<ПредметТексту>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_юнікоду_додати(предмет_юнікоду: адреса<ПредметЮнікоду>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_модуля_додати(предмет_модуля: адреса<ПредметМодуля>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_списку_додати(предмет_списку: адреса<ПредметСписку>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_словника_додати(предмет_словника: адреса<ПредметСловника>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_логічного_додати(предмет_логічного: адреса<ПредметЛогічного>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_байтів_додати(предмет_байтів: адреса<ПредметБайтів>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_адреси_додати(предмет_адреси: адреса<ПредметАдреси>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія складений_предмет_додати(складений_предмет: адреса<СкладенийПредмет>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
// чародія_відняти (-)
місцева дія предмет_відняти(предмет: адреса<Предмет>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_структури_відняти(предмет_структури: адреса<ПредметСтруктури>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_дії_відняти(предмет_дії: адреса<ПредметДії>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_нативної_дії_відняти(предмет_нативної_дії: адреса<ПредметНативноїДії>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_числа_відняти(предмет_числа: адреса<ПредметЧисла>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_тексту_відняти(предмет_тексту: адреса<ПредметТексту>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_юнікоду_відняти(предмет_юнікоду: адреса<ПредметЮнікоду>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_модуля_відняти(предмет_модуля: адреса<ПредметМодуля>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_списку_відняти(предмет_списку: адреса<ПредметСписку>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_словника_відняти(предмет_словника: адреса<ПредметСловника>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_логічного_відняти(предмет_логічного: адреса<ПредметЛогічного>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_байтів_відняти(предмет_байтів: адреса<ПредметБайтів>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_адреси_відняти(предмет_адреси: адреса<ПредметАдреси>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія складений_предмет_відняти(складений_предмет: адреса<СкладенийПредмет>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
// чародія_помножити (*)
місцева дія предмет_помножити(предмет: адреса<Предмет>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_структури_помножити(предмет_структури: адреса<ПредметСтруктури>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_дії_помножити(предмет_дії: адреса<ПредметДії>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_нативної_дії_помножити(предмет_нативної_дії: адреса<ПредметНативноїДії>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_числа_помножити(предмет_числа: адреса<ПредметЧисла>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_тексту_помножити(предмет_тексту: адреса<ПредметТексту>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_юнікоду_помножити(предмет_юнікоду: адреса<ПредметЮнікоду>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_модуля_помножити(предмет_модуля: адреса<ПредметМодуля>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_списку_помножити(предмет_списку: адреса<ПредметСписку>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_словника_помножити(предмет_словника: адреса<ПредметСловника>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_логічного_помножити(предмет_логічного: адреса<ПредметЛогічного>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_байтів_помножити(предмет_байтів: адреса<ПредметБайтів>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_адреси_помножити(предмет_адреси: адреса<ПредметАдреси>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія складений_предмет_помножити(складений_предмет: адреса<СкладенийПредмет>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
// чародія_поділити (/)
місцева дія предмет_поділити(предмет: адреса<Предмет>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_структури_поділити(предмет_структури: адреса<ПредметСтруктури>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_дії_поділити(предмет_дії: адреса<ПредметДії>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_нативної_дії_поділити(предмет_нативної_дії: адреса<ПредметНативноїДії>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_числа_поділити(предмет_числа: адреса<ПредметЧисла>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_тексту_поділити(предмет_тексту: адреса<ПредметТексту>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_юнікоду_поділити(предмет_юнікоду: адреса<ПредметЮнікоду>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_модуля_поділити(предмет_модуля: адреса<ПредметМодуля>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_списку_поділити(предмет_списку: адреса<ПредметСписку>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_словника_поділити(предмет_словника: адреса<ПредметСловника>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_логічного_поділити(предмет_логічного: адреса<ПредметЛогічного>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_байтів_поділити(предмет_байтів: адреса<ПредметБайтів>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_адреси_поділити(предмет_адреси: адреса<ПредметАдреси>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія складений_предмет_поділити(складений_предмет: адреса<СкладенийПредмет>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
// чародія_остача (%)
місцева дія предмет_отримати_остачу_ділення(предмет: адреса<Предмет>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_структури_отримати_остачу_ділення(предмет_структури: адреса<ПредметСтруктури>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_дії_отримати_остачу_ділення(предмет_дії: адреса<ПредметДії>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_нативної_дії_отримати_остачу_ділення(предмет_нативної_дії: адреса<ПредметНативноїДії>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_числа_отримати_остачу_ділення(предмет_числа: адреса<ПредметЧисла>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_тексту_отримати_остачу_ділення(предмет_тексту: адреса<ПредметТексту>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_юнікоду_отримати_остачу_ділення(предмет_юнікоду: адреса<ПредметЮнікоду>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_модуля_отримати_остачу_ділення(предмет_модуля: адреса<ПредметМодуля>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_списку_отримати_остачу_ділення(предмет_списку: адреса<ПредметСписку>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_словника_отримати_остачу_ділення(предмет_словника: адреса<ПредметСловника>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_логічного_отримати_остачу_ділення(предмет_логічного: адреса<ПредметЛогічного>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_байтів_отримати_остачу_ділення(предмет_байтів: адреса<ПредметБайтів>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_адреси_отримати_остачу_ділення(предмет_адреси: адреса<ПредметАдреси>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія складений_предмет_отримати_остачу_ділення(складений_предмет: адреса<СкладенийПредмет>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
// чародія_неповна_частка (//)
місцева дія предмет_отримати_неповну_частку_ділення(предмет: адреса<Предмет>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_структури_отримати_частку_ділення(предмет_структури: адреса<ПредметСтруктури>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_дії_отримати_частку_ділення(предмет_дії: адреса<ПредметДії>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_нативної_дії_отримати_частку_ділення(предмет_нативної_дії: адреса<ПредметНативноїДії>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_числа_отримати_частку_ділення(предмет_числа: адреса<ПредметЧисла>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_тексту_отримати_частку_ділення(предмет_тексту: адреса<ПредметТексту>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_юнікоду_отримати_частку_ділення(предмет_юнікоду: адреса<ПредметЮнікоду>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_модуля_отримати_частку_ділення(предмет_модуля: адреса<ПредметМодуля>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_списку_отримати_частку_ділення(предмет_списку: адреса<ПредметСписку>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_словника_отримати_частку_ділення(предмет_словника: адреса<ПредметСловника>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_логічного_отримати_частку_ділення(предмет_логічного: адреса<ПредметЛогічного>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_байтів_отримати_частку_ділення(предмет_байтів: адреса<ПредметБайтів>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_адреси_отримати_частку_ділення(предмет_адреси: адреса<ПредметАдреси>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія складений_предмет_отримати_неповну_частку_ділення(складений_предмет: адреса<СкладенийПредмет>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
// чародія_степінь (**)
місцева дія предмет_піднести_до_степеня(предмет: адреса<Предмет>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_структури_піднести_до_степеня(предмет_структури: адреса<ПредметСтруктури>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_дії_піднести_до_степеня(предмет_дії: адреса<ПредметДії>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_нативної_дії_піднести_до_степеня(предмет_нативної_дії: адреса<ПредметНативноїДії>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_числа_піднести_до_степеня(предмет_числа: адреса<ПредметЧисла>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_тексту_піднести_до_степеня(предмет_тексту: адреса<ПредметТексту>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_юнікоду_піднести_до_степеня(предмет_юнікоду: адреса<ПредметЮнікоду>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_модуля_піднести_до_степеня(предмет_модуля: адреса<ПредметМодуля>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_списку_піднести_до_степеня(предмет_списку: адреса<ПредметСписку>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_словника_піднести_до_степеня(предмет_словника: адреса<ПредметСловника>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_логічного_піднести_до_степеня(предмет_логічного: адреса<ПредметЛогічного>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_байтів_піднести_до_степеня(предмет_байтів: адреса<ПредметБайтів>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_адреси_піднести_до_степеня(предмет_адреси: адреса<ПредметАдреси>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія складений_предмет_піднести_до_степеня(складений_предмет: адреса<СкладенийПредмет>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
// чародія_вліво (<<)
місцева дія предмет_зсунути_вліво(предмет: адреса<Предмет>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_структури_зсунути_вліво(предмет_структури: адреса<ПредметСтруктури>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_дії_зсунути_вліво(предмет_дії: адреса<ПредметДії>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_нативної_дії_зсунути_вліво(предмет_нативної_дії: адреса<ПредметНативноїДії>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_числа_зсунути_вліво(предмет_числа: адреса<ПредметЧисла>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_тексту_зсунути_вліво(предмет_тексту: адреса<ПредметТексту>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_юнікоду_зсунути_вліво(предмет_юнікоду: адреса<ПредметЮнікоду>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_модуля_зсунути_вліво(предмет_модуля: адреса<ПредметМодуля>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_списку_зсунути_вліво(предмет_списку: адреса<ПредметСписку>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_словника_зсунути_вліво(предмет_словника: адреса<ПредметСловника>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_логічного_зсунути_вліво(предмет_логічного: адреса<ПредметЛогічного>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_байтів_зсунути_вліво(предмет_байтів: адреса<ПредметБайтів>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_адреси_зсунути_вліво(предмет_адреси: адреса<ПредметАдреси>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія складений_предмет_зсунути_вліво(складений_предмет: адреса<СкладенийПредмет>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
// чародія_вправо (>>)
місцева дія предмет_зсунути_вправо(предмет: адреса<Предмет>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_структури_зсунути_вправо(предмет_структури: адреса<ПредметСтруктури>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_дії_зсунути_вправо(предмет_дії: адреса<ПредметДії>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_нативної_дії_зсунути_вправо(предмет_нативної_дії: адреса<ПредметНативноїДії>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_числа_зсунути_вправо(предмет_числа: адреса<ПредметЧисла>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_тексту_зсунути_вправо(предмет_тексту: адреса<ПредметТексту>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_юнікоду_зсунути_вправо(предмет_юнікоду: адреса<ПредметЮнікоду>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_модуля_зсунути_вправо(предмет_модуля: адреса<ПредметМодуля>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_списку_зсунути_вправо(предмет_списку: адреса<ПредметСписку>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_словника_зсунути_вправо(предмет_словника: адреса<ПредметСловника>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_логічного_зсунути_вправо(предмет_логічного: адреса<ПредметЛогічного>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_байтів_зсунути_вправо(предмет_байтів: адреса<ПредметБайтів>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_адреси_зсунути_вправо(предмет_адреси: адреса<ПредметАдреси>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія складений_предмет_зсунути_вправо(складений_предмет: адреса<СкладенийПредмет>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
// чародія_вправо_зі_заповненням (>>>)
місцева дія предмет_зсунути_вправо_зі_заповненням(предмет: адреса<Предмет>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_структури_зсунути_вправо_зі_заповненням(предмет_структури: адреса<ПредметСтруктури>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_дії_зсунути_вправо_зі_заповненням(предмет_дії: адреса<ПредметДії>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_нативної_дії_зсунути_вправо_зі_заповненням(предмет_нативної_дії: адреса<ПредметНативноїДії>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_числа_зсунути_вправо_зі_заповненням(предмет_числа: адреса<ПредметЧисла>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_тексту_зсунути_вправо_зі_заповненням(предмет_тексту: адреса<ПредметТексту>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_юнікоду_зсунути_вправо_зі_заповненням(предмет_юнікоду: адреса<ПредметЮнікоду>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_модуля_зсунути_вправо_зі_заповненням(предмет_модуля: адреса<ПредметМодуля>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_списку_зсунути_вправо_зі_заповненням(предмет_списку: адреса<ПредметСписку>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_словника_зсунути_вправо_зі_заповненням(предмет_словника: адреса<ПредметСловника>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_логічного_зсунути_вправо_зі_заповненням(предмет_логічного: адреса<ПредметЛогічного>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_байтів_зсунути_вправо_зі_заповненням(предмет_байтів: адреса<ПредметБайтів>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_адреси_зсунути_вправо_зі_заповненням(предмет_адреси: адреса<ПредметАдреси>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія складений_предмет_зсунути_вправо_зі_заповненням(складений_предмет: адреса<СкладенийПредмет>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
// чародія_двійкове_і (&)
місцева дія предмет_двійкове_і(предмет: адреса<Предмет>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_структури_двійкове_і(предмет_структури: адреса<ПредметСтруктури>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_дії_двійкове_і(предмет_дії: адреса<ПредметДії>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_нативної_дії_двійкове_і(предмет_нативної_дії: адреса<ПредметНативноїДії>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_числа_двійкове_і(предмет_числа: адреса<ПредметЧисла>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_тексту_двійкове_і(предмет_тексту: адреса<ПредметТексту>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_юнікоду_двійкове_і(предмет_юнікоду: адреса<ПредметЮнікоду>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_модуля_двійкове_і(предмет_модуля: адреса<ПредметМодуля>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_списку_двійкове_і(предмет_списку: адреса<ПредметСписку>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_словника_двійкове_і(предмет_словника: адреса<ПредметСловника>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_логічного_двійкове_і(предмет_логічного: адреса<ПредметЛогічного>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;
місцева дія предмет_байтів_двійкове_і(предмет_байтів: адреса<ПредметБайтів>, М: адреса<Машина>, аргумент: адреса<Предмет>): предмет_або_стан_падіння;