Lined VS PragmARC

Improvements to the Ada-GUI version of the MP music player and the Lined line editor

Got Lined to SPARK level Bronze, though I haven't figured out how to get it to check the main-program procedure, so this isn't very meaningful.

I had to remove the SPARK aspects from Lined to compile it with ObjectAda 10.2.

For maximal simplicity and minimal functionality, there's Lined.

Note also that much of the standard library is generic, so studying it can be instructive. There are also many free libraries available, such as the PragmAda Reusable Components that contain many generic units.

What you're looking for (file name, line number) is very compiler dependent, and not portable. However, it's possible to get the current unit name portably and automatically; see PragmARC.Reflection

PragmARC.Images contains

Improvements to the PragmAda Reusable Components

Some changes to the description of the King language. Some improvements and a new component in the PragmAda Reusable Components. Writing a summary of the FOSDEM presentation on [Ada GUI][https://github.com/jrcarter/Ada_GUI) for the Ada User Journal.

Installed ObjectAda 10.3. The PragmAda Reusable Components now compile unchanged with both GNAT 11.2.0 and ObjectAda 10.3.

You can use a "safe pointer" pkg such as PragmARC.Safety.Pointers.

Conversions between vectors and their equivalent fixed arrays are missing operations in the Vectors pkg. You can use PragmARC.Conversions.Vectors for this. As is stated in the comments:

I did some work on Ada GUI and incorporated D. Norte de Moraes' 512- and 1024-bit versions of Threefish into the PragmARCs. I also prepared a presentation on Ada GUI for FOSDEM.

I have looked through the documentation, and do not see how one makes existing code into an AURA repository, whether dealing with code on the local file system, or an existing on-line git repository such as the PragmARCs.