示例

public class ClassA {{
public ClassA () {
}

public int methodA () {
}
}


解决方案
public 方法 Javadoc 注释中使用 @post Javadoc 标记。

public class ClassA {
public ClassA () {
}

/**
* @post the post condition goes here
*/
public int methodA () {
}

}