D Language
Los contratos

Observaciones

Contratos de funciones

Los contratos de funciones le permiten al programador verificar las inconsistencias. Las incoherencias incluyen parámetros no válidos, verifica el valor de retorno correcto o un estado no válido del objeto.

Las comprobaciones pueden realizarse antes y después de que se ejecute el cuerpo de la función o el método.

void printNotGreaterThan42(uint number)
in {
    assert(number < 42);
}
body {
    import std.stdio : writeln;
    writeln(number);
}

Las afirmaciones se optimizarán en una versión de lanzamiento.

Contratos de funciones

Por ejemplo, si se invoca un método, es posible que el estado del objeto no permita que se llame a un método con parámetros específicos o que no lo sea.

class OlderThanEighteen {
    uint age;

    final void driveCar()
    in {
         assert(age >= 18); // variable must be in range
    }
    body {
         // step on the gas
    }
}