Technical Papers See All »
Development Log See All »
-
New attribute Standard’Library_Level
A new attribute Standard'Library_Level (Standard is the only allowed prefix) is available. This attribute returns a Boolean value which is True if the attribute is evaluated at the library level (e.g. with a package declaration), and false if evaluated elsewhere (e.g. within a subprogram body). In the case of generics, the value indicates the placement of the instantiation, not the template, and indeed the use of this attribute within a generic is the intended common application, where it can be used in conjunction with pragmas Compile_Time_Warning or Compile_Time_Error to deal with the case of a generic that must be instantiated at the library level. -
Improve invalid UTF-8 code detection/documentation
The validation tests in GNAT.Decode_String/Decode_UTF8_String now detect invalid UTF-8 sequences in which a longer encoding than is necessary is used. In addition the spec now clarifies that the validation does not include the rejection of UTF-8 sequences that are not "well-formed" and correspond to codes in the range 16#D800#-16#DFFF# which are not valid Unicode characters. -
Implement Character_Set_Version
Ada.Wide_Characters.Handling.Character_Set_Version is now implemnented. This was a late addition to this package. For GNAT it returns "Unicode 6.2".
Documentation See All »
-
GNATemulator documentation
This page gives access to the main GNATemulator documentation. GNATemulator is an efficient and flexible tool that provides integrated, lightweight target emulation.
-
GNATcoverage Users Guide
This document introduces the fundamental principles behind GNATcoverage, a non-intrusive structural coverage analysis framework, and offers a toolset user's guide.
-
SPARK documentation
This page gives access to the main SPARK documentation. SPARK Pro provides the foremost language, toolset and design discipline for the engineering of high-assurance software.
-
ASIS-for-GNAT Reference Manual
This Manual contains reference material for developers using ASIS-for-GNAT -- GNAT Pro's implementation of the Ada Semantic Interface Specification (ASIS). It provides information about ASIS-for-GNAT's implementation-specific(1) characteristics and current implementation limitations.
-
ASIS-for-GNAT User’s Guide
This guide has two aims. The first one is to introduce you to the Ada Semantic Interface Specification (ASIS) and show you how you can build various useful tools on top of ASIS. The second is to describe the ASIS implementation for the GNAT Pro Ada compiler.