phpdoc - PHPDoc 前置条件

Question

如何用 PHPDoc 标记前置条件？我有一个对象，在调用函数之前必须调用另一个函数：

$myObject = new MyClass();
$myObject->mustDoThis();
$myObject->beforeThis();

所以文档beforeThis()看起来像：

/**
 * @precondition mustDoThis() must be called before this function is
 */

或者还有其他方法可以解决这个问题吗？也许一个@throw条款就足够了。

Answer 1

据我所知，PhpDoc 没有标准的@precondition 或@postcondition 标签，但我还是使用它们，因为这是提示开发人员实现类/接口/特征的好方法。