Przykład

public class ClassA {
public ClassA () {
}
}


Rozwiązanie
Podaj znacznik @invariant dokumentacji Javadoc dla klas public.

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