Sample codes files with examples of the Liskov substitution principle