Példa

public class ClassA {
public ClassA () {
}
}


Megoldás
Biztosítson @invariant Javadoc címkét a nyilvános osztályok számára

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