Other articles

  1. Can Contracts replace Unit-Tests?


    What are “contracts”? Contracts are the key element in the design-by-contract technique, natively supported by the Eiffel programming language.

    They allow operate at many levels:

    1. methods: as pre- and post-conditions
    2. classes: as class invariants
    3. loops: as loop variants/invariants

    In this article we shall only consider method pre- and post-conditions. That means, before method execution the pre-condition is checked and after the method is finished (upon completion) the post-condition is checked.

    read more

Page 1 / 1