Using temporal assertions as added executable documentation on interfaces to catch fictitious implementations of the interface as soon as the assertions are violated.

• 将时态断言用作接口上附加的可执行文档,以便在违反断言时立即捕捉接口的臆想实现。