Contract Inheritance

Contract inheritance for interfaces and classes

Interface and class member functions can also have in and out blocks. This allows an interface or a class to define preconditions for its derived types to depend on, as well as to define postconditions for its users to depend on. Derived types can define further in and out blocks for the overrides of those member functions. Overridden in blocks can ...