Example
private class
ClassA
{
private
ClassA () {
}
}
Solution
Provide @invariant Javadoc tag for
private
classes
/**
*@invariant
*/
private class
ClassA
{
private
ClassA () {
}
}