排序数据列表，前提条件解决方案

Question

我有一个小项目，它允许我创建一个数组列表（存储称为数字的整数值）。有一种方法可以获取Array中的所有元素并根据int值组织它。例如[3,2,9,7]在运行numbers.sort（）之后将是[2,3,7,9]。我的任务是为方法sort（）编写一个前提条件。我的想法是你要为sort（）添加一个Precondition，它只接受一个包含2个或更多元素的Array List，因为运行带有空元素或单个元素的sort函数Array List是没有意义的。我已经有条件表明该方法不能接受null数组列表或其中的null元素。将上述前置条件（需要2个或更多元素）添加为正确的呼叫？

方法：

@Requires("numbers.size() > 1") // The Precondition)
@Ensures("isOrdered(numbers)") // ignore this)
public void sort() {
    Collections.sort(numbers);
}