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