comp.lang.ada
 help / color / mirror / Atom feed
* IBM Acquires Rational Ada
@ 2002-12-07  2:47 Richard Riehle
  2002-12-07  8:24 ` achrist
                   ` (2 more replies)
  0 siblings, 3 replies; 198+ messages in thread
From: Richard Riehle @ 2002-12-07  2:47 UTC (permalink / raw)


Just announced today was the 2.1 billion dollar purchase
of Rational by IBM.   One can only wonder what will happen
to the Ada compiler products.   Things will either get better
or they will get worse.   Of  course, I think Norm Cohen still
works for IBM.  Perhaps he can make a difference.

Richard Riehle




^ permalink raw reply	[flat|nested] 198+ messages in thread
* Re: calenday (was Re: IBM Acquires Rational Ada
@ 2002-12-17  5:47 Grein, Christoph
  2002-12-17 14:43 ` Robert A Duff
                   ` (2 more replies)
  0 siblings, 3 replies; 198+ messages in thread
From: Grein, Christoph @ 2002-12-17  5:47 UTC (permalink / raw)


RM 13.4(8) For nonboolean enumeration types, if the coding is not specified for 
the type, then for each value of the type, the internal code shall be equal to 
its position number.

So your proposal is superfluous.

And there is no global agreement whether the week starts with Sunday or Monday. 
Historically, it starts with Sunday, but there are countries where it starts 
with Monday.

> >>> type day_name_type is (mon,tue,wed,thu,fri,sat,sun);
> >>> 
> >>> Add a representation clause to guarantee that the values
> >>> start with sun => 0, mon => 1 etc.  For some code, it is
> >>> much easier to work with the day of the week in the form
> >>> of a number.
> >> 
> >> I'm puzzled by this advice.
> >> 
> >> day_name_type'Pos(mon) .. day_name_type'Pos(sun)
> >> 
> >> is necessarily 0 .. 6, is it not?
> >> 
> > Yes, the _pos_ attribute is defined by the language as you state,
> > but Warren is looking to have the _representation_ specified in
> > the package specification.  This insures that instantiations of
> > Ada.Unchecked_Conversion between day_name_type and
> > integer types produce specified results.
> > 
> 
> Yes, but if what you want is "to work with the day of the week in
> the form of a number", why use Unchecked_Conversion when
> day_name_type'Pos does what you want without further ado?



^ permalink raw reply	[flat|nested] 198+ messages in thread
* Re: calenday (was Re: IBM Acquires Rational Ada
@ 2002-12-17  5:51 Grein, Christoph
  2002-12-17 14:50 ` Robert A Duff
  0 siblings, 1 reply; 198+ messages in thread
From: Grein, Christoph @ 2002-12-17  5:51 UTC (permalink / raw)


> > Yes, but if what you want is "to work with the day of the week in
> > the form of a number", why use Unchecked_Conversion when
> > day_name_type'Pos does what you want without further ado?
> Suppose you have an array of day_name_type that you want to
> convert to an array of numbers.  It's much cheaper to use
> Unchecked_Conversion than it is to loop through the array and
> call the 'Pos function or the 'Val function on each element of
> the array.

This seems unbelievable with RM 13.4(8) in mind.



^ permalink raw reply	[flat|nested] 198+ messages in thread
* Re: calenday (was Re: IBM Acquires Rational Ada
@ 2002-12-18  5:58 Grein, Christoph
  2002-12-18 15:06 ` Robert A Duff
  0 siblings, 1 reply; 198+ messages in thread
From: Grein, Christoph @ 2002-12-18  5:58 UTC (permalink / raw)


> Was there a reason that Monday was chosen as the first in
> this series?

The bible has Sabbath as the last day of the week, so Sunday is the first 
historically.

But we call Saturday/Sunday the week-end :-)

There is an ISO standard saying Monday is the first day of the week (as Robert A 
Duff pointed out).



^ permalink raw reply	[flat|nested] 198+ messages in thread
* Re: calenday (was Re: IBM Acquires Rational Ada
@ 2002-12-18  6:05 Grein, Christoph
  0 siblings, 0 replies; 198+ messages in thread
From: Grein, Christoph @ 2002-12-18  6:05 UTC (permalink / raw)


>   "And on the seventh day He rested" suggests Sunday should be last and

No, JHVH rested on Sabbath...



^ permalink raw reply	[flat|nested] 198+ messages in thread
* Re: calenday (was Re: IBM Acquires Rational Ada
@ 2002-12-18  7:39 Grein, Christoph
  0 siblings, 0 replies; 198+ messages in thread
From: Grein, Christoph @ 2002-12-18  7:39 UTC (permalink / raw)



> > Monday first.  OTOH, both moon and sun are mere astronomical objects,
> > whereas Thor was a god, so clearly Thursday should be first. ;)
> 
>         Ah, but Freya was a goddess, so by all rights Friday should be 
> first... Of course, Odin (Woden) was putative chief god, and likely 
> would insist that his day (Wednesday) be first.

Sonntag Montag Dienstag Mittwoch Donnerstag Freitag Samstag
                        ~~~~~~~~
                        This is only in the middle of the week if we 
start with Sunday :-)



^ permalink raw reply	[flat|nested] 198+ messages in thread
* Re: calenday (was Re: IBM Acquires Rational Ada
@ 2002-12-18  7:52 Grein, Christoph
  0 siblings, 0 replies; 198+ messages in thread
From: Grein, Christoph @ 2002-12-18  7:52 UTC (permalink / raw)


> ISO 8601 defines the first day of the week to be Monday, and this 
practice
> is also quite widespread (it is the convention in the UK and much of 
Europe)
> 
> Also ISO 8601 defines Monday to be day 1 and Sunday to be day 7 so I 
would
> suggest forcing the representation to be 1..7, if this is not what
> the languge defaults to. This also makes many of the date processing
> functions slightly easier to understand.
> 
> See:
> http://www.cl.cam.ac.uk/~mgk25/iso-time.html
> for more information.
> 
> Steven Murdoch.

But still 'Pos (Monday) will return 0. Rep Specs don't affect the 'Pos 
and 'Val attributes.



^ permalink raw reply	[flat|nested] 198+ messages in thread

end of thread, other threads:[~2003-01-06 22:24 UTC | newest]

Thread overview: 198+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2002-12-07  2:47 IBM Acquires Rational Ada Richard Riehle
2002-12-07  8:24 ` achrist
2002-12-08  1:46   ` Richard Riehle
2002-12-08 14:45     ` Steven Deller
2002-12-08 20:20       ` Richard Riehle
2002-12-09 14:26       ` Wes Groleau
2002-12-11 18:25       ` achrist
2002-12-11 19:29         ` Martin Dowie
2002-12-22  2:07           ` faust
2002-12-21 18:08       ` faust
2002-12-08 17:18     ` steve_H
2002-12-08 20:11       ` Steven Deller
2002-12-09 14:24         ` Wes Groleau
2002-12-09 15:23           ` John McCabe
2002-12-09 16:55             ` Wes Groleau
2002-12-08 23:31       ` Christopher Browne
2002-12-09 10:30       ` John McCabe
2002-12-09 14:11         ` Georg Bauhaus
2002-12-09 14:32           ` Pat Rogers
2002-12-09 15:42         ` Simon Wright
2002-12-12 14:41           ` Alvery Grazebrook
2002-12-12 21:13             ` Martin Dowie
2002-12-16 13:24               ` UML to Ada Mapping Alvery Grazebrook
2002-12-17  8:27             ` IBM Acquires Rational Ada Simon Wright
2002-12-10 22:43       ` Andreas Almroth
2002-12-09 13:09     ` Marin David Condic
2002-12-09 22:45       ` steve_H
2002-12-10 13:50         ` Marin David Condic
2002-12-10 17:47           ` Warren W. Gay VE3WWG
2002-12-10 20:21             ` Wes Groleau
2002-12-10 22:05               ` Warren W. Gay VE3WWG
2002-12-11  2:50                 ` steve_H
2002-12-11  8:51                   ` OT: Word processing (was: Re: IBM Acquires Rational Ada) Anders Wirzenius
2002-12-11 13:45                   ` IBM Acquires Rational Ada Marin David Condic
2002-12-11 14:46                     ` Wes Groleau
2002-12-12 13:07                       ` Marin David Condic
2002-12-12 18:19                         ` Warren W. Gay VE3WWG
2002-12-12 19:12                           ` Wes Groleau
2002-12-13 12:25                           ` Marin David Condic
2002-12-13 17:41                             ` Warren W. Gay VE3WWG
2002-12-13 18:20                               ` Wes Groleau
2002-12-13 21:49                                 ` Warren W. Gay VE3WWG
     [not found]                                   ` <KIkL9.2260$c6.2599@bos-service2.ext.raytheon.com>
2002-12-16 18:12                                     ` Warren W. Gay VE3WWG
2002-12-17 21:25                                       ` Wes Groleau
2002-12-16 18:54                                     ` John R. Strohm
2002-12-16 22:23                             ` Randy Brukardt
2002-12-17 14:47                               ` Marin David Condic
2002-12-17 20:17                                 ` Randy Brukardt
2002-12-16 10:11                           ` calenday (was " Peter Hermann
2002-12-16 18:38                             ` Warren W. Gay VE3WWG
2002-12-16 19:04                               ` Bill Findlay
2002-12-16 20:25                                 ` David C. Hoos
2002-12-16 20:37                                   ` Bill Findlay
2002-12-16 21:41                                     ` David C. Hoos
2002-12-16 22:11                                       ` Bill Findlay
2002-12-17 15:47                                         ` Warren W. Gay VE3WWG
2002-12-17 16:26                                           ` Peter Hermann
2002-12-17 16:37                                             ` Bill Findlay
2002-12-16 22:32                                   ` tmoran
2002-12-16 22:21                               ` Hyman Rosen
2002-12-17  8:07                               ` Simon Wright
2002-12-19 12:23                             ` Frank Piron
2002-12-19 12:33                               ` Karel Miklav
2002-12-19 13:24                               ` Marin David Condic
2002-12-17 14:46                           ` Robert A Duff
2002-12-17 19:08                             ` tmoran
2002-12-17 19:15                               ` Bill Findlay
2002-12-17 20:00                               ` Hyman Rosen
2002-12-17 19:48                                 ` Larry Kilgallen
2002-12-17 20:08                               ` David C. Hoos
2002-12-17 20:52                               ` Dennis Lee Bieber
2002-12-17 21:43                               ` Steven Murdoch
2002-12-17 16:39                           ` Robert A Duff
     [not found]                           ` <atk8s0$7dm$1@news.uni <wccn0n4oazy.fsf@shell01.TheWorld.com>
2002-12-18 13:20                             ` Marin David Condic
2002-12-18 15:17                               ` Robert A Duff
2002-12-18 17:58                                 ` Marin David Condic
2002-12-19  8:48                                   ` tmoran
2002-12-19 13:18                                     ` Marin David Condic
2002-12-19 20:46                                       ` Randy Brukardt
2002-12-20 12:23                                         ` Larry Kilgallen
2002-12-20 21:35                                           ` Randy Brukardt
2002-12-20 13:15                                         ` Marin David Condic
2002-12-20 12:19                                           ` Larry Kilgallen
2002-12-21 15:48                                             ` Marin David Condic
2002-12-21 14:54                                               ` Larry Kilgallen
2002-12-20 18:49                                           ` Hyman Rosen
2002-12-20 19:48                                             ` Frank J. Lhota
2002-12-20 21:29                                               ` Randy Brukardt
2002-12-23  2:05                                                 ` AG
2002-12-27 20:43                                                   ` Randy Brukardt
2002-12-21 15:59                                               ` Marin David Condic
2002-12-20 21:49                                           ` Randy Brukardt
2002-12-18 18:57                           ` Robert A Duff
     [not found]                           ` <atk8s0$7dm$1@news.uni <wcc4r9b40ka.fsf@shell01.TheWorld.com>
2002-12-18 19:16                             ` Warren W. Gay VE3WWG
2002-12-18 22:03                               ` Randy Brukardt
2002-12-18 22:00                             ` Randy Brukardt
2002-12-18 22:39                               ` Robert A Duff
2002-12-19  2:41                             ` Marin David Condic
2002-12-19 11:47                           ` Larry Kilgallen
2002-12-13 14:18                       ` Larry Kilgallen
2002-12-13 17:07                       ` Larry Kilgallen
     [not found]                       ` <ata1n7$g5g$1@slb4.atlOrganization: LJK Software <uaDr7xp1zlGD@eisner.encompasserve.org>
2002-12-13 21:52                         ` Warren W. Gay VE3WWG
2002-12-14 14:01                         ` Marin David Condic
2002-12-14 20:01                           ` tmoran
2002-12-16 18:48                           ` Warren W. Gay VE3WWG
2002-12-16 23:01                             ` Ed Cogburn
2002-12-11 14:59                     ` Hyman Rosen
2002-12-11 18:33                       ` Wes Groleau
2002-12-11 20:51                       ` steve_H
2002-12-11 21:40                         ` Hyman Rosen
2002-12-12 18:24                         ` Warren W. Gay VE3WWG
2002-12-24  4:16                           ` David Thompson
2002-12-11 21:54                       ` Larry Kilgallen
2002-12-11 23:22                       ` Robert A Duff
2002-12-12 16:44                         ` Hyman Rosen
2002-12-12 17:14                           ` Fraser Wilson
2002-12-12 18:33                             ` Hyman Rosen
2002-12-12 19:16                               ` Wes Groleau
2002-12-13 21:26                                 ` Programmer Dude
2002-12-16 19:27                               ` John R. Strohm
2002-12-16 20:08                                 ` Hyman Rosen
     [not found]                       ` <8db3d6c8.0212111251.1ecca62e@po <wccel8of8dv.fsf@shell01.TheWorld.com>
2002-12-12 10:07                         ` John English
2002-12-13  0:53                           ` Zaphod
2002-12-12 13:20                       ` Marin David Condic
2002-12-11 19:04                     ` tmoran
2002-12-11 19:20                     ` Jeffrey Carter
2002-12-12 13:34                       ` Marin David Condic
2002-12-12 17:04                         ` Hyman Rosen
2002-12-12 18:17                           ` Marin David Condic
2002-12-13  9:17                             ` Peter Amey
2002-12-13 12:43                               ` Marin David Condic
2002-12-13 15:46                                 ` Robert Spooner
2002-12-14 14:15                                   ` Marin David Condic
2002-12-15 10:30                                     ` Ingo Marks
2002-12-15 13:54                                       ` Marin David Condic
2002-12-15 19:20                                         ` tmoran
2002-12-16 13:20                                           ` Marin David Condic
2002-12-17 15:41                                             ` steve_H
2002-12-18 13:11                                               ` Marin David Condic
2002-12-16 13:43                                           ` Wes Groleau
2002-12-11 13:33             ` Marin David Condic
2002-12-12 18:43               ` Warren W. Gay VE3WWG
2002-12-12 19:53                 ` tmoran
2002-12-13  6:06                 ` Richard Riehle
2002-12-13 10:22                   ` Ed Cogburn
2002-12-13 13:07                   ` Marin David Condic
2002-12-13 14:16                     ` Wes Groleau
2002-12-13 21:27                       ` Jeffrey Carter
2002-12-13 21:27                       ` Jeffrey Carter
2002-12-14 14:25                       ` Marin David Condic
2002-12-16 13:56                         ` Wes Groleau
2002-12-17 15:04                           ` Marin David Condic
2002-12-17 21:29                             ` Wes Groleau
2002-12-18 13:31                               ` Marin David Condic
2002-12-22  2:41                       ` faust
2002-12-13 14:13                   ` Wes Groleau
2002-12-22  2:47                     ` faust
2002-12-13 17:55                   ` Warren W. Gay VE3WWG
2002-12-13 21:55                     ` Dennis Lee Bieber
2002-12-16 13:58                       ` Wes Groleau
2002-12-14  0:14                     ` steve_H
2002-12-16 19:00                       ` Warren W. Gay VE3WWG
2002-12-14 12:58                     ` Tarjei T. Jensen
2002-12-19  9:53                     ` Ole-Hjalmar Kristensen
2002-12-19 16:17                       ` Tarjei T. Jensen
2002-12-19 17:27                         ` Warren W. Gay VE3WWG
2002-12-19 22:51                       ` Michael Bode
2002-12-13 12:51                 ` Marin David Condic
2002-12-14 19:51               ` GianLuigi Piacentini
2002-12-14 20:35                 ` Dennis Lee Bieber
2002-12-21 17:41     ` faust
2002-12-21 17:40 ` IBM , the kiss of death ( Re: IBM Acquires Rational Ada) faust
2003-01-06 22:24 ` IBM Acquires Rational Ada Don Westermeyer
  -- strict thread matches above, loose matches on Subject: below --
2002-12-17  5:47 calenday (was " Grein, Christoph
2002-12-17 14:43 ` Robert A Duff
2002-12-17 21:35   ` Wes Groleau
2002-12-18  2:09     ` Robert A Duff
2002-12-18  6:32       ` Dennis Lee Bieber
2002-12-18 18:33       ` Wes Groleau
2002-12-18 21:04         ` Larry Kilgallen
2002-12-18  9:10   ` Anders Wirzenius
2002-12-17 20:48 ` Dennis Lee Bieber
2002-12-18 14:52   ` Ted Dennison
2002-12-18 20:19     ` Dennis Lee Bieber
2002-12-18 14:23 ` Karel Miklav
2002-12-17  5:51 Grein, Christoph
2002-12-17 14:50 ` Robert A Duff
2002-12-18  5:58 Grein, Christoph
2002-12-18 15:06 ` Robert A Duff
2002-12-18 20:09   ` Dennis Lee Bieber
2002-12-18 23:57     ` Torsten Poulin
2002-12-19  9:20       ` Anders Wirzenius
2002-12-19 15:33         ` Juanma Barranquero
2002-12-23  2:12         ` AG
2002-12-18 20:57   ` Dale Stanbrough
2002-12-18  6:05 Grein, Christoph
2002-12-18  7:39 Grein, Christoph
2002-12-18  7:52 Grein, Christoph

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox