In Java, polymorphism results in code that is more concise and easier to maintain. This tutorial provides an overview of the four types of Java polymorphism, but our focus is subtype polymorphism.

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 ...