search

codespecs / daikon-dot-net-front-end

Celeriac .NET Front-End for Daikon
Other
9 stars 1 forks source link

Support pure static methods declared in type other than parameter type #80

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago 
For a given type, the user should be able to specify methods to call including 
unary static methods declared in other types. 

Will either have to:
* separate the list of pure methods from the list of methods to call
* change the format of the purity file to allow the assembly qualified type of 
the declaring method

Original issue reported on code.google.com by Todd.Sch...@gmail.com on 16 Mar 2013 at 11:55

GoogleCodeExporter commented 9 years ago 

Other types being those in the same hierarchy or elsewhere?

Original comment by melonhea...@gmail.com on 17 Mar 2013 at 8:12

GoogleCodeExporter commented 9 years ago 
We're not going to try to implement this for the paper.

Original comment by Todd.Sch...@gmail.com on 17 Mar 2013 at 8:16

GoogleCodeExporter commented 9 years ago

Original comment by melonhea...@gmail.com on 17 Mar 2013 at 8:20

GoogleCodeExporter commented 9 years ago

Original comment by Todd.Sch...@gmail.com on 17 Mar 2013 at 8:32

GoogleCodeExporter commented 9 years ago

Original comment by Todd.Sch...@gmail.com on 30 May 2013 at 12:19

GoogleCodeExporter commented 9 years ago 
Doing this will require:

1) Making a change in the purity file format as described above.
2) Update the parsing of the purity file, in TypeManager.
3) Update the GetPureMethodsForType() logic, which is also in TypeManager.

Original comment by melonhea...@gmail.com on 14 Jun 2013 at 11:59