跳转到内容

Ada 编程/属性/'Delta

来自维基教科书,开放的书籍,开放的世界

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

X'Delta 是 Ada 属性,其中 X 是任何 定点类型。此属性表示 X 的类型定义中指定的增量。

type My_Fixed is delta 0.1 range 0.0 .. 100.0;

pragma Assert (My_Fixed'Delta = 0.1);  -- OK

维基教科书

[编辑 | 编辑源代码]

Ada 参考手册

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