[Soot-list] type qualifiers?

[Will Benton]

I'm interested in using Soot to analyze and generate extension to  
Java that uses type qualifiers.  Therefore, I'd like a way for my  
analyses to be able to see, for example, that the type of a variable  
is "String {s,t}" (where {s,t} is a set of qualifiers).  For the  
particular problem I'm working on, a variable of type T can receive a  
value of type T' iff the qualifier set for T' is a subset of the  
qualifier set for T.

I'm not currently concerned with preserving qualifier annotations in  
the class file, but that seems like an orthogonal problem.

What would be the least painful way to do this?  Should I extend  
RefType to include information about qualifier sets, override the  
equals() method, etc., or is there some kind of "hook" into Soot's  
typechecker that I could exploit?

Thanks for your time.



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/20060209/c2e11c19/smime.bin