跳转到内容

Ada 编程/属性/'Callable

来自维基教科书,自由的教科书

Ada. Time-tested, safe and secure.
Ada. 经久耐用、安全可靠。

X'Callable 是一个 Ada 属性,其中 X 是任何 任务 对象。如果任务已完成或已终止,则此属性为假。否则,此属性为真(即任务可调用)。

请注意 - 调用 X'Callable 会导致竞争条件。X'Callable 在读取属性值时可能为真,但在读取的值上采取行动时可能变为假。但是,一旦 X'Callable 变为假,它可以预期保持假状态。

另请参见

[编辑 | 编辑源代码]

维基教科书

[编辑 | 编辑源代码]

Ada 语言参考手册

[编辑 | 编辑源代码]
华夏公益教科书