跳转到内容

Ada 编程/属性/'Safe First

来自 Wikibooks,开放世界中的开放书籍

返回安全范围的下界。

产生类型 T 的安全范围(参见 3.5.7)的下界。如果不支持数值附件,则此属性的值是实现定义的。

此属性的值为 universal_real 类型。

SSafe_First return universal_real
华夏公益教科书