Type checking in Ada is designed to discover and prevent compile-time errors. However, there are some errors that can occur only at run-time; for example, input that is not in the expected format or that exceeds the range of an input variable. Run-time errors cause exceptions to be raised during execution, and the exception occurrences can be handled in order to recover from the error or to display information that will help diagnose the error.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag London Limited
About this chapter
Cite this chapter
(2009). Exceptions and Run-Time Checks. In: Ben-Ari, M. (eds) Ada for Software Engineers (Second Edition with Ada 2005). Springer, London. https://doi.org/10.1007/978-1-84882-314-3_10
Download citation
DOI: https://doi.org/10.1007/978-1-84882-314-3_10
Publisher Name: Springer, London
Print ISBN: 978-1-84882-313-6
Online ISBN: 978-1-84882-314-3
eBook Packages: Computer ScienceComputer Science (R0)