ejemplos/pre_post.d

   1
   2 import std.math;
   3
   4 long raiz(long x)
   5         in
   6         {
   7                 assert(x >= 0);
   8         }
   9         out (result)
  10         {
  11                 assert((result * result) == x);
  12         }
  13         body
  14         {
  15                 return cast(long) sqrt(cast(float) x);
  16         }
  17
  18 int main()
  19 {
  20         raiz(8);
  21         return 0;
  22 }