This is the essence of subtype polymorphism. Assuming that all four source files (Shapes.java, Shape.java, Rectangle.java, and Circle.java) are located in the current directory, compile them via ...

The subtype relationship verified at compile time guarantees the passed object’s capability to perform appropriate implementation code when called upon. However, an important distinction ...