[m-rev.] for review: inter-module analysis framework

[Fergus Henderson]

On 09-Aug-2002, Simon Taylor <stayl at cs.mu.OZ.AU> wrote:
> On 09-Aug-2002, Nancy Mazur <Nancy.Mazur at cs.kuleuven.ac.be> wrote:
> > > Index: analysis/analysis.file.m
> > > ===================================================================
> > > +% The format of an analysis file is:
> > > +%
> > > +% version_number.
> > > +% analysis_name(func_id, call_pattern, answer_pattern).
> > > +%-----------------------------------------------------------------------------%
> > 
> > I don't understand how this format works. 
> > 
> > - What do you mean by version_number? Could it be possible to give an
> > example of such a file for a particular analysis? for example by
> > giving the analysis-file of your test-case for unused_args_analusis...
> 
> The version number is needed so that when the format of the file
> changes the library can recognise and recreate files created by
> old versions of the library.
> 
> The analysis file for unused_args_analysis2.m in the test case is:
> 	1.
> 	unused_args("predicate `p2/2\'-0", "", "1").

You have one version number for the file format.
But don't you also need version numbers for the individual analyses?
For example, suppose that a later version of the Mercury compiler changes
the way the unused_args analysis works so that it numbers the arguments
from zero rather than one.

Or would that be handled by including the version number
in the analysis name, i.e.

 	unused_args_v2("predicate `p2/2\'-0", "", "0").

?

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
The University of Melbourne         |  of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------