F: Allow enumeration in structure definition

distr/app/UpdateLog.txt

@@ -1,3 +1,5 @@
+17.10.2024 Экстеор 4.9.6
+• добавлена возможность использования перечисления в области определения родовой структуры
 22.09.2024 Экстеор 4.9.5
 • сообщения об ошибках при несоответствии выражения конституенте
 30.08.2024 Экстеор 4.9.4

include/Exteor.RC

@@ -1182,8 +1182,8 @@ END
 //
 
 VS_VERSION_INFO VERSIONINFO
- FILEVERSION 4,9,5,1000
- PRODUCTVERSION 4,9,5,1000
+ FILEVERSION 4,9,6,1000
+ PRODUCTVERSION 4,9,6,1000
  FILEFLAGSMASK 0x3fL
 #ifdef _DEBUG
  FILEFLAGS 0x1L
@@ -1201,13 +1201,13 @@ BEGIN
             VALUE "Comments", "Экспликатор теорий "
             VALUE "CompanyName", "НП ЦИВТ КОНЦЕПТ"
             VALUE "FileDescription", "Экстеор 4.9"
-            VALUE "FileVersion", "4.9.5.1000"
+            VALUE "FileVersion", "4.9.6.1000"
             VALUE "InternalName", "Экстеор 4.9"
             VALUE "LegalCopyright", "Copyright © NPMP CIHT CONCEPT 1994-2024"
             VALUE "LegalTrademarks", "Экстеор™"
             VALUE "OriginalFilename", "Exteor.exe"
             VALUE "ProductName", "Экстеор 4.9"
-            VALUE "ProductVersion", "4.9.5.1000"
+            VALUE "ProductVersion", "4.9.6.1000"
         END
     END
     BLOCK "VarFileInfo"
@@ -3523,12 +3523,16 @@ STRINGTABLE
 BEGIN
     IXTRS_CST_NONEMPTY_BASE "Непустое выражение базисного/константного множества"
     IXTRS_CST_EMPTY_DERIVED "Пустое выражение для сложного понятия или утверждения"
+END
+
+STRINGTABLE
+BEGIN
     IXTRS_CALLABLE_NO_ARGS  "Отсутствуют аргументы для параметризованной конституенты"
-    IXTRS_CST_NONCALLABLE_ARGS
+    IXTRS_CST_NONCALLABLE_ARGS 
                             "Параметризованное выражение не подходит для данного типа конституенты"
-    IXTRS_CST_EXPECTED_LOGICAL
+    IXTRS_CST_EXPECTED_LOGICAL 
                             "Данный тип конституенты требует логического выражения"
-    IXTRS_CST_EXPECTED_TYPED
+    IXTRS_CST_EXPECTED_TYPED 
                             "Данный тип конституенты требует теоретико-множественного выражения"
     IXTRS_TYPE_STRUCTURE    "Выражение родовой структуры должно быть ступенью"
     IXTRS_USE_RADICAL       "Радикалы запрещены вне деклараций терм-функци: %1"
@@ -3564,9 +3568,8 @@ BEGIN
     IXTRS_TYPE_DEBOOL       "T(debool(a)) = D(T(a)). Некорректная типизация аргумента: %1"
     IXTRS_TYPE_RED          "T(red(a)) = B(DD(T(a))). Некорректная типизация аргумента: %1"
     IXTRS_TYPECHECK_FAILURE "Проверка биективной переносимости: ОШИБКА"
+    IXTRS_TYPE_INVALID_EMPTY "Áåññìûñëåííîå èñïîëüçîâàíèå ïóñòîãî ìíîæåñòâà"
     IXTRS_TYPE_PR_ERROR     "Проекция не определена: %1 -> %2 "
-    IXTRS_TYPE_INVALID_EMPTY
-                            "Áåññìûñëåííîå èñïîëüçîâàíèå ïóñòîãî ìíîæåñòâà"
     IXTRS_TYPE_BIGPR        "T(Pri(a)) = B(Pi(D(T(a)))). Некорректная типизация аргумента: %1 -> %2"
     IXTRS_TYPE_ENUMERATION  "Типизация аргументов перечисления не совпадает: %1 != %2"
     IXTRS_TYPE_DECLARE_CORTEGE