diff --git a/include/Exteor.RC b/include/Exteor.RC index 7045519..88b5dde 100644 --- a/include/Exteor.RC +++ b/include/Exteor.RC @@ -3565,7 +3565,9 @@ BEGIN IXTRS_TYPE_RED "T(red(a)) = B(DD(T(a))). Некорректная типизация аргумента: %1" IXTRS_TYPECHECK_FAILURE "Проверка биективной переносимости: ОШИБКА" IXTRS_TYPE_PR_ERROR "Проекция не определена: %1 -> %2 " - IXTRS_TYPE_BIGPR "T(Pri(a)) = B(Pi(D(T(a)))). Некорректная типизация аргумента: %1" + 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 "Количество переменных в кортеже не соответствует размерности декартова произведения!" diff --git a/include/resource.h b/include/resource.h index 9816560..3e582ca 100644 --- a/include/resource.h +++ b/include/resource.h @@ -517,6 +517,7 @@ #define IXTRS_TYPE_DEBOOL 3525 #define IXTRS_TYPE_RED 3526 #define IXTRS_TYPECHECK_FAILURE 3527 +#define IXTRS_TYPE_INVALID_EMPTY 3528 #define IXTRS_TYPE_PR_ERROR 3529 #define IXTRS_TYPE_BIGPR 3530 #define IXTRS_TYPE_ENUMERATION 3531 diff --git a/src/cclDescriptor.cpp b/src/cclDescriptor.cpp index bcba0d0..6b6f283 100644 --- a/src/cclDescriptor.cpp +++ b/src/cclDescriptor.cpp @@ -81,6 +81,7 @@ namespace { case SemanticEID::invalidDebool: return IXTRS_TYPE_DEBOOL; case SemanticEID::invalidReduce: return IXTRS_TYPE_RED; case SemanticEID::invalidProjectionTuple: return IXTRS_TYPE_PR_ERROR; + case SemanticEID::invalidEmptySetUsage: return IXTRS_TYPE_INVALID_EMPTY; case SemanticEID::invalidProjectionSet: return IXTRS_TYPE_BIGPR; case SemanticEID::invalidEnumeration: return IXTRS_TYPE_ENUMERATION; case SemanticEID::invalidBinding: return IXTRS_TYPE_DECLARE_CORTEGE;