[Soot-list] type qualifiers?

[Will Benton]

On Feb 9, 2006, at 2:54 PM, Patrick LAM wrote:

> I'm assuming that you're going to infer the type qualifiers through  
> some
> analysis, and that for now you don't want to read them from the  
> source or
> from the class files.

Yes, that's the case.

> You probably don't want to extend RefType; that tends to be a  
> painful way
> of making changes, in that they'll be trampled by new Soot releases.
> Probably you want to have a HashMap that associates particular  
> RefType or
> Local objects with the augumented type and read the information  
> when you
> need it, in your FlowAnalysis classes.  You can also have a  
> typechecking
> FlowAnalysis that checks the validity of your extended types.

Thanks for the advice; that sounds like a pretty straightforward  
solution.




best,
wb
-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 2379 bytes
Desc: not available
Url : http://mailman.CS.McGill.CA/pipermail/soot-list/attachments/20060210/4efdf5c3/smime-0001.bin