220 11714 article Path: news.gmane.org!not-for-mail From: "J. Daniel Garcia" Newsgroups: gmane.comp.lang.c++.isocpp.proposals Subject: Re: Value constraints (or contract programming in C++) Date: Wed, 9 Jul 2014 09:04:58 +0200 Lines: 116 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=047d7b10cfedea871c04fdbd5581 X-Trace: ger.gmane.org 1404889548 17760 80.91.229.3 (9 Jul 2014 07:05:48 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 9 Jul 2014 07:05:48 +0000 (UTC) To: std-proposals@isocpp.org Original-X-From: std-proposals+bncBCFIPGWXVYIRBQ6T6OOQKGQE53LUFIY@isocpp.org Wed Jul 09 09:05:42 2014 Return-path: Envelope-to: gclcip-std-proposals@m.gmane.org Original-Received: from mail-pa0-f71.google.com ([209.85.220.71]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1X4lwj-0001kV-8N for gclcip-std-proposals@m.gmane.org; Wed, 09 Jul 2014 09:05:41 +0200 Original-Received: by mail-pa0-f71.google.com with SMTP id eu11sf48628029pac.2 for ; Wed, 09 Jul 2014 00:05:39 -0700 (PDT) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:sender:in-reply-to:references:from :date:message-id:subject:to:x-original-sender :x-original-authentication-results:reply-to:precedence:mailing-list :list-id:list-post:list-help:list-archive:list-subscribe :list-unsubscribe:content-type; bh=JzGVNJmnqL3qKswEbv5A70EU9EfLlWma6YXkMnTsT8Q=; b=mCVYYEi2TOt0s20ACTAGWdZrAfZu451NwG8cUueWiXKoZncVqWVBL1yjX8oUPy0Val fsd0Dth9Cht3oljkN8BiiZLgQx7K7u92atdbk5oOFtWpCApLN260FMej31Z49B8zWziY 1xjZN231P2+sqcFwr9vjYT7zSBTOEj2BvOTuIV2s7++nz/UHFbH4i4KielfOMfh7/Ps1 hW9Isq2/VJ/kWg5ilMA2xsuzI1/wvQj4BB3PgPGXCca/elyfX9jmn3kFXqouqn1rEwby T96unMAd6ec7+kEAGRpf+VE3lothDpfCpz5L5GQ1Q4tZWf7IlvH6eNuZMAJ0sTxM8C4u y6ZA== X-Gm-Message-State: ALoCoQnFAYhE4GViTYJIp5IZRiavTQvHLowwhChvXEm5ZmInUnlVF2g2M+yseWMpQGKZuNR9kzFm X-Received: by 10.66.145.33 with SMTP id sr1mr19085207pab.18.1404889539716; Wed, 09 Jul 2014 00:05:39 -0700 (PDT) X-BeenThere: std-proposals@isocpp.org Original-Received: by 10.50.17.2 with SMTP id k2ls797068igd.12.canary; Wed, 09 Jul 2014 00:05:39 -0700 (PDT) X-Received: by 10.42.161.132 with SMTP id t4mr44252056icx.34.1404889539045; Wed, 09 Jul 2014 00:05:39 -0700 (PDT) Original-Received: from mail-ie0-x229.google.com (mail-ie0-x229.google.com [2607:f8b0:4001:c03::229]) by mx.google.com with ESMTPS id ef4si6473720igb.28.2014.07.09.00.05.39 for (version=TLSv1 cipher=ECDHE-RSA-RC4-SHA bits=128/128); Wed, 09 Jul 2014 00:05:39 -0700 (PDT) Received-SPF: pass (google.com: domain of josedaniel.garcia.uc3m@gmail.com designates 2607:f8b0:4001:c03::229 as permitted sender) client-ip=2607:f8b0:4001:c03::229; Original-Received: by mail-ie0-f169.google.com with SMTP id rl12so6002441iec.28 for ; Wed, 09 Jul 2014 00:05:39 -0700 (PDT) X-Received: by 10.50.92.101 with SMTP id cl5mr10198121igb.2.1404889538920; Wed, 09 Jul 2014 00:05:38 -0700 (PDT) Original-Sender: josedaniel.garcia.uc3m@gmail.com Original-Received: by 10.64.227.41 with HTTP; Wed, 9 Jul 2014 00:04:58 -0700 (PDT) In-Reply-To: X-Original-Sender: josedaniel.garcia@uc3m.es X-Original-Authentication-Results: mx.google.com; spf=pass (google.com: domain of josedaniel.garcia.uc3m@gmail.com designates 2607:f8b0:4001:c03::229 as permitted sender) smtp.mail=josedaniel.garcia.uc3m@gmail.com; dkim=pass header.i=@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:11714 Archived-At: --047d7b10cfedea871c04fdbd5581 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable I am not quite sure of that assertion. Note that contracts may include evaluation of boolean free functions and member functions. Could you provide an example of why we are preventing this? On Wed, Jul 9, 2014 at 1:38 AM, Klaim - Jo=C3=ABl Lamotte wrote: > > On Tue, Jul 8, 2014 at 10:17 PM, J. Daniel Garcia < > josedaniel.garcia@uc3m.es> wrote: > >> However, take note that global state is also accessible from contract >> checks. > > > I note that it would also prevent types using the pimpl idiom to use > contracts checking on internal data too. > > -- > > --- > 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 > email 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-proposals/. > --=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/. --047d7b10cfedea871c04fdbd5581 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
I am not quite sure of that ass= ertion. Note that contracts may include evaluation of boolean free function= s and member functions.

Could you provide an example of why we are preventing this?


On Wed, Jul 9, 2014 at 1:38 AM, Klaim - Jo=C3=ABl Lamotte <mjkla= im@gmail.com> wrote:
=

On Tue, Jul 8, 2014 at 10:17= PM, J. Daniel Garcia <josedaniel.garcia@uc3m.es> wr= ote:
However, take note that global state is also= accessible from contract checks.

I note that i= t would also prevent types using the pimpl idiom to use contracts checking = on internal data too.

--

---
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-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/gro= up/std-proposals/.

--

---
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>.
--047d7b10cfedea871c04fdbd5581-- .