跳转到内容

Ada 编程/属性/'Definite

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

S'Definite 如果与 S 相对应的实际子类型是确定的,则返回 True;否则返回 False。

此属性的值是预定义类型 Boolean。

SDefinite return Boolean
华夏公益教科书