Abstract
This chapter describes various improvements in the areas of structure and visibility for Ada 2012.
Perhaps the most amazing change is that functions may now have parameters of all modes. In earlier versions of Ada, functions could only have parameters of mode in and so could not change variables explicitly passed as parameters; however, they could silently manipulate global variables in any way whatsoever. In order to ameliorate any risks of foolishness with this new freedom, there are new rules regarding order dependence.
There are also important improvements to incomplete types which make them much more useful; these include completion by a private type, their use as parameters and a new form of generic parameter.
Other improvements include a new form of use clause and changes to extended return statements.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2013 Authors
About this chapter
Cite this chapter
Barnes, J. (2013). Structure and Visibility. In: Ada 2012 Rationale. Lecture Notes in Computer Science, vol 8338. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-45210-9_4
Download citation
DOI: https://doi.org/10.1007/978-3-642-45210-9_4
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-45209-3
Online ISBN: 978-3-642-45210-9
eBook Packages: Computer ScienceComputer Science (R0)