示例

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


解决方案
public 类提供 @invariant Javadoc 标记

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