Java 设计规约（自用）

规约结构：前置条件和后置条件。

方法的规约由几个子句组成：
前置条件，用关键字requires表示
后置条件，用关键字effects表示
异常行为：如果违反前置条件时会发生什么

前置条件是对客户端（即方法的调用者）的义务。它是方法被调用时状态的条件。
后置条件是对方法的实现者的义务。如果前置条件对调用状态成立，方法就有义务遵守后置条件，通过返回适当的值、抛出指定的异常、修改或不修改对象等方式。

规约可能会讨论的内容：
方法的参数和返回值，但不应该讨论方法的局部变量或方法类的私有字段。
如果效果没有明确说明输入是否可变，则我们假定输入的变异隐式不允许。

除非在后置条件里声明过，否则方法内部不应该改变输入参数
尽量不设计mutating的spec，否则就容易引发bugs。

可变对象可能会使简单的规约/契约变得非常复杂。尽量避免使用可变对象。

spec的作用：

给“供需双方”都确定了责任并区分责任，调用时双方都要遵守（客户端只需要理解Spec即可）

隔离“变化”、降低耦合度。不需要了解具体实现

个人理解，相当于一层抽象

//摘自自己的实验3    

    /**
     * 检查指定时间点是否在给定的时间段集合中。
     * @param intervals 时间段集合
     * @param time 指定的时间点
     * @return 如果时间点在时间段集合中，返回true，否则返回false
     */
    private static <L> boolean isInInterval(IntervalSet<L> intervals, long time) {
        for (L label : intervals.labels()) {
            if (time >= intervals.start(label) && time <= intervals.end(label)) {
                return true;
            }
        }
        return false;
    }

把这些东西写好了，在IDE下看起来也会很方便，很好看。

Spec的强度：

前置条件越弱，规约强度越强；

后置条件越强，规约强度越强；

规约越强，开发者责任越重，客户端责任越轻；

eg：强度排名 3>1>2