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-7-bit
X-Google-Thread: 103376,bc1361a952ec75ca
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2001-07-31 13:36:01 PST
Path: archiver1.google.com!news2.google.com!postnews1.google.com!not-for-mail
From: mancel@techno.sk (Milan Mancel)
Newsgroups: comp.lang.ada
Subject: Re: How to make Ada a dominant language
Date: 31 Jul 2001 13:36:01 -0700
Organization: http://groups.google.com/
Message-ID: <a4c0053f.0107311236.7ffca2c3@posting.google.com>
References: <bebbba07.0107292308.d1192fc@posting.google.com>
 <3B6555ED.9B0B0420@sneakemail.com> <9k3l9r$10i2$1@pa.aaanet.ru>
 <3B656345.64AB603A@sneakemail.com> <9k3oa1$2qg8$1@pa.aaanet.ru>
 <VppeHMXUqTyW@eisner.encompasserve.org> <3B657715.7EC592D9@sneakemail.com>
 <mOJu5jK0E9el@eisner.encompasserve.org> <3B6588FC.6D40C443@sneakemail.com>
 <87snfe9sir.fsf@520075220525-0001.dialin.t-online.de>
 <a4c0053f.0107301326.1815330c@posting.google.com>
 <3B6627F7.8B1CC237@sneakemail.com>
NNTP-Posting-Host: 212.89.225.40
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 8bit
X-Trace: posting.google.com 996611761 28528 127.0.0.1 (31 Jul 2001 20:36:01
 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: 31 Jul 2001 20:36:01 GMT
Xref: archiver1.google.com comp.lang.ada:10893
Date: 2001-07-31T20:36:01+00:00
List-Id: <comp.lang.ada>

Russ Paielli <18k11tm001@sneakemail.com> wrote in message news:<3B6627F7.8B1CC237@sneakemail.com>...

> Milan Mancel wrote:

> 
>     integer: x = 1
> 
> looks like
> 
>     x = 1
> 
> but
> 
>     x: integer := 1;
> 
> does not look like
> 
>     x := 1;


Definitely it is matter of personal taste, some like it some not.
Truth is that sometimes after all day long spent in Java and C++ it is
hard to switch to this style :)

> 
> > I think if someone is not able to grasp this simple thing will not be
> > able understand more important parts of Ada and it is good for him/her
> > not to try further.
> 
> OK, I give up.
> 

I did not meant offense, just wanted to say that there are more
important things to focus on.

> > 
> > If you want indentation part of the language, just use command line
> > switch in gnatmake and incorrect indentation will generate an style
> > error - so you are forced to use the right style.
> 
> I didn't realize that. Why not go a step further and MANDATE the right
> structure? It would be consistent with the general Ada philosophy of
> mandating daily flossing and other good habits.
> 

Well, that is not that bad idea, but I am afraid that it will break
old code.  Maybe to make style checks as default and only for
compatibility with old code use switch
-backwards-compatibility-indentation. And I do not know if other
compilers can check indentation too.

The switch is:

  -gnaty    Enable all style checks
  -gnatyxxx Enable selected style checks xxx = list of parameters:
        1-9  check indentation
        b    check no blanks at end of lines
        c    check comment format
        e    check end labels present
        f    check no form feeds/vertical tabs in source
        h    check no horizontal tabs in source
        i    check if-then layout
        k    check casing rules for keywords, identifiers
        m    check line length <= 79 characters
        Mnnn check line length <= nnn characters
        r    check RM column layout
        s    check separate subprogram specs present
        t    check token separation rules


(I personnaly hate casing rules for identifiers)


   Milan