Overview of Ada 2022
3.2 Global data contracts
This is also covered in the Parallelism section (see
) as again the driving reason for adding
it was safe parallelism, but it is more generally useful, for dataflow
analysis, for example, or simply documenting behaviour that some coding
standards would ask for in a comment.
© 2021, 2022 Jeff Cousins