The Object Oriented paradigm is influenced by the design by contract principal, wherein, the creator and the consumer mutually agree to follow certain rules. The design by contract theory states that ...