範例
public class
ClassA
{{
public
ClassA () {
}
}
解決方案
提供
public
類別的 @invariant Javadoc 標籤
/**
*@invariant
*/
public class
ClassA
{
public
ClassA () {
}
}