In this section...
5.1 optional parts of the syntax
5.2 parameter lists
5.4 data structures
5.8 using exceptions
5.9 erroneous execution
in outonly when the parameter is both read from and updated.
'Lastinstead of numeric literals to represent the first or last values of a range.
'First .. 'Last.
'Lengthinstead of numeric literals for accessing arrays.
'Rangeof the array instead of the name of the index subtype to express a range.
'first .. 'Lastto express a range.
>=in relational expressions with real operands instead of
otherschoice in a case statement.
exit when ...rather than
if ... then exitwhenever possible.
useclause in the following situations:
renamesclause to avoid the
useclause, especially for infix operators (Guideline 5.7.1).
"+"to identify adding, joining, increasing, and enhancing kinds of functions.
"-"; to identify subtraction, separation, decreasing, and depleting kinds of functions.
othersin suitable frames to protect against unexpected exceptions being propagated without bound, especially in safety critical systems.
othersonly to catch exceptions you cannot enumerate explicitly, preferably only to flag a potential abort.
Unchecked_Conversiononly with the utmost care.
Unchecked_Conversionis in range.
Unchecked_Conversionin package bodies.
Unchecked_Deallocationin package bodies.
Sequential_IOare in range.