Pre-post conditions

[tony]

I find T2 really appealing but making pre-post conditions inside the target method or class is not convenient for many reasons. The most obvious is of course : separation of concerns. Can and how to specify pre-post conditions out of the target class as for example inside my junit test. Thank you in advance.

Tony