Ada 2012 Aspect Clauses => Static Predicates
John English wrote a wonderful book titled Ada 95: The Craft of Object-Oriented Programming , which is available on line at http://archive.adaic.com/docs/craft/html/contents.htm . In chapter 3 of that book he explores many Ada programming fundamentals using a simple calculator program example. The code for that example is: with Ada.Text_IO, Ada.Integer_Text_IO; use Ada.Text_IO, Ada.Integer_Text_IO; procedure Calculator is Result : Integer; Operator : Character; Operand : Integer; begin Put ("Enter an expression: "); Get (Result); ...