Object-oriented Software in Ada 95

372 Appendix B
O'First(n) 1 Delivers the lower bound of the
n’th array index
O'Last 1 Delivers the upper bound of the
first array index
O'Last(n) 1 Delivers the upper bound of the
n’th array index
O'Length 1 Delivers the number of elements
in the first array index
O'Length(n) 1 Delivers the number of elements
in the n’th array index
O'Range 1 Delivers the first array index
range
O'Range(n) 1 Delivers the n’th array index
range
1
Type of array index
Type of array index
Type of array index
Universal Integer
Universal Integer
O'First .. O'Last
O'First(n) ..
O'Last(n)
Only an instance of an unconstrained array may be interrogated using the attribute.
B.2.3Scalar objects and types
Attribute Description Type of result
O'First
Delivers the lower bound of the Of the type of O
object or type
O'Last
Delivers the upper bound of the
object or type
Of the type of O
B.2.4Discrete objects
Attribute Description Type of result
O'Succ( val ) 1 Delivers the successor of val
which is a value in the base type
of T.
The exception
Constraint_error is raised
if the successor of O’Last is
taken.
Of the base type of
T
O'Pred( val ) 1
1
Delivers the predecessor of val
which is a value in the base type
of T.
The exception
Constraint_error is raised
if the predecessor of O’First is
taken.
Of the base type of
T
The attribute will only work on an instance of discrete object and not on a discrete type.
B.2.5Task objects and types
Attribute Description Type of result
O'Callable 1 Returns TRUE if the task object Boolean
is callable
O'Storage_size The storage units required for Universal Integer
each activation of the task
O'Terminated 1 Returns TRUE if the task is
terminated
Boolean
1
The attribute will only work on an instance of task object and not on a task type.
B.2.6Floating point objects and types
Attribute Description Type of result
© M A Smith - May not be reproduced without permission