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,b59061905e7ece3c
X-Google-Attributes: gid103376,public
From: dewar@merv.cs.nyu.edu (Robert Dewar)
Subject: Re: Program structure-> HTML
Date: 1997/09/06
Message-ID: <dewar.873592696@merv>#1/1
X-Deja-AN: 270372037
References: <01bcb3ba$3e1fed60$914c18cb@HOMER.adl.csc.com.au>
 <5uk27t$sgt$1@client3.news.psi.net>
Organization: New York University
Newsgroups: comp.lang.ada
Date: 1997-09-06T00:00:00+00:00
List-Id: <comp.lang.ada>


Jeff Burns says

<<Yes, GrammaTech Ada-ASSURED has this capability and so will a
language-sensitive toolset we plan to release this fall, Ada-Utilities.
Both are integrated with a web browser and include a scripting language that
provides easy access to the structure of your Ada source code.>>


How can Ada-ASSURED achieve this in the presence of overloaded functions,
how would it know to link a given reference to the right defining
occurrence. I thought Ada-ASSURED did not do full visibility analysis ...

Jeff, can you clarify this, if Ada-ASSURED *can* deal with overloading,
it would be very interesting ...