ejemplos/invariante_repr.d

   1
   2 class Fecha
   3 {
   4         int dia = 1;
   5         int mes = 1;
   6         invariant
   7         {
   8                 assert(1 <= dia && dia <= 31);
   9                 assert(1 <= mes && mes <= 12);
  10         }
  11         void p()
  12         {
  13                 int d = dia;
  14                 dia = 50;
  15                 dia = d;
  16                 printf("%02d-%02d\n", dia, mes);
  17         }
  18 }
  19
  20 int main()
  21 {
  22         Fecha f = new Fecha;
  23         f.p();
  24         f.dia = 40;
  25         f.p();
  26         return 0;
  27 }