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
type
is
delta
range
pragma