Why is prolouge/epilogue a property of the function, instead of where it is called from?

prolouge precond(...expr...);

epilogue postcond(...expr...);

f() precond(x > 0) postcond(z < 0);

void cond(...expr...);

f() pre: cond(x > 0), post: cond(z < 0);

Is prologue/epilogue an *intrinsic* property of the function it is tagged to, or an *extrinsic* property of where it is to be used?

I think it is extrinsic.

On Tue, Aug 6, 2019 at 4:19 AM Andrew Tomazos via Std-Proposals <std-proposals@lists.isocpp.org> wrote:

Please find attached DRAFT 1 of:

Proposal of Contract Primitives

Feedback appreciated.
-Andrew.

--
Std-Proposals mailing list
Std-Proposals@lists.isocpp.org
https://lists.isocpp.org/mailman/listinfo.cgi/std-proposals