C++ Logo


Advanced search

Subject: Re: [std-proposals] Proposal of Contract Primitives (DRAFT 1)
From: Tony V E (tvaneerd_at_[hidden])
Date: 2019-08-06 11:29:34

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_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,

STD-PROPOSALS list run by herb.sutter at gmail.com

Standard Proposals Archives on Google Groups