Ada Programming/Attributes/'Callable


Ada. Time-tested, safe and secure.
Ada. Time-tested, safe and secure.

Description

edit

X'Callable is an Ada attribute where X is any task object. If the task is completed or has been terminated, this attribute is false. Otherwise, this attribute is true (i.e. the task is callable).

Be warned - calling X'Callable can result in a race condition. X'Callable may be true at the time the attribute value is read, but it may become false at the time action is taken based on the value read. Once X'Callable is false, however, it can be expected to stay false.

See also

edit

Wikibook

edit

Ada Reference Manual

edit