Comments on: Gem #34: Safe and Secure Software : Chapter 2, Safe Typing http://www.adacore.com/2008/05/05/gem-34/ AdaCore technology and news Mon, 06 Feb 2012 18:59:19 +0100 http://wordpress.org/?v=2.9 hourly 1 By: Peter Hermann http://www.adacore.com/2008/05/05/gem-34/comment-page-1/#comment-1456 Peter Hermann Tue, 13 May 2008 09:18:50 +0000 http://www2.adacore.com/2008/05/05/gem-34/#comment-1456 The subtype version on the next page conforms to the current standard. John Barnes had Ada 2015 in mind. The subtype version on the next page conforms to
the current standard. John Barnes had Ada 2015 in mind.

]]> By: Anh Vo http://www.adacore.com/2008/05/05/gem-34/comment-page-1/#comment-1435 Anh Vo Tue, 06 May 2008 20:45:45 +0000 http://www2.adacore.com/2008/05/05/gem-34/#comment-1435 John Barnes is one of my favorite authors. The second line of the example at the bottom of page 8 contains syntax error. That is attribute 'Range should not be applied to an object of a scalar type. Throw: Integer range 2 .. 12; Counters: array (Throw'Range) of Integer; ^^^^^^^^^^^ John Barnes is one of my favorite authors.

The second line of the example at the bottom of page 8 contains syntax error. That is attribute ‘Range should not be applied to an object of a scalar type.

Throw: Integer range 2 .. 12;
Counters: array (Throw’Range) of Integer;
^^^^^^^^^^^

]]>