GNAT Community 2020 გამოვიდა

შემცვლელი GNAT Community 2020 - განვითარების ინსტრუმენტარიუმი ადა ენაზე. პაკეტში შედის შემდგენელი, ინტეგრირებული განვითარების გარემო GNAT Studio, სტატიკური ანალიზატორი SPARK ენის ქვეჯგუფისთვის, GDB debugger და ბიბლიოთეკების ნაკრები. პლასტიკური ჩანთა ვრცელდება GPL ლიცენზიის პირობებით.

ძირითადი ცვლილებები:

• შემდგენელმა დაამატა მხარდაჭერა მრავალი ინოვაციისთვის მომავალი დრაფტიდან
  ადა ენის სტანდარტი 202x.
  ბექენდი განახლდა GCC 9-ზე (ყველა პლატფორმისთვის macOS-ის გარდა). დამატებულია მხარდაჭერა RISC-V 64 პლატფორმისთვის.

• GNAT Studio-ს განვითარების გარემო ახლა იყენებს
  თქვენი LSP
  (ენის სერვერის პროტოკოლი) ადა ენისთვის. იმავე სერვერზე დაყრდნობით, განხორციელდა Visual Studio Code-ის გაფართოება, რომელიც ახლა უკვე ხელმისაწვდომია
  ვიზუალური სტუდიის ბაზარი.

• В SPARK ანალიზატორი დამატებულია მაჩვენებლის მფლობელობის მხარდაჭერა (როგორც Rust-ში), რომელიც საშუალებას გაძლევთ დაამტკიცოთ მეხსიერების შეცდომების არარსებობა და მეხსიერების გაჟონვის არარსებობა. ენის მხარდაჭერილი ქვეჯგუფი გაფართოვდა ახალი კონსტრუქციებით.

წყარო: opennet.ru