Support pure static methods declared in type other than parameter type

[GoogleCodeExporter]

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 [email protected] on 16 Mar 2013 at 11:55

[GoogleCodeExporter]

Other types being those in the same hierarchy or elsewhere?

Original comment by [email protected] on 17 Mar 2013 at 8:12

[GoogleCodeExporter]

We're not going to try to implement this for the paper.

Original comment by [email protected] on 17 Mar 2013 at 8:16

• Added labels: Priority-Low
• Removed labels: Priority-Medium

[GoogleCodeExporter]

Original comment by [email protected] on 17 Mar 2013 at 8:20

• Added labels: Milestone-AfterPaper

[GoogleCodeExporter]

Original comment by [email protected] on 17 Mar 2013 at 8:32

• Removed labels: Milestone-AfterPaper

[GoogleCodeExporter]

Original comment by [email protected] on 30 May 2013 at 12:19

• Added labels: Component-PureMethodValues

[GoogleCodeExporter]

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 [email protected] on 14 Jun 2013 at 11:59