範例

public class ClassA {{
public ClassA () {
}
}


解決方案
提供 public 類別的 @invariant Javadoc 標籤

/**
*@invariant
*/
public class ClassA {
public ClassA () {
}
}