java - 排序数组列表，前提条件解决方案

Question

我有一个小项目，它允许我创建一个数组列表（存储称为数字的整数值）。有一种方法可以获取 Array 中的所有元素并根据 int 值对其进行组织。例如 [3, 2, 9, 7] 在运行 numbers.sort() 之后将是 [2, 3, 7, 9]。我的任务是为方法 sort() 编写前提条件。我的想法是，您希望向 sort() 添加一个前提条件，它只接受具有 2 个或更多元素的 Array List，因为使用空或单个元素 Array List 运行 sort 函数是毫无意义的。我已经有条件表明该方法不能接受空数组列表或其中的空元素。添加上述前提条件（需要2个或更多元素）是正确的选择吗？

方法：

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