Los contratos de código proporcionan una forma de especificar las precondiciones, las postcondiciones y las invariantes de los objetos en . NET Framework. Las precondiciones son requisitos que deben cumplirse al entrar en un método o propiedad. Las postcondiciones describen las expectativas en el momento en que el código del método o propiedad sale.