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

ie

    prolouge precond(...expr...);
    epilogue postcond(...expr...);

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

vs

    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


--
Be seeing you,
Tony