サンプル

class ClassA { ClassA () { } }

ソリューション

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