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_at_[hidden]> wrote:

> Please find attached DRAFT 1 of:
>
> Proposal of Contract Primitives
>
> Feedback appreciated.
> -Andrew.
>
> --
> Std-Proposals mailing list
> Std-Proposals_at_[hidden]
> https://lists.isocpp.org/mailman/listinfo.cgi/std-proposals
>

-- 
Be seeing you,
Tony