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.1 required=5.0 tests=BAYES_20,INVALID_DATE,
	MSGID_SHORT autolearn=no autolearn_force=no version=3.4.4
Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10.2 9/5/84; site sjuvax.UUCP
Path: utzoo!watmath!clyde!burl!ulysses!allegra!sjuvax!armstron
From: armstron@sjuvax.UUCP (L. Armstrong)
Newsgroups: net.lang.ada
Subject: Ada expression resolvers
Message-ID: <1161@sjuvax.UUCP>
Date: Thu, 23-May-85 12:15:08 EDT
Article-I.D.: sjuvax.1161
Posted: Thu May 23 12:15:08 1985
Date-Received: Sat, 25-May-85 09:23:56 EDT
Distribution: net
Organization: St. Joseph's University, Phila. PA.
List-Id: <comp.lang.ada>

*** REPLACE THIS LINE WITH YOUR MESSAGE ***

Does anyone have any information on strategies that might be used to 
resolve an assignment statement in Ada?

I'm not sure if the term "resolve" is universally used, so let me explain
just what I mean.  If we had the following code :

	procedure P is
	    x : int;
	    y : int;
	    x : float;
	begin
	    x := y;
	end P;

Then the resolver would determine that we wish to use the integer x, and not t
the float x.  However in the program :

	procedure P is
	    procedure Q;
	    x : <type 1>
	    y : <type 2>
	    z : <type 1>
	    procedure Q is
		x : <type 1>
		y : <type 1>
		z : <type 3>
	    begin
		x := y + z;
	    end Q;
	begin
	    <statements in P>
	end P;

You can see, our problem is expanded, and the resolver would have to 
determine that we want to use the x and y of type 1 from Q, and the 
z of type 1 from P.

And the problems can go on and on.  Also, there may be cases which 
simply cannot be resolved, as in the case of :

	procedure P is
	    x, y, z : float;
	    x, y, z : integer;
	begin
	    x := y + z;
	end P;

I am currently tring to implement a good method of resolving these
expressions, and if anyone can offer suggestion how such a situation 
might be handled, it would be greatly appreciated.

					Thanx,

						-- Len

P.S. The Ada code may not be syntactically perfect -- sorry if it's not.

-- 

					Len Armstrong
					St. Joseph's University
	             {astrovax | bpa | burdvax | allegra }!sjuvax!armstron