This looks like the Liskov substitution principle that Uncle Bob Martin described: Substitute a derived class (Square) for a base class (Rectangle). From the standpoint of the compiler, the above code ...

In Java, nested classes are categorized as either static member classes or inner classes. Inner classes are non-static member classes, local classes, or anonymous classes.