Ada Programming/Attributes/'Callable

Attributes 'Callable __TOC__ Description 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 Wikibook Ada Programming Ada Programming/Attributes Ada Programming/Attributes/'Terminated Ada Reference Manual 13 3 Operational and Representation Attributes K Language-Defined Attributes Callable