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=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: 103376,1d295367cf0b8c48
X-Google-Attributes: gid103376,public
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!postnews.google.com!g49g2000cwa.googlegroups.com!not-for-mail
From: "Rod Chapman" <rod.chapman@praxis-his.com>
Newsgroups: comp.lang.ada
Subject: Re: loop variant in SPARK ADA
Date: 20 Sep 2005 10:15:37 -0700
Organization: http://groups.google.com
Message-ID: <1127236537.057857.142300@g49g2000cwa.googlegroups.com>
References: <1127121942.777976.45330@f14g2000cwb.googlegroups.com>
NNTP-Posting-Host: 213.152.53.239
Mime-Version: 1.0
Content-Type: text/plain; charset="iso-8859-1"
X-Trace: posting.google.com 1127236542 32077 127.0.0.1 (20 Sep 2005 17:15:42
 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Tue, 20 Sep 2005 17:15:42 +0000 (UTC)
User-Agent: G2/0.2
X-HTTP-UserAgent: Mozilla/5.0 (Windows; U; Windows NT 5.0; en-GB;
 rv:1.7.8) Gecko/20050511 Firefox/1.0.4,gzip(gfe),gzip(gfe)
Complaints-To: groups-abuse@google.com
Injection-Info: g49g2000cwa.googlegroups.com; posting-host=213.152.53.239;
   posting-account=EhC47gwAAABJYiJ7JUJjwDyYMTWH1OKq
Xref: g2news1.google.com comp.lang.ada:4961
Date: 2005-09-20T10:15:37-07:00
List-Id: <comp.lang.ada>

SPARK doesn't directly support the specificaciton of _variants_
for loops at present.

It's something we've often thought about, but no paying customer
has ever asked us for!  We also find that, in most embedded, critical
systems, the loop structures used are so simple that establishing
their termination is hardly ever a big problem.

- Rod Chapman, SPARK Team, Praxis