arxo-codegen 0.4.0__py3-none-any.whl

arxo_codegen/targets/bsl/json.bsl

@@ -0,0 +1,243 @@
+// Разбор и печать JSON для BSL-бэкенда. ЧтениеJSON отдало бы число как Число:
+// `0.000` теряло бы масштаб, а длинная запись переполнялась либо округлялась
+// молча, — поэтому разбор свой и число остаётся ЗАПИСЬЮ (Структура
+// {ЗаписьЧисла}). null — Null, объект — Соответствие (только поиск по ключу,
+// порядок обхода не нужен), массив — Массив. Печать тоже своя: ЗаписьJSON
+// вставляет переносы строк и по-разному экранирует у исполнителей.
+
+Перем Т;
+Перем Поз;
+Перем Длина;
+
+Процедура Ошибка(Что)
+	ВызватьИсключение "JSON: " + Что + " в позиции " + Поз;
+КонецПроцедуры
+
+Функция Код()
+	Если Поз > Длина Тогда
+		Возврат -1;
+	КонецЕсли;
+	Возврат КодСимвола(Т, Поз);
+КонецФункции
+
+Процедура Пропуск()
+	Пока Поз <= Длина Цикл
+		К = КодСимвола(Т, Поз);
+		Если К <> 32 И К <> 9 И К <> 10 И К <> 13 Тогда
+			Прервать;
+		КонецЕсли;
+		Поз = Поз + 1;
+	КонецЦикла;
+КонецПроцедуры
+
+Функция Шестнадцать(Запись)
+	Н = 0;
+	Для Инд = 1 По СтрДлина(Запись) Цикл
+		К = КодСимвола(Запись, Инд);
+		Если К >= 48 И К <= 57 Тогда
+			Н = Н * 16 + К - 48;
+		ИначеЕсли К >= 97 И К <= 102 Тогда
+			Н = Н * 16 + К - 87;
+		ИначеЕсли К >= 65 И К <= 70 Тогда
+			Н = Н * 16 + К - 55;
+		Иначе
+			Ошибка("плохой \u");
+		КонецЕсли;
+	КонецЦикла;
+	Возврат Н;
+КонецФункции
+
+Функция СтрокаJSON()
+	Поз = Поз + 1;
+	Рез = "";
+	Нач = Поз;
+	Пока Истина Цикл
+		К = Код();
+		Если К = -1 Тогда
+			Ошибка("строка не закрыта");
+		ИначеЕсли К = 34 Тогда
+			Рез = Рез + Сред(Т, Нач, Поз - Нач);
+			Поз = Поз + 1;
+			Возврат Рез;
+		ИначеЕсли К = 92 Тогда
+			Рез = Рез + Сред(Т, Нач, Поз - Нач);
+			Поз = Поз + 1;
+			Э = Код();
+			Если Э = 117 Тогда
+				Рез = Рез + Символ(Шестнадцать(Сред(Т, Поз + 1, 4)));
+				Поз = Поз + 5;
+			Иначе
+				Если Э = 110 Тогда
+					Рез = Рез + Символ(10);
+				ИначеЕсли Э = 116 Тогда
+					Рез = Рез + Символ(9);
+				ИначеЕсли Э = 114 Тогда
+					Рез = Рез + Символ(13);
+				ИначеЕсли Э = 98 Тогда
+					Рез = Рез + Символ(8);
+				ИначеЕсли Э = 102 Тогда
+					Рез = Рез + Символ(12);
+				ИначеЕсли Э = 34 Или Э = 92 Или Э = 47 Тогда
+					Рез = Рез + Символ(Э);
+				Иначе
+					Ошибка("плохой экран");
+				КонецЕсли;
+				Поз = Поз + 1;
+			КонецЕсли;
+			Нач = Поз;
+		Иначе
+			Поз = Поз + 1;
+		КонецЕсли;
+	КонецЦикла;
+КонецФункции
+
+Функция Значение()
+	Пропуск();
+	К = Код();
+	Если К = 123 Тогда
+		Об = Новый Соответствие;
+		Поз = Поз + 1;
+		Пропуск();
+		Если Код() = 125 Тогда
+			Поз = Поз + 1;
+			Возврат Об;
+		КонецЕсли;
+		Пока Истина Цикл
+			Пропуск();
+			Если Код() <> 34 Тогда
+				Ошибка("ожидался ключ");
+			КонецЕсли;
+			Ключ = СтрокаJSON();
+			Пропуск();
+			Если Код() <> 58 Тогда
+				Ошибка("ожидалось ':'");
+			КонецЕсли;
+			Поз = Поз + 1;
+			Об.Вставить(Ключ, Значение());
+			Пропуск();
+			К = Код();
+			Поз = Поз + 1;
+			Если К = 125 Тогда
+				Возврат Об;
+			ИначеЕсли К <> 44 Тогда
+				Ошибка("ожидалось ',' или '}'");
+			КонецЕсли;
+		КонецЦикла;
+	ИначеЕсли К = 91 Тогда
+		Мас = Новый Массив;
+		Поз = Поз + 1;
+		Пропуск();
+		Если Код() = 93 Тогда
+			Поз = Поз + 1;
+			Возврат Мас;
+		КонецЕсли;
+		Пока Истина Цикл
+			Мас.Добавить(Значение());
+			Пропуск();
+			К = Код();
+			Поз = Поз + 1;
+			Если К = 93 Тогда
+				Возврат Мас;
+			ИначеЕсли К <> 44 Тогда
+				Ошибка("ожидалось ',' или ']'");
+			КонецЕсли;
+		КонецЦикла;
+	ИначеЕсли К = 34 Тогда
+		Возврат СтрокаJSON();
+	ИначеЕсли Сред(Т, Поз, 4) = "true" Тогда
+		Поз = Поз + 4;
+		Возврат Истина;
+	ИначеЕсли Сред(Т, Поз, 5) = "false" Тогда
+		Поз = Поз + 5;
+		Возврат Ложь;
+	ИначеЕсли Сред(Т, Поз, 4) = "null" Тогда
+		Поз = Поз + 4;
+		Возврат Null;
+	КонецЕсли;
+	Нач = Поз;
+	Пока Поз <= Длина Цикл
+		К = КодСимвола(Т, Поз);
+		Если Не ((К >= 48 И К <= 57) Или К = 45 Или К = 43 Или К = 46 Или К = 101 Или К = 69) Тогда
+			Прервать;
+		КонецЕсли;
+		Поз = Поз + 1;
+	КонецЦикла;
+	Если Поз = Нач Тогда
+		Ошибка("неизвестное значение");
+	КонецЕсли;
+	Возврат Новый Структура("ЗаписьЧисла", Сред(Т, Нач, Поз - Нач));
+КонецФункции
+
+Функция Разобрать(Текст) Экспорт
+	Т = Текст;
+	Поз = 1;
+	Длина = СтрДлина(Т);
+	Если Длина > 0 И КодСимвола(Т, 1) = 65279 Тогда
+		Поз = 2;
+	КонецЕсли;
+	Рез = Значение();
+	Пропуск();
+	Если Поз <= Длина Тогда
+		Ошибка("лишнее после значения");
+	КонецЕсли;
+	Возврат Рез;
+КонецФункции
+
+Функция Прочитать(Путь) Экспорт
+	Чтение = Новый ЧтениеТекста(Путь, КодировкаТекста.UTF8);
+	Текст = Чтение.Прочитать();
+	Чтение.Закрыть();
+	Возврат Разобрать(?(Текст = Неопределено, "", Текст));
+КонецФункции
+
+// Поле объекта JSON; Неопределено, если это не объект, поля нет или оно null.
+Функция Поле(Об, Ключ) Экспорт
+	Если ТипЗнч(Об) <> Тип("Соответствие") Тогда
+		Возврат Неопределено;
+	КонецЕсли;
+	З = Об.Получить(Ключ);
+	Если З = Null Тогда
+		Возврат Неопределено;
+	КонецЕсли;
+	Возврат З;
+КонецФункции
+
+// Текст значения JSON: строка как есть, число — его запись.
+Функция Текст(З) Экспорт
+	Если ТипЗнч(З) = Тип("Строка") Тогда
+		Возврат З;
+	ИначеЕсли ТипЗнч(З) = Тип("Структура") Тогда
+		Возврат З.ЗаписьЧисла;
+	ИначеЕсли ТипЗнч(З) = Тип("Булево") Тогда
+		Возврат ?(З, "true", "false");
+	КонецЕсли;
+	Возврат "";
+КонецФункции
+
+// Строка печатается символами как есть, экранируются кавычка, экран и
+// управляющие символы.
+Функция ТекстJSON(С) Экспорт
+	Рез = """";
+	Нач = 1;
+	Для Инд = 1 По СтрДлина(С) Цикл
+		К = КодСимвола(С, Инд);
+		Если К = 34 Или К = 92 Или К < 32 Тогда
+			Рез = Рез + Сред(С, Нач, Инд - Нач);
+			Если К = 34 Тогда
+				Рез = Рез + "\""";
+			ИначеЕсли К = 92 Тогда
+				Рез = Рез + "\\";
+			ИначеЕсли К = 10 Тогда
+				Рез = Рез + "\n";
+			ИначеЕсли К = 13 Тогда
+				Рез = Рез + "\r";
+			ИначеЕсли К = 9 Тогда
+				Рез = Рез + "\t";
+			Иначе
+				Рез = Рез + "\u00" + Сред("0123456789abcdef", (К - К % 16) / 16 + 1, 1) + Сред("0123456789abcdef", К % 16 + 1, 1);
+			КонецЕсли;
+			Нач = Инд + 1;
+		КонецЕсли;
+	КонецЦикла;
+	Возврат Рез + Сред(С, Нач) + """";
+КонецФункции

arxo_codegen/targets/bsl/runner.bsl

@@ -0,0 +1,210 @@
+// Раннер BSL-бэкенда (исполнитель OneScript): тот же вход и тот же ответ, что у
+// runner.rb.
+//
+// Протокол выхода общий для всех целей: ответ — JSON и код 0; названный отказ
+// среза — JSON {"refused": текст} и код 3, текст побайтово одинаков между
+// целями; любое другое исключение — крах (OneScript печатает его и выходит с
+// кодом 1), который ворота валят.
+Перем РТ;
+Перем J;
+Перем Модель;
+Перем Замечания;
+
+Функция Аргумент(А)
+	Вид = J.Поле(А, "kind");
+	Если Вид = "entity_ref" Тогда
+		Возврат J.Поле(А, "id");
+	ИначеЕсли Вид = "const_ref" Тогда
+		// §54: разыменование предшествует исполнению; член перечисления §38 либо
+		// имя без объявления остаётся идентичностью, как в ключе атома оракула.
+		К = Модель.Константа(J.Поле(А, "id"));
+		Если К = Неопределено Тогда
+			Возврат РТ.op_sym(J.Текст(J.Поле(А, "id")));
+		КонецЕсли;
+		Возврат К.Значение;
+	ИначеЕсли Вид <> "value" Тогда
+		РТ.Отказ("аргумент вне среза раннера: " + J.Текст(Вид));
+	КонецЕсли;
+	ТипЗн = J.Поле(J.Поле(А, "type"), "name");
+	Зн = J.Текст(J.Поле(А, "value"));
+	Если ТипЗн = "urn:law:std#Money" Тогда
+		Возврат РТ.op_money(Зн, J.Поле(А, "currency"));
+	ИначеЕсли ТипЗн = "urn:law:std#Decimal" Или ТипЗн = "urn:law:std#Integer" Тогда
+		Возврат РТ.op_dec(Зн);
+	ИначеЕсли ТипЗн = "urn:law:std#Text" Тогда
+		Возврат Зн;
+	ИначеЕсли ТипЗн = "urn:law:std#Date" Тогда
+		Возврат РТ.op_date(Зн);
+	КонецЕсли;
+	РТ.Отказ("аргумент вне среза раннера: " + J.Текст(ТипЗн));
+КонецФункции
+
+// Тип аргумента, если известен: у value — из узла, у const_ref — из объявления
+// константы; entity_ref типа не несёт (как у оракула).
+Функция ТипАргумента(А)
+	Вид = J.Поле(А, "kind");
+	Если Вид = "value" Тогда
+		Возврат J.Поле(J.Поле(А, "type"), "name");
+	ИначеЕсли Вид = "const_ref" Тогда
+		К = Модель.Константа(J.Поле(А, "id"));
+		Если К <> Неопределено Тогда
+			Возврат К.Тип;
+		КонецЕсли;
+	КонецЕсли;
+	Возврат Неопределено;
+КонецФункции
+
+// Совпадение типа с наследованием сущностей вверх от фактического.
+Функция Подходит(Фактический, Ожидаемый)
+	Видено = Новый Соответствие;
+	Тек = Фактический;
+	Пока Тек <> Неопределено Цикл
+		Если Видено.Получить(Тек) <> Неопределено Тогда
+			Прервать;
+		ИначеЕсли Тек = Ожидаемый Тогда
+			Возврат Истина;
+		КонецЕсли;
+		Видено.Вставить(Тек, Истина);
+		Тек = Модель.База(Тек);
+	КонецЦикла;
+	Возврат Ложь;
+КонецФункции
+
+Функция Аргументы(Лит)
+	Арг = J.Поле(Лит, "args");
+	Возврат ?(Арг = Неопределено, Новый Массив, Арг);
+КонецФункции
+
+// Арность и типы аргументов против сигнатуры §189 (E-0046). Утверждение дела
+// при несовпадении даёт TYPE_ERROR; запрос — нет: ключ атома у оракула §208
+// включает ТИП значения, несогласованный запрос атома не находит — NEITHER.
+Функция Типизировано(Лит, Замечать)
+	Пар = Модель.Параметры(J.Поле(Лит, "predicate"));
+	Если Пар = Неопределено Тогда
+		Возврат Замечать;
+	КонецЕсли;
+	Арг = Аргументы(Лит);
+	Годно = Арг.Количество() = Пар.Количество();
+	Если Годно Тогда
+		Для Инд = 0 По Пар.Количество() - 1 Цикл
+			Фактический = ТипАргумента(Арг[Инд]);
+			Если Фактический <> Неопределено Тогда
+				Если Не Подходит(Фактический, Пар[Инд]) Тогда
+					Годно = Ложь;
+					Прервать;
+				КонецЕсли;
+			КонецЕсли;
+		КонецЦикла;
+	КонецЕсли;
+	Если Не Годно И Замечать Тогда
+		Замечания.Добавить("TYPE_ERROR");
+	КонецЕсли;
+	Возврат Годно;
+КонецФункции
+
+Функция БлокируетКонфликтКлюча(Пред)
+	// E-0210/E-0242: только прямое и транзитивное чтение конфликтной таблицы.
+	Заражено = Новый Соответствие;
+	Очередь = Модель.КонфликтныеПредикатыКлючей();
+	Для Каждого Источник Из Очередь Цикл
+		Заражено.Вставить(Источник, Истина);
+	КонецЦикла;
+	Индекс = 0;
+	Пока Индекс < Очередь.Количество() Цикл
+		Источник = Очередь[Индекс];
+		Индекс = Индекс + 1;
+		Читатели = Модель.ЧитателиКлюча(Источник);
+		Если Читатели = Неопределено Тогда
+			Продолжить;
+		КонецЕсли;
+		Для Каждого Читатель Из Читатели Цикл
+			Если Заражено.Получить(Читатель) = Неопределено Тогда
+				Заражено.Вставить(Читатель, Истина);
+				Очередь.Добавить(Читатель);
+			КонецЕсли;
+		КонецЦикла;
+	КонецЦикла;
+	Возврат Заражено.Получить(Пред) <> Неопределено;
+КонецФункции
+
+Процедура Главная()
+	Дело = J.Прочитать(АргументыКоманднойСтроки[0]);
+	Вопрос = J.Прочитать(АргументыКоманднойСтроки[1]);
+	РТ.op_setLegalTime(J.Текст(J.Поле(J.Поле(Дело, "context"), "legalTime")));
+	Модель.Начать(РТ);
+	Для Каждого Утв Из J.Поле(Дело, "assertions") Цикл
+		Лит = J.Поле(Утв, "literal");
+		Если J.Поле(Лит, "polarity") <> "positive" Тогда
+			РТ.Отказ("§113: отрицательный факт вне L0-среза");
+		КонецЕсли;
+		Пред = J.Поле(Лит, "predicate");
+		Если Не Типизировано(Лит, Истина) Или Модель.Параметры(Пред) = Неопределено Тогда
+			Продолжить;
+		КонецЕсли;
+		Ряд = Новый Массив;
+		Для Каждого Х Из Аргументы(Лит) Цикл
+			Ряд.Добавить(Аргумент(Х));
+		КонецЦикла;
+		Модель.Зарегистрировать(Пред, Ряд);
+	КонецЦикла;
+	Модель.Насытить();
+	Для Н = 1 По Модель.КонфликтыКлючей() Цикл
+		Замечания.Добавить("KEY_CONFLICT");
+	КонецЦикла;
+	Если J.Поле(Вопрос, "kind") <> "truth" Тогда
+		РТ.Отказ("вид запроса вне среза раннера: " + J.Текст(J.Поле(Вопрос, "kind")));
+	КонецЕсли;
+	Попадание = Ложь;
+	ЛитВ = J.Поле(Вопрос, "literal");
+	Если Типизировано(ЛитВ, Ложь) Тогда
+		Нужно = Новый Массив;
+		Для Каждого Х Из Аргументы(ЛитВ) Цикл
+			Нужно.Добавить(Аргумент(Х));
+		КонецЦикла;
+		Для Каждого Р Из Модель.Строки(J.Поле(ЛитВ, "predicate")) Цикл
+			Если Р.Количество() <> Нужно.Количество() Тогда
+				Продолжить;
+			КонецЕсли;
+			Все = Истина;
+			Для Инд = 0 По Р.Количество() - 1 Цикл
+				Если Не РТ.op_eq(Р[Инд], Нужно[Инд]) Тогда
+					Все = Ложь;
+					Прервать;
+				КонецЕсли;
+			КонецЦикла;
+			Если Все Тогда
+				Попадание = Истина;
+				Прервать;
+			КонецЕсли;
+		КонецЦикла;
+	КонецЕсли;
+	Коды = "";
+	Для Каждого Код Из Замечания Цикл
+		Коды = ?(Коды = "", "", Коды + ",") + J.ТекстJSON(Код);
+	КонецЦикла;
+	ИдВопроса = J.Поле(Вопрос, "queryId");
+	СтатусИсполнения = ?(БлокируетКонфликтКлюча(J.Поле(ЛитВ, "predicate")), "NON_EXECUTABLE", "COMPUTED");
+	// Открытый мир: отсутствие строки — это NEITHER, а не FALSE_ONLY.
+	Сообщить("{""queryId"":" + ?(ИдВопроса = Неопределено, "null", J.ТекстJSON(J.Текст(ИдВопроса)))
+		+ ",""truthStatus"":" + ?(Попадание, """TRUE_ONLY""", """NEITHER""")
+		+ ",""evaluationStatus"":" + J.ТекстJSON(СтатусИсполнения) + ",""issues"":[" + Коды + "]}");
+КонецПроцедуры
+
+Каталог = ТекущийСценарий().Каталог;
+ПодключитьСценарий(ОбъединитьПути(Каталог, "json.bsl"), "JsonL0");
+ПодключитьСценарий(ОбъединитьПути(Каталог, "runtime.bsl"), "РантаймL0");
+ПодключитьСценарий(ОбъединитьПути(Каталог, "model.bsl"), "МодельL0");
+J = Новый JsonL0();
+РТ = Новый РантаймL0();
+Модель = Новый МодельL0();
+Замечания = Новый Массив;
+Попытка
+	Главная();
+Исключение
+	ТекстОтказа = РТ.ТекстОтказа(ИнформацияОбОшибке().Описание);
+	Если ТекстОтказа = Неопределено Тогда
+		ВызватьИсключение;
+	КонецЕсли;
+	Сообщить("{""refused"":" + J.ТекстJSON(ТекстОтказа) + "}");
+	ЗавершитьРаботу(3);
+КонецПопытки;