Metadata
Author: WikiMatrix
Data
English[en]
So, programming languages that provide full native support for design by contract, such as Eiffel, Ada, and D, will also provide full support for class invariants.
Spanish[es]
Por ello, los lenguajes que proporcionan un soporte completo al diseño por contrato, como Ada, Eiffel o D (lenguaje de programación), también proporcionan un soporte completo a las invariantes de clase.