Define about the inheritance hierarchy
Languages Eiffel and D provide constructs in language for invariants and pre- and post conditions which are compiled into the code and are propagated down inheritance hierarchy. Hence Eiffel and D make it easy to incorporate these checks into programs. A compiler switch can disable assertion checking for released programs.