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.3 required=5.0 tests=BAYES_00,INVALID_MSGID
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,751584f55705ddb7
X-Google-Attributes: gid103376,public
From: jmartin@cs.ucla.edu (Jay Martin)
Subject: Re: Side-effect arithmetic again [was: Ada ... in embedded systems]
Date: 1996/03/19
Message-ID: <4il3ce$fqa@saba.info.ucla.edu>#1/1
X-Deja-AN: 143112614
references: <RALW.96Mar8113005@vulcan.gecm.com>
 <314B33CE.64EE@escmail.orl.mmc.com> <4i6efq$dd9@dfw.dfw.net>
 <4iif6g$o5o@fred.netinfo.com.au> <4ik5bm$ogg@dayuc.dayton.saic.com>
 <dewar.827181191@schonberg>
organization: University of California, Los Angeles
newsgroups: comp.lang.ada
Date: 1996-03-19T00:00:00+00:00
List-Id: <comp.lang.ada>

dewar@cs.nyu.edu (Robert Dewar) writes:

>Direction_Type'Increment (Direction);

>does not seem very inspiring

>Direction := Direction + 1;

>seems OK. Yes, I know yu can find complex cases, but in well written
>code, complex stuff is minimized anyway, and for example nearly all
>incmrenets in the GNAT source are of simple variables.
>


Heh, for the editor confused type the following:

<Start Mark> Expression <Copy Marked> := <Paste> + 1; <Return>

For modification, a similar procedure is used, but you get the idea.

In a few years my 1000 page PHD thesis explaining the complete theory
of this method will be available via FTP.

Jay