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-Language: ENGLISH,ASCII X-Google-Thread: 103376,e26ffba340697f29 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2001-06-18 22:40:07 PST Path: archiver1.google.com!newsfeed.google.com!newsfeed.stanford.edu!newsfeeds.belnet.be!news.belnet.be!newsfeed00.sul.t-online.de!t-online.de!news-lei1.dfn.de!news.uni-jena.de!not-for-mail From: Carsten Freining Newsgroups: comp.lang.ada Subject: Re: Type Conversion in an Assignment Statement Date: Tue, 19 Jun 2001 07:41:52 +0200 Organization: Friedrich-Schiller-University Jena, Germany Message-ID: <3B2EE620.6BD7E657@informatik.uni-jena.de> References: <3B2DB8B9.1A26F90F@informatik.uni-jena.de> NNTP-Posting-Host: ipc208.inf.uni-jena.de Mime-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: 8bit X-Trace: fsuj29.rz.uni-jena.de 992929206 24423 141.35.14.247 (19 Jun 2001 05:40:06 GMT) X-Complaints-To: news@rz.uni-jena.de NNTP-Posting-Date: 19 Jun 2001 05:40:06 GMT X-Mailer: Mozilla 4.73 [de] (WinNT; U) X-Accept-Language: de Xref: archiver1.google.com comp.lang.ada:8881 Date: 2001-06-19T05:40:06+00:00 List-Id: Thanks for your Answer. First of all I wouldn't write such a Program in real. This Programmpart was part of an Exercise I had to create for an Ada starter Course. Since the moment I found out it wouldn't raise an esception as I thought I had to proof it with the Ada LRM, since giving out an Exercise where the Compiler might be buggy is dangerous. It would have been a great point for an excersise now, that it has been proofen (with the Chapters I quoted in the first message). I wasn't just sure if this is the proper proof or if I have to look further things up. > I'm too lazy to quote chapter and verse here. If you really want to > understand the RM wording, remember that the name in a type_declaration > is the name of a subtype (the "first subtype"). A type_declaration > also creates a type, but types in Ada do not have names. Integer and > IntegerSubType are both subtypes (of the same underlying type). This > terminology is admittedly a bit confusing, so most people are happy to > say "the type Integer", when strictly speaking they really mean "the > type of subtype Integer". Yes, that is from the Rational, where this has been made clear. It is sometimes a little confusing, but I will have to get used to it. > P.S. You ought to use the generally accepted Ada style, and call it > Integer_Access_Type, rather than IntegerAccessType. That is something, where Professor Winkler has another opinion. Talkng about a Program, the 'Underscore' is a problem. Telling somebody that Integer 'Underscore' Access 'Underscore' Type is more confusing. So he set the rule, that the Names in the program should be without the 'underscore'. It makes the Program a little less readable, but better 'talkable' what is for Exercises or courses a little better to work with. The Style is something intern, there is not the one perfect Style and well we chose the Style without an 'underscore'. I am aware that usually if everybody knows that the Words in an identifier are separated by an 'underscore' you can stil talk about it and the other person will know where the 'underscore' belongs in the identifier, but this is a departement of Programminglanguage and Compiler, so we work with many different languages like Java, Modula3, Pascal, C++, C, Fortran. For the course Programming languages you have to show the differences with as many PS as possible. Thanks again for your answer, it helped to make sure that the found Chapters are the proof of my problem. Carsten Freining. -- ---------------------------------------------------------------------------- Carsten Freining e-Mail: freining@informatik.uni-jena.de Tel. 03641 9 46344 Adresse: Friedrich-Schiller-Universit�t Jena Fakult�t f�r Mathematik & Informatik Institut f�r Informatik Lehrstuhl f�r Programmiersprachen und Compiler D-07740 Jena, Germany ----------------------------------------------------------------------------