[Soot-list] Is that possible to use Object representative (instance keys) without "-w"

[Zell]

Hello,

Could you tell me whether it is possible to use the instanceKey facilities
from the classes

 soot.jimple.toolkits.pointer.InstanceKey;
 soot.jimple.toolkits.pointer.LocalMustAliasAnalysis;
 soot.jimple.toolkits.pointer.LocalMustNotAliasAnalysis;

without enabling  "-w" mode? I tried to use the instancekey without "-w".
The compiler gives me this exception:

Exception in thread "main" java.lang.ClassCastException:
soot.jimple.toolkits.pointer.FullObjectSet cannot be cast to
soot.jimple.spark.sets.EqualsSupportingPointsToSet

Apparently, the constructor of instancekeys uses spark by default, which
implies that " -w" mode is needed. Can I disable the using of spark when
constructing instancekeys?

Thanks.

Zell.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.cs.mcgill.ca/pipermail/soot-list/attachments/20120812/03e6e2c2/attachment.html