这是我的打印声明:
timeInMili: duration; timeInMili := (finish - start)*1000; Put_Line(duration'image(timeInMili));
(乘以1000以从秒开始变为毫秒)
以上产生了很多小数位.有人可以给我看一个如何用一定数量的小数位打印的例子.
ada
ada ×1