跳到内容

Ada 编程/属性/'Min

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

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

'Min(X, Y) 是一个标量类型属性。它返回两个参数中较小的那个。

type My_Enum is (Enum1, Enum2, Enum3);
A : Integer :=  3;
B : Integer := -5;
X : Float :=  1.0;
Y : Float :=  1.5;
-- ...
pragma Assert (My_Enum'Min(Enum3, Enum1) = Enum1); 
pragma Assert (Integer'Min(A, B) = -5);
pragma Assert (Float'Min(X, Y) = 1.0);

另请参阅

[编辑 | 编辑源代码]

维基教科书

[编辑 | 编辑源代码]

Ada 参考手册

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