From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00
	autolearn=unavailable autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!news.eternal-september.org!feeder.eternal-september.org!aioe.org!.POSTED!not-for-mail
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Newsgroups: comp.lang.ada
Subject: Re: Ada 2012 Constraints (WRT an Ada IR)
Date: Wed, 14 Dec 2016 10:00:28 +0100
Organization: Aioe.org NNTP Server
Message-ID: <o2r1nc$18ct$1@gioia.aioe.org>
References: <c06ee4e6-d616-4e01-ba2e-cb111a81f6f6@googlegroups.com>
 <o23a8a$11e9$1@gioia.aioe.org> <o24om5$vfr$1@franka.jacob-sparre.dk>
 <o24phv$1ou6$1@gioia.aioe.org> <o27gpr$o8k$1@franka.jacob-sparre.dk>
 <o28non$1fn8$1@gioia.aioe.org> <o2a2ad$vnp$1@franka.jacob-sparre.dk>
 <o2b79r$1dit$1@gioia.aioe.org> <o2b9rg$ejl$1@dont-email.me>
 <o2bb4o$1jpb$1@gioia.aioe.org> <o2c93i$rpp$2@dont-email.me>
 <o2du2t$1ghu$1@gioia.aioe.org> <o2jcpd$75p$1@dont-email.me>
 <o2jgom$18jg$1@gioia.aioe.org> <o2jkdm$bt$1@dont-email.me>
 <o2js2d$1qh4$1@gioia.aioe.org> <o2ke6d$gcs$1@dont-email.me>
 <o2ln13$et0$1@gioia.aioe.org> <o2mfpc$ttp$1@dont-email.me>
 <o2mncc$gjn$1@gioia.aioe.org>
 <4c9c0d51-13f0-422f-9e72-5c2f9d9ccce4@googlegroups.com>
 <o2n2aj$141c$1@gioia.aioe.org>
 <69cfc162-8188-4e1a-8280-055ee38a8e4f@googlegroups.com>
 <o2obg7$qkk$2@gioia.aioe.org>
 <1e3e1daa-80a5-4199-a043-2994f1097fe5@googlegroups.com>
 <o2po6j$1hnq$2@gioia.aioe.org>
 <059a2ca6-e863-4b48-9b7e-1e492483e436@googlegroups.com>
NNTP-Posting-Host: vZYCW951TbFitc4GdEwQJg.user.gioia.aioe.org
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 7bit
X-Complaints-To: abuse@aioe.org
User-Agent: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:45.0) Gecko/20100101
 Thunderbird/45.5.1
X-Notice: Filtered by postfilter v. 0.8.2
Xref: news.eternal-september.org comp.lang.ada:32809
Date: 2016-12-14T10:00:28+01:00
List-Id: <comp.lang.ada>

On 13/12/2016 23:16, Shark8 wrote:
> On Tuesday, December 13, 2016 at 2:11:50 PM UTC-7, Dmitry A. Kazakov wrote:
>> On 2016-12-13 19:53, Shark8 wrote:
>>> I mean I can pick up the inverter for my laptop read "Input:
>>> 100-240V  1.7A 50-60Hz / Output: 18.5V 3.5A 65W" and tell, right there, what its
>>> promising -- which is what contracts [are supposed to] do, right?
>>
>> Does it inform you or your laptop? That is the difference.
>
> Yes.
> Next question.
>
> (Alright, a bit more serious, the promice is made in conjunction
> with  the laptop -- insofar as the laptop is concerned as long as the 18.5V,
> 3.5A, 65W power comes in it's happy... much like a implementation/body,
> it doesn't care so long as the interface is respected.)

See, it is your concern, not the labtop's one. You are here to enforce 
the contract on both the laptop and the power supply. It is information 
for you and a contract for laptop.

If the laptop used its camera to read power supply's inscription before 
connecting itself to it, then it would be a part of laptop functionality 
and not a contract anymore. There would be some other contract in place 
of course, like that inscription in English and tells truth etc.

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de