CGBC
From AdaCommons
https://github.com/io7m/coreland-cgbc
This package provides a selection of bounded containers modelled on the Ada 2005 containers.
The containers are implemented without using access types and dynamic memory allocation in order to provide deterministic behaviour. The containers also avoid the use of exceptions, in order to ease static analysis and help manual auditing of program flow.
The containers are distributed with a set of unit tests that are shown to cover all possible code paths (100% coverage according to various code coverage tools).
Currently, the following packages are implemented:
- CGBC.Bounded_Stacks
- CGBC.Bounded_Hashed_Maps
- CGBC.Bounded_Generic_Strings
- CGBC.Bounded_Strings
- CGBC.Bounded_Wide_Strings
- CGBC.Bounded_Wide_Wide_Strings
