чыгып кеттиGNAT коомчулугу 2020 - Ада тилинде өнүктүрүү куралдары. Пакет компиляторду, интеграцияланган өнүктүрүү чөйрөсүн камтыйт GNAT Studio, SPARK тилинин бир бөлүгү үчүн статикалык анализатор, GDB мүчүлүштүктөрдү оңдоочу жана китепканалар топтому. Пластик баштык жайылуу GPL лицензиясынын шарттарына ылайык.
Негизги өзгөрүүлөр:
Түзүүчү алдыдагы долбоордон көптөгөн инновацияларга колдоо кошту Ada тили стандарты 202x.
Backend GCC 9га жаңыртылган (macOSдон башка бардык платформалар үчүн). RISC-V 64 платформасын колдоо кошулду.
GNAT Studio иштеп чыгуу чөйрөсү азыр колдонот сиздин LSP
(Language Server Protocol) Ada тили үчүн. Ошол эле сервердин негизинде Visual Studio Code кеңейтүүсү ишке ашырылды, азыр жеткиликтүү Visual Studio Marketplace.
В SPARK анализатору Көрсөткүчкө ээлик кылуу үчүн кошумча колдоо (Русттагыдай), ал эстутумда каталардын жоктугун жана эс тутумдун агып кетишинин жоктугун далилдөөгө мүмкүндүк берет. Тилдин колдоого алынган чакан тобу жаңы конструкциялар менен кеңейтилди.