# Коды ошибок в выражении ЯРС

ID | Описание ошибки
L8201 | Число превышает максимально допустимое значение 2147483647
L8203 | Нераспознанный символ
P8400 | Неопределенная синтаксическая ошибка
P8406 | Пропущена скобка ‘)’
P8407 | Пропущена скобка ‘}’
P8408 | Некорректная кванторная декларация переменной
P8414 | Некорректное объявление аргументов функции
P8415 | Некорректное имя локальной переменной в декларации функции
S2801 | Повторное объявление локальной переменной
S2802 | Локальная переменная объявлена, но не использована
S8801 | Использование необъявленной локальной переменной
S8802 | Повторное объявление локальной переменной внутри области действия
S8803 | Типизация операндов не совпадает
S8804 | Использована конституента с неопределенной типизацией
S8805 | Одна из проекций декартова произведения не является типизированным множеством имеющим характер множества
S8806 | Аргумент булеана не является типизированным множеством имеющим характер множества
S8807 | Операнд теоретико-множественного оператора не является типизированным множеством имеющим характер множества
S8808 | Операнд оператора card не является типизированным множеством имеющим характер множества
S8809 | Операнд оператора debool не является типизированным множеством имеющим характер множества
S880A | Неизвестное имя функции
S880B | Некорректное использование имени функции без аргументов
S8810 | Операнд оператора red не является типизированным множеством имеющим характер двойного булеана
S8811 | Некорректная типизация аргумента: проекция не определена
S8812 | Некорректная типизация аргумента: T(Pri(a)) = B(Pi(D(T(a))))
S8813 | Типизация элементов перечисления не совпадает
S8814 | Некорректная декларация связанных локальных переменных: количестве переменных в кортеже не соответствует размерности декартова произведения типизации
S8815 | Локальная переменная используется вне области действия
S8816 | Несоответствие типизаций операндов для предиката ?
S8818 | Некорректное количество аргументов терм-функции
S8819 | Типизация аргумента терм-функции не совпадает с объявленной
S881A | Сравнение кортежа или элемента с пустым множеством
S881C | Выражение родовой структуры должно быть ступенью
S881F | Ожидалось выражение объявления функции
S8820 | Некорректное использование пустого множества как типизированного выражения
S8821 | Радикалы запрещены вне деклараций терм-функций
S8822 | Типизация аргумента фильтра не корректна
S8823 | Количество параметров фильтра не соответствует количеству индексов
S8824 | Для выбранного типа не поддерживаются арифметические операции
S8825 | Типизации не совместимы для выбранной операции/предиката
S8826 | Для выбранного типа не поддерживаются предикаты порядка
S8840 | Используется неинтерпретируемый глобальный идентификатор
S8841 | Использование свойства в качестве значения
S8842 | Не удалось получить дерево разбора для глобального идентификатора
S8843 | Функция не интерпретируется для данных аргументов
V8A00 | Неизвестная ошибка: вычисление прервано
V8A01 | Превышен пределен количества элементов множества
V8A02 | Превышен пределен количества элементов в основании булеана
V8A03 | Использование конституенты с неопределенным значением
V8A04 | Превышен предел количества итераций
V8A05 | Попытка взять debool от многоэлементного множества
V8A06 | Попытка перебрать бесконечное множество