Jeffrey R. Carter questions

Jeffrey R. Carter answers

• Ada: flexible Text_IO File_Type for redirecting output with SET_OUTPUT?
• Equivalent to accessors in Ada
• Why does GNAT reject an array type with a default discriminant value?
• How do I cast an enum to an Integer to handle overflow/wraparound?
• How do you perform a check for safe type conversion?
• how to implement a non-blocking server in Ada?
• Differences when using anonymous access procedures or access procedure types
• Proving Floor_Log2 in Spark
• Why is Ada not trapping this specified range check?
• Character is considered by GNAT 18.1 as a string