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
f() precond(x > 0) postcond(z < 0);
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 <
> Please find attached DRAFT 1 of:
> Proposal of Contract Primitives
> Feedback appreciated.
> Std-Proposals mailing list
-- Be seeing you, Tony
STD-PROPOSALS list run by herb.sutter at gmail.com
Standard Proposals Archives on Google Groups