contract programming without a function

[BCS]

Reply to Jan,

> Actually I know all this, and I've been using it this way. Maybe the
> example I gave was a bit misleading but what I actualy want to know is
> if it's possible to use these pre- and postconditions somewhere else
> then with a function body. Because in the manual they state that with
> a funtion is "the most typical use", so I'm asking myself what the
> other uses could be.
> 
> Jan
> 

other uses would be logging

void foo(int i)
in{writef(">foo(%d)\n", i);}
out{writef("<foo()\n");}