Ada 编程/属性/'Callable
外观
X'Callable 是一个 Ada 属性,其中 X 是任何 任务 对象。如果任务已完成或已终止,则此属性为假。否则,此属性为真(即任务可调用)。
请注意 - 调用 X'Callable 会导致竞争条件。X'Callable 在读取属性值时可能为真,但在读取的值上采取行动时可能变为假。但是,一旦 X'Callable 变为假,它可以预期保持假状态。
- 13.3 操作和表示属性 (注释)
- 附录 K 语言定义的属性 (注释)
X'Callable 是一个 Ada 属性,其中 X 是任何 任务 对象。如果任务已完成或已终止,则此属性为假。否则,此属性为真(即任务可调用)。
请注意 - 调用 X'Callable 会导致竞争条件。X'Callable 在读取属性值时可能为真,但在读取的值上采取行动时可能变为假。但是,一旦 X'Callable 变为假,它可以预期保持假状态。