示例
public class
ClassA
{{
public
ClassA () {
}
}
解决方案
为
public
类提供 @invariant Javadoc 标记
/**
*@invariant
*/
public class
ClassA
{
public
ClassA () {
}
}