範例

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 () {
}

}