サンプル

public class ClassA { public ClassA () { } }

ソリューション

public クラスに @invariant Javadoc タグを指定します。 /** *@invariant */ public class ClassA { public ClassA () { } }