What You Will Get Out of This Chapter
This chapter will dive into a very powerful technique of “proving” that your code works. This is something very unique to Ada 2012. None of the previous versions have them. They are used to ensure that certain conditions are met before executing a method, and certain changes were made after the execution has stopped.
They are absolutely brilliant. Every time that you need to double-check that some conditional value is met before running that function, you would need to put it in an if statement. This can turn problematic if your logic ever changes, ...
