220 11650 article Path: news.gmane.org!not-for-mail From: =?UTF-8?Q?Andrzej_Krzemie=C5=84ski?= Newsgroups: gmane.comp.lang.c++.isocpp.proposals Subject: Re: Value constraints (or contract programming in C++) Date: Sat, 5 Jul 2014 07:31:06 -0700 (PDT) Lines: 111 Approved: news@gmane.org Message-ID: References: Reply-To: std-proposals@isocpp.org NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: multipart/alternative; boundary="----=_Part_1705_8372016.1404570666934" X-Trace: ger.gmane.org 1404570675 7796 80.91.229.3 (5 Jul 2014 14:31:15 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Sat, 5 Jul 2014 14:31:15 +0000 (UTC) To: std-proposals@isocpp.org Original-X-From: std-proposals+bncBDT2DGOJ34DBBK4Y4COQKGQE2IRDV7I@isocpp.org Sat Jul 05 16:31:09 2014 Return-path: Envelope-to: gclcip-std-proposals@m.gmane.org Original-Received: from mail-pa0-f70.google.com ([209.85.220.70]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1X3Qzd-0001yH-5F for gclcip-std-proposals@m.gmane.org; Sat, 05 Jul 2014 16:31:09 +0200 Original-Received: by mail-pa0-f70.google.com with SMTP id lj1sf17933656pab.9 for ; Sat, 05 Jul 2014 07:31:08 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=date:from:to:message-id:in-reply-to:references:subject:mime-version :x-original-sender:reply-to:precedence:mailing-list:list-id :list-post:list-help:list-archive:list-subscribe:list-unsubscribe :content-type; bh=R/+ja+mAHPx2KFKlUaW8z7dfjrwJdNvMbxYZtuMSRbA=; b=GMtRRr5NbkI0boUnIjuY+ofnc973YiFnLD07J4JCVMJFqzTrM9oSkytw0zl0yOZS86 f+LEhvPTx3D2MU5qOoPOreO0iMdPr5HUyoV1ibhBvcwl+JowXF+fILbW7ram8p/31OEj mbgDnkUSaOHi36TNnYqexZtRFwi6qFr7hL/VKaU4+C1CXOqY4SDR60WOW9VREY3Te6ru Lj7c/xAeONuKBxYcqLgCfGkHTTyKQ41M756/iHzhOit1CcjSvG/GCJxlOdrQMAp11Cf3 zDr9bYf8qUPnzFDNAE62U5DGG96e87fdGmiCHOrWDQvLblkJA8Zstx4P2hw5yLqZ9eJB DCKg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:date:from:to:message-id:in-reply-to:references :subject:mime-version:x-original-sender:reply-to:precedence :mailing-list:list-id:list-post:list-help:list-archive :list-subscribe:list-unsubscribe:content-type; bh=R/+ja+mAHPx2KFKlUaW8z7dfjrwJdNvMbxYZtuMSRbA=; b=YRU/qEqIntBB5FZEuYK7rHsKESk2sGErDCMu4zro/zbxGqzM7zv34EzXvGUVcsIlPf U8RXWBAKBOszdrJqRY8QRymdyiLWTnnSNXVwYjh1Wvyf3glHiPuU/9O7f4uxRoyaskkK D+vcSUo8U0sSBLrn3MEHx55qyH/yN9yw4hNO46cxrOJx0mIc/bA/RImaXElptbSrfcwa 5pKVnO8vDMgKOkQq5hgevWhXsmww15O3J9uIBlATwjmKiV59Z/HFPo9A3ucuf9Qn0XzR HCvZ2PKBeiu+7ebmOyTFvsT0k7Pd4QltzMexuSeLu2EmNBL29drIn+oFaIbim0bM/2wh Jr6g== X-Gm-Message-State: ALoCoQmwJX+EiacT1FJRlQBPmRy6VecanjQ5kzxZRf9ZM+6zkP9uj0j6DeY8PJElKcMgdNHat8JO X-Received: by 10.66.102.68 with SMTP id fm4mr8440248pab.27.1404570668097; Sat, 05 Jul 2014 07:31:08 -0700 (PDT) X-BeenThere: std-proposals@isocpp.org Original-Received: by 10.140.100.235 with SMTP id s98ls1165700qge.79.gmail; Sat, 05 Jul 2014 07:31:07 -0700 (PDT) X-Received: by 10.140.37.150 with SMTP id r22mr323514qgr.3.1404570667379; Sat, 05 Jul 2014 07:31:07 -0700 (PDT) In-Reply-To: X-Original-Sender: akrzemi1@gmail.com Precedence: list Mailing-list: list std-proposals@isocpp.org; contact std-proposals+owners@isocpp.org List-ID: X-Google-Group-Id: 399137483710 List-Post: , List-Help: , List-Archive: List-Subscribe: , List-Unsubscribe: , Xref: news.gmane.org gmane.comp.lang.c++.isocpp.proposals:11650 Archived-At: ------=_Part_1705_8372016.1404570666934 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable W dniu pi=C4=85tek, 4 lipca 2014 17:01:15 UTC+2 u=C5=BCytkownik Ville Vouti= lainen=20 napisa=C5=82: > > On 4 July 2014 17:52, Andrzej Krzemie=C5=84ski >=20 > wrote:=20 > > Hi,=20 > > I wanted to share here my reflections about how C++ could support=20 > contract=20 > > programming (things like preconditions). One alternative to the=20 > > "traditional" design-by-contract is considered.=20 > >=20 > > I share the html document on GitHub, so there is an inconvenience=20 > involved:=20 > > you have to see it in raw form, download and then reopen in the browser= ..=20 > > Here's the link:=20 > >=20 > > https://github.com/akrzemi1/contract/blob/master/contract.html=20 > > Tip:=20 > > http://htmlpreview.github.io/?https://github.com/akrzemi1/contract/blob/m= aster/contract.html=20 > Thank you. I missed such a tool for a long while.=20 --=20 ---=20 You received this message because you are subscribed to the Google Groups "= ISO C++ Standard - Future Proposals" group. To unsubscribe from this group and stop receiving emails from it, send an e= mail to std-proposals+unsubscribe@isocpp.org. To post to this group, send email to std-proposals@isocpp.org. Visit this group at http://groups.google.com/a/isocpp.org/group/std-proposa= ls/. ------=_Part_1705_8372016.1404570666934 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable


W dniu pi=C4=85tek, 4 lipca 2014 17:01:15 UTC+2 u= =C5=BCytkownik Ville Voutilainen napisa=C5=82:
On 4 July 2014 17:52, Andrzej Krzemie=C5=84ski <akrz...@gmail.com> wrote:
> Hi,
> I wanted to share here my reflections about how C++ could support = contract
> programming (things like preconditions). One alternative to the
> "traditional" design-by-contract is considered.
>
> I share the html document on GitHub, so there is an inconvenience = involved:
> you have to see it in raw form, download and then reopen in the br= owser.
> Here's the link:
>
> https://github.com/akrzemi1/contract/blob/master/contract.= html

Tip:
http://htmlpreview.github.io/?https= ://github.com/akrzemi1/contract/blob/master/contract.html

Thank you. I missed such a tool for a long while.=

--

---
You received this message because you are subscribed to the Google Groups &= quot;ISO C++ Standard - Future Proposals" group.
To unsubscribe from this group and stop receiving emails from it, send an e= mail to std-proposa= ls+unsubscribe@isocpp.org.
To post to this group, send email to std-proposals@isocpp.org.
Visit this group at http://groups.google.com/a/isocpp.org/group/std-proposals/<= /a>.
------=_Part_1705_8372016.1404570666934-- .