Recent Papers
Browse by Technology
Dev Log Archives
Developer Center |
|
AdaCore Development Log
Monday December 15, 2008
[AWS] Administrative page is now protected by a password
Enhance the security of the administrative page by requiring a password.
Posted in AWS, Development Log
Thursday December 11, 2008
[GPS] Report all style errors at once
When running the style checkers (on files and logs) GPS will now report errors from all files and will not stop checking on the first file violating some styles.
Posted in Development Log, GPS
Wednesday December 10, 2008
[GPS] Support for SPARK Toolset 7.6.2
GPS is now compatible with version 7.6.2 of the SPARK Toolset.
Posted in Development Log, GPS
Tuesday December 9, 2008
[GNAT] New constants in GNAT.Sockets
New constants of type Inet_Addr_Type are provided by GNAT.Sockets: Loopback_Inet_Addr (local host on loopback interface), Unspecified_Group_Inet_Addr (unspecified multicast group), All_Hosts_Group_Inet_Addr (all hosts on local network multicast group) and All_Routers_Group_Inet_Addr (all routers on local network multicast group).
Posted in Development Log, GNAT Compilation System
Tuesday December 9, 2008
[GPS] Minor optimization for handling VCS status
The local file statuses where not used to override current statuses on the VCS explorer. It is now updating the VCS explorer as long as the local status won’t override a remote status (Needs update or Needs merge).
Posted in Development Log, GPS
Monday December 8, 2008
Gem #55: Introduction to Ada / Java Interfacing
Ada Gem #55 — Please note that this is the final Gem of 2008 (how time flies!). The Gems series will resume on January 12, 2009. In the meantime, festive best wishes to all Gems readers!
Interfacing Ada and Java is a very tricky problem. As opposed to C, C++, or Fortran, the two languages execute on two different environments, Java on the JVM and Ada directly on the underlying OS. For this reason, it is not possible to directly bind Java functions to natively compiled Ada through a pragma Import. Two solutions are offered to the developer: either compiling the code directly to Java bytecode, using GNAT for the JVM, or using the Java Native Interface (JNI), allowing communication between the native and JVM environments. In this Gem we will take a look at the latter.
Using this JNI layer manually is very error-prone and tedious. Fortunately, AdaCore provides a set of tools for automating the interface generation, through GNAT-AJIS. This Gem is the first of a series showing how this toolset can be used to create a mixed Ada / Java application.
Read the rest of this entry »
Posted in Ada / Ada 2005, Development Log, Devt log - Gem of the Week
Thursday December 4, 2008
[GNAT] Clarified spec of GNAT.Sockets.Abort_Selector
The documentation of GNAT.Sockets.Abort_Selector has been improved to define more precisely the behaviour of this function. It is now clearly specified that each call to Abort_Selector causes exactly one call to Check_Selector to return with Aborted status. (Note that this is a change in documentation only, giving a more precise description of the already implemented behaviour.)
Posted in Development Log, GNAT Compilation System
Tuesday December 2, 2008
[GNAT] Improved error reporting in GNAT.Sockets
Two improvements have been made to the error reporting circuitry in GNAT.Sockets. A new literal Broken_Type has been added to enumeration type Socket_Error_Type, corresponding to errno value EPIPE. Specific handling has also been implemented for EAGAIN. On most platforms, this is the same value as EWOULDBLOCK, which is mapped to Resource_Temporarily_Unavailable. Uniform treatment is now provided also on platforms where EAGAIN and EWOULDBLOCK are distinct values, and both are now resolved to Resource_Temporarily_Unavailable.
Posted in Development Log, GNAT Compilation System
Tuesday December 2, 2008
[GNAT] Integer Array types added to package Aux_DEC
Integer array types for 8, 16, 32, and 64 bit integers have been added to System.Aux_DEC. These types are used in DEC Ada text library Sys$library:Starlet_Recent_Ada_Subset.tlb and other DEC Ada library code.
Posted in Development Log, GNAT Compilation System
Saturday November 29, 2008
[GNAT] Improved control of Unchecked_Conversion warnings
Warnings for suspicious sizes and alignments for instantiations of Unchecked_Conversion can now be suppressed by using pragma Warnings Off to suppress warnings on either or both of the types involved.
Posted in Development Log, GNAT Compilation System