Как считаете, допустимо ли использовать Type_Invariant для преобразования строк в значения с помощью атрибута 'Value?

Задача: надо прочитать целочисленные значения из строк. Но тип для чисел не описывается обычным range, а описывается сложной функцией с остатками от деления, диапазонами и т. д.

И вроде как напрашивается описать такой тип с помощью Type_Invariant и читать его из строк обычным 'Value. И ввод от ошибок защищён и внутри программы отслеживается всё. Но как-то вот останавливает то, что включается это всё отдельным ключом -gnata, исключение кидается а случае ошибки не Constraint_Error, а Assert_Failure. Как-то всё это скорее отладкой попахивает, а не штатным инструментом...

реально отладочная опция вроде, этот -gnata:
"Assertions enabled. Pragma Assert and pragma Debug to be activated. Note that these pragmas can also be controlled using the configuration pragmas Assertion_Policy and Debug_Policy. It also activates pragmas Check, Precondition, and Postcondition. Note that these pragmas can also be controlled using the configuration pragma Check_Policy."

Никому не нужен продам за недорого.

Долго лежал вентилятор гудит.

А какой город/страна?

Москва

А, далековато

Могу СДЭК выслать

десктопы по продажам сравнивать с ноутбуками некорректно, потому что нормальные люди как я, например,один раз купили лет 15 назад корпус, а потом просто комплектующие периодически в них меняют и горя не знают — материнки там, процы, видяхи...

а вот что мне делать с ноутбуком 2011 г выпуска, у которого уже сдох аккумулятор? плату не поменяешь, проц не поменяешь, даже ОЗУ не особо заменишь... только новый покупать...

вот и покупают люди по ноутбуку каждые два года, а десктоп у них всё тот же старый, только с новыми внутренностями, которые как отдельный десктоп никто не считает...

поменять акк? :-)

👍, аналогично, есть десктоп, сначала был семпрон, потом атлон х2, теперь коре 2. А вот нетбук с Интел атом, даже с 7-ки на 10-ку не обновляется, тк производителю не охота дрова писать!

ну и да, ранее то у десктопов все хорошо было

на 9летнем ноуте? мсье изволит шутить?)

вай нот?

ну типа 5 лет как не делают уже

если не больше

делают :-) вот для моего ноута 2008 года до сих пор продают https://aliexpress.ru/item/32654606773.html?spm=a2g0o.productlist.0.0.56b072b34PSz3i&algo_pvid=a2961b6f-d01f-4729-935b-1b5344319abc&algo_expid=a2961b6f-d01f-4729-935b-1b5344319abc-17&btsid=0b8b15d416137495902562110e1c7c&ws_ab_test=searchweb0_0,searchweb201602_,searchweb201603_&sku_id=59764365146

идентичный натуральному