Beispiel
public class
ClassA
{
public
ClassA () {
}
}
Lösung
Geben Sie den Javadoc-Tag '@invariant' für
Klassen
des Typs
public
an.
/**
*@invariant
*/
public class
ClassA
{
public
ClassA () {
}
}